]> git.lizzy.rs Git - rust.git/blob - tests/ui/traits/suggest-fully-qualified-path-without-adjustment.stderr
Rollup merge of #106835 - compiler-errors:new-solver-gat-rebase-oops, r=lcnr
[rust.git] / tests / ui / traits / suggest-fully-qualified-path-without-adjustment.stderr
1 error[E0282]: type annotations needed
2   --> $DIR/suggest-fully-qualified-path-without-adjustment.rs:45:15
3    |
4 LL |     ref_thing.method();
5    |               ^^^^^^
6    |
7 help: try using a fully qualified path to specify the expected types
8    |
9 LL |     <Thing as Method<T>>::method(ref_thing);
10    |     +++++++++++++++++++++++++++++         ~
11
12 error[E0283]: type annotations needed
13   --> $DIR/suggest-fully-qualified-path-without-adjustment.rs:45:15
14    |
15 LL |     ref_thing.method();
16    |               ^^^^^^
17    |
18 note: multiple `impl`s satisfying `Thing: Method<_>` found
19   --> $DIR/suggest-fully-qualified-path-without-adjustment.rs:10:1
20    |
21 LL | impl Method<i32> for Thing {
22    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
23 ...
24 LL | impl Method<u32> for Thing {
25    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
26 help: try using a fully qualified path to specify the expected types
27    |
28 LL |     <Thing as Method<T>>::method(ref_thing);
29    |     +++++++++++++++++++++++++++++         ~
30
31 error[E0283]: type annotations needed
32   --> $DIR/suggest-fully-qualified-path-without-adjustment.rs:48:15
33    |
34 LL |     ref_thing.by_self();
35    |               ^^^^^^^
36    |
37 note: multiple `impl`s satisfying `&Thing: MethodRef<_>` found
38   --> $DIR/suggest-fully-qualified-path-without-adjustment.rs:23:1
39    |
40 LL | impl MethodRef<i32> for &Thing {
41    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
42 ...
43 LL | impl MethodRef<u32> for &Thing {
44    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
45 help: try using a fully qualified path to specify the expected types
46    |
47 LL |     <&Thing as MethodRef<T>>::by_self(ref_thing);
48    |     ++++++++++++++++++++++++++++++++++         ~
49
50 error[E0283]: type annotations needed
51   --> $DIR/suggest-fully-qualified-path-without-adjustment.rs:51:15
52    |
53 LL |     mut_thing.method();
54    |               ^^^^^^
55    |
56 note: multiple `impl`s satisfying `Thing: Method<_>` found
57   --> $DIR/suggest-fully-qualified-path-without-adjustment.rs:10:1
58    |
59 LL | impl Method<i32> for Thing {
60    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
61 ...
62 LL | impl Method<u32> for Thing {
63    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
64 help: try using a fully qualified path to specify the expected types
65    |
66 LL |     <Thing as Method<T>>::method(mut_thing);
67    |     +++++++++++++++++++++++++++++         ~
68
69 error[E0283]: type annotations needed
70   --> $DIR/suggest-fully-qualified-path-without-adjustment.rs:52:15
71    |
72 LL |     mut_thing.mut_method();
73    |               ^^^^^^^^^^
74    |
75 note: multiple `impl`s satisfying `Thing: Method<_>` found
76   --> $DIR/suggest-fully-qualified-path-without-adjustment.rs:10:1
77    |
78 LL | impl Method<i32> for Thing {
79    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
80 ...
81 LL | impl Method<u32> for Thing {
82    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
83 help: try using a fully qualified path to specify the expected types
84    |
85 LL |     <Thing as Method<T>>::mut_method(mut_thing);
86    |     +++++++++++++++++++++++++++++++++         ~
87
88 error[E0283]: type annotations needed
89   --> $DIR/suggest-fully-qualified-path-without-adjustment.rs:53:15
90    |
91 LL |     mut_thing.by_self();
92    |               ^^^^^^^
93    |
94 note: multiple `impl`s satisfying `&Thing: MethodRef<_>` found
95   --> $DIR/suggest-fully-qualified-path-without-adjustment.rs:23:1
96    |
97 LL | impl MethodRef<i32> for &Thing {
98    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
99 ...
100 LL | impl MethodRef<u32> for &Thing {
101    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
102 help: try using a fully qualified path to specify the expected types
103    |
104 LL |     <&Thing as MethodRef<T>>::by_self(mut_thing);
105    |     ++++++++++++++++++++++++++++++++++         ~
106
107 error[E0283]: type annotations needed
108   --> $DIR/suggest-fully-qualified-path-without-adjustment.rs:56:14
109    |
110 LL |     deref_to.method();
111    |              ^^^^^^
112    |
113 note: multiple `impl`s satisfying `Thing: Method<_>` found
114   --> $DIR/suggest-fully-qualified-path-without-adjustment.rs:10:1
115    |
116 LL | impl Method<i32> for Thing {
117    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
118 ...
119 LL | impl Method<u32> for Thing {
120    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
121 help: try using a fully qualified path to specify the expected types
122    |
123 LL |     <Thing as Method<T>>::method(deref_to);
124    |     +++++++++++++++++++++++++++++        ~
125
126 error[E0283]: type annotations needed
127   --> $DIR/suggest-fully-qualified-path-without-adjustment.rs:57:14
128    |
129 LL |     deref_to.mut_method();
130    |              ^^^^^^^^^^
131    |
132 note: multiple `impl`s satisfying `Thing: Method<_>` found
133   --> $DIR/suggest-fully-qualified-path-without-adjustment.rs:10:1
134    |
135 LL | impl Method<i32> for Thing {
136    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
137 ...
138 LL | impl Method<u32> for Thing {
139    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
140 help: try using a fully qualified path to specify the expected types
141    |
142 LL |     <Thing as Method<T>>::mut_method(deref_to);
143    |     +++++++++++++++++++++++++++++++++        ~
144
145 error[E0283]: type annotations needed
146   --> $DIR/suggest-fully-qualified-path-without-adjustment.rs:58:14
147    |
148 LL |     deref_to.by_self();
149    |              ^^^^^^^
150    |
151 note: multiple `impl`s satisfying `&Thing: MethodRef<_>` found
152   --> $DIR/suggest-fully-qualified-path-without-adjustment.rs:23:1
153    |
154 LL | impl MethodRef<i32> for &Thing {
155    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
156 ...
157 LL | impl MethodRef<u32> for &Thing {
158    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
159 help: try using a fully qualified path to specify the expected types
160    |
161 LL |     <&Thing as MethodRef<T>>::by_self(deref_to);
162    |     ++++++++++++++++++++++++++++++++++        ~
163
164 error[E0283]: type annotations needed
165   --> $DIR/suggest-fully-qualified-path-without-adjustment.rs:61:20
166    |
167 LL |     deref_deref_to.method();
168    |                    ^^^^^^
169    |
170 note: multiple `impl`s satisfying `Thing: Method<_>` found
171   --> $DIR/suggest-fully-qualified-path-without-adjustment.rs:10:1
172    |
173 LL | impl Method<i32> for Thing {
174    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
175 ...
176 LL | impl Method<u32> for Thing {
177    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
178 help: try using a fully qualified path to specify the expected types
179    |
180 LL |     <Thing as Method<T>>::method(deref_deref_to);
181    |     +++++++++++++++++++++++++++++              ~
182
183 error[E0283]: type annotations needed
184   --> $DIR/suggest-fully-qualified-path-without-adjustment.rs:62:20
185    |
186 LL |     deref_deref_to.mut_method();
187    |                    ^^^^^^^^^^
188    |
189 note: multiple `impl`s satisfying `Thing: Method<_>` found
190   --> $DIR/suggest-fully-qualified-path-without-adjustment.rs:10:1
191    |
192 LL | impl Method<i32> for Thing {
193    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
194 ...
195 LL | impl Method<u32> for Thing {
196    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
197 help: try using a fully qualified path to specify the expected types
198    |
199 LL |     <Thing as Method<T>>::mut_method(deref_deref_to);
200    |     +++++++++++++++++++++++++++++++++              ~
201
202 error[E0283]: type annotations needed
203   --> $DIR/suggest-fully-qualified-path-without-adjustment.rs:63:20
204    |
205 LL |     deref_deref_to.by_self();
206    |                    ^^^^^^^
207    |
208 note: multiple `impl`s satisfying `&Thing: MethodRef<_>` found
209   --> $DIR/suggest-fully-qualified-path-without-adjustment.rs:23:1
210    |
211 LL | impl MethodRef<i32> for &Thing {
212    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
213 ...
214 LL | impl MethodRef<u32> for &Thing {
215    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
216 help: try using a fully qualified path to specify the expected types
217    |
218 LL |     <&Thing as MethodRef<T>>::by_self(deref_deref_to);
219    |     ++++++++++++++++++++++++++++++++++              ~
220
221 error: aborting due to 12 previous errors
222
223 Some errors have detailed explanations: E0282, E0283.
224 For more information about an error, try `rustc --explain E0282`.