Skip to content

Commit a11abe0

Browse files
Aaron1011Aaron1011
committed
Update test output
1 parent f87177b commit a11abe0

File tree

1 file changed

+45
-57
lines changed

1 file changed

+45
-57
lines changed

‎src/test/ui/impl-trait/where-allowed.stderr‎

Lines changed: 45 additions & 57 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error[E0666]: nested `impl Trait` is not allowed
2-
--> $DIR/where-allowed.rs:51:51
2+
--> $DIR/where-allowed.rs:47:51
33
|
44
LL | fn in_impl_Fn_parameter_in_parameters(_: &impl Fn(impl Debug)) { panic!() }
55
| --------^^^^^^^^^^-
@@ -8,7 +8,7 @@ LL | fn in_impl_Fn_parameter_in_parameters(_: &impl Fn(impl Debug)) { panic!() }
88
| outer `impl Trait`
99

1010
error[E0666]: nested `impl Trait` is not allowed
11-
--> $DIR/where-allowed.rs:60:57
11+
--> $DIR/where-allowed.rs:56:57
1212
|
1313
LL | fn in_impl_Fn_parameter_in_return() -> &'static impl Fn(impl Debug) { panic!() }
1414
| --------^^^^^^^^^^-
@@ -17,7 +17,7 @@ LL | fn in_impl_Fn_parameter_in_return() -> &'static impl Fn(impl Debug) { panic
1717
| outer `impl Trait`
1818

1919
error[E0658]: `impl Trait` in type aliases is unstable
20-
--> $DIR/where-allowed.rs:124:16
20+
--> $DIR/where-allowed.rs:119:16
2121
|
2222
LL | type Out = impl Debug;
2323
| ^^^^^^^^^^
@@ -26,7 +26,7 @@ LL | type Out = impl Debug;
2626
= help: add `#![feature(type_alias_impl_trait)]` to the crate attributes to enable
2727

2828
error[E0658]: `impl Trait` in type aliases is unstable
29-
--> $DIR/where-allowed.rs:160:23
29+
--> $DIR/where-allowed.rs:155:23
3030
|
3131
LL | type InTypeAlias<R> = impl Debug;
3232
| ^^^^^^^^^^
@@ -35,7 +35,7 @@ LL | type InTypeAlias<R> = impl Debug;
3535
= help: add `#![feature(type_alias_impl_trait)]` to the crate attributes to enable
3636

3737
error[E0658]: `impl Trait` in type aliases is unstable
38-
--> $DIR/where-allowed.rs:164:39
38+
--> $DIR/where-allowed.rs:159:39
3939
|
4040
LL | type InReturnInTypeAlias<R> = fn() -> impl Debug;
4141
| ^^^^^^^^^^
@@ -44,242 +44,230 @@ LL | type InReturnInTypeAlias<R> = fn() -> impl Debug;
4444
= help: add `#![feature(type_alias_impl_trait)]` to the crate attributes to enable
4545

4646
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
47-
--> $DIR/where-allowed.rs:19:40
47+
--> $DIR/where-allowed.rs:15:40
4848
|
4949
LL | fn in_fn_parameter_in_parameters(_: fn(impl Debug)) { panic!() }
5050
| ^^^^^^^^^^
5151

5252
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
53-
--> $DIR/where-allowed.rs:23:42
53+
--> $DIR/where-allowed.rs:19:42
5454
|
5555
LL | fn in_fn_return_in_parameters(_: fn() -> impl Debug) { panic!() }
5656
| ^^^^^^^^^^
5757

5858
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
59-
--> $DIR/where-allowed.rs:27:38
59+
--> $DIR/where-allowed.rs:23:38
6060
|
6161
LL | fn in_fn_parameter_in_return() -> fn(impl Debug) { panic!() }
6262
| ^^^^^^^^^^
6363

6464
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
65-
--> $DIR/where-allowed.rs:31:40
65+
--> $DIR/where-allowed.rs:27:40
6666
|
6767
LL | fn in_fn_return_in_return() -> fn() -> impl Debug { panic!() }
6868
| ^^^^^^^^^^
6969

7070
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
71-
--> $DIR/where-allowed.rs:35:49
71+
--> $DIR/where-allowed.rs:31:49
7272
|
7373
LL | fn in_dyn_Fn_parameter_in_parameters(_: &dyn Fn(impl Debug)) { panic!() }
7474
| ^^^^^^^^^^
7575

7676
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
77-
--> $DIR/where-allowed.rs:39:51
77+
--> $DIR/where-allowed.rs:35:51
7878
|
7979
LL | fn in_dyn_Fn_return_in_parameters(_: &dyn Fn() -> impl Debug) { panic!() }
8080
| ^^^^^^^^^^
8181

8282
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
83-
--> $DIR/where-allowed.rs:43:55
83+
--> $DIR/where-allowed.rs:39:55
8484
|
8585
LL | fn in_dyn_Fn_parameter_in_return() -> &'static dyn Fn(impl Debug) { panic!() }
8686
| ^^^^^^^^^^
8787

8888
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
89-
--> $DIR/where-allowed.rs:47:57
89+
--> $DIR/where-allowed.rs:43:57
9090
|
9191
LL | fn in_dyn_Fn_return_in_return() -> &'static dyn Fn() -> impl Debug { panic!() }
9292
| ^^^^^^^^^^
9393

9494
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
95-
--> $DIR/where-allowed.rs:51:51
95+
--> $DIR/where-allowed.rs:47:51
9696
|
9797
LL | fn in_impl_Fn_parameter_in_parameters(_: &impl Fn(impl Debug)) { panic!() }
9898
| ^^^^^^^^^^
9999

100100
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
101-
--> $DIR/where-allowed.rs:56:53
101+
--> $DIR/where-allowed.rs:52:53
102102
|
103103
LL | fn in_impl_Fn_return_in_parameters(_: &impl Fn() -> impl Debug) { panic!() }
104104
| ^^^^^^^^^^
105105

106106
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
107-
--> $DIR/where-allowed.rs:60:57
107+
--> $DIR/where-allowed.rs:56:57
108108
|
109109
LL | fn in_impl_Fn_parameter_in_return() -> &'static impl Fn(impl Debug) { panic!() }
110110
| ^^^^^^^^^^
111111

112112
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
113-
--> $DIR/where-allowed.rs:66:59
113+
--> $DIR/where-allowed.rs:61:59
114114
|
115115
LL | fn in_impl_Fn_return_in_return() -> &'static impl Fn() -> impl Debug { panic!() }
116116
| ^^^^^^^^^^
117117

118118
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
119-
--> $DIR/where-allowed.rs:70:38
119+
--> $DIR/where-allowed.rs:65:38
120120
|
121121
LL | fn in_Fn_parameter_in_generics<F: Fn(impl Debug)> (_: F) { panic!() }
122122
| ^^^^^^^^^^
123123

124124
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
125-
--> $DIR/where-allowed.rs:74:40
125+
--> $DIR/where-allowed.rs:69:40
126126
|
127127
LL | fn in_Fn_return_in_generics<F: Fn() -> impl Debug> (_: F) { panic!() }
128128
| ^^^^^^^^^^
129129

130130
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
131-
--> $DIR/where-allowed.rs:87:32
131+
--> $DIR/where-allowed.rs:82:32
132132
|
133133
LL | struct InBraceStructField { x: impl Debug }
134134
| ^^^^^^^^^^
135135

136136
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
137-
--> $DIR/where-allowed.rs:91:41
137+
--> $DIR/where-allowed.rs:86:41
138138
|
139139
LL | struct InAdtInBraceStructField { x: Vec<impl Debug> }
140140
| ^^^^^^^^^^
141141

142142
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
143-
--> $DIR/where-allowed.rs:95:27
143+
--> $DIR/where-allowed.rs:90:27
144144
|
145145
LL | struct InTupleStructField(impl Debug);
146146
| ^^^^^^^^^^
147147

148148
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
149-
--> $DIR/where-allowed.rs:100:25
149+
--> $DIR/where-allowed.rs:95:25
150150
|
151151
LL | InBraceVariant { x: impl Debug },
152152
| ^^^^^^^^^^
153153

154154
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
155-
--> $DIR/where-allowed.rs:102:20
155+
--> $DIR/where-allowed.rs:97:20
156156
|
157157
LL | InTupleVariant(impl Debug),
158158
| ^^^^^^^^^^
159159

160160
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
161-
--> $DIR/where-allowed.rs:113:23
161+
--> $DIR/where-allowed.rs:108:23
162162
|
163163
LL | fn in_return() -> impl Debug;
164164
| ^^^^^^^^^^
165165

166166
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
167-
--> $DIR/where-allowed.rs:131:34
167+
--> $DIR/where-allowed.rs:126:34
168168
|
169169
LL | fn in_trait_impl_return() -> impl Debug { () }
170170
| ^^^^^^^^^^
171171

172172
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
173-
--> $DIR/where-allowed.rs:144:33
173+
--> $DIR/where-allowed.rs:139:33
174174
|
175175
LL | fn in_foreign_parameters(_: impl Debug);
176176
| ^^^^^^^^^^
177177

178178
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
179-
--> $DIR/where-allowed.rs:147:31
179+
--> $DIR/where-allowed.rs:142:31
180180
|
181181
LL | fn in_foreign_return() -> impl Debug;
182182
| ^^^^^^^^^^
183183

184184
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
185-
--> $DIR/where-allowed.rs:164:39
185+
--> $DIR/where-allowed.rs:159:39
186186
|
187187
LL | type InReturnInTypeAlias<R> = fn() -> impl Debug;
188188
| ^^^^^^^^^^
189189

190190
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
191-
--> $DIR/where-allowed.rs:169:16
191+
--> $DIR/where-allowed.rs:164:16
192192
|
193193
LL | impl PartialEq<impl Debug> for () {
194194
| ^^^^^^^^^^
195195

196196
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
197-
--> $DIR/where-allowed.rs:174:24
197+
--> $DIR/where-allowed.rs:169:24
198198
|
199199
LL | impl PartialEq<()> for impl Debug {
200200
| ^^^^^^^^^^
201201

202202
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
203-
--> $DIR/where-allowed.rs:179:6
203+
--> $DIR/where-allowed.rs:174:6
204204
|
205205
LL | impl impl Debug {
206206
| ^^^^^^^^^^
207207

208208
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
209-
--> $DIR/where-allowed.rs:185:24
209+
--> $DIR/where-allowed.rs:180:24
210210
|
211211
LL | impl InInherentImplAdt<impl Debug> {
212212
| ^^^^^^^^^^
213213

214214
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
215-
--> $DIR/where-allowed.rs:191:11
215+
--> $DIR/where-allowed.rs:186:11
216216
|
217217
LL | where impl Debug: Debug
218218
| ^^^^^^^^^^
219219

220220
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
221-
--> $DIR/where-allowed.rs:198:15
221+
--> $DIR/where-allowed.rs:193:15
222222
|
223223
LL | where Vec<impl Debug>: Debug
224224
| ^^^^^^^^^^
225225

226226
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
227-
--> $DIR/where-allowed.rs:205:24
227+
--> $DIR/where-allowed.rs:200:24
228228
|
229229
LL | where T: PartialEq<impl Debug>
230230
| ^^^^^^^^^^
231231

232232
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
233-
--> $DIR/where-allowed.rs:212:17
233+
--> $DIR/where-allowed.rs:207:17
234234
|
235235
LL | where T: Fn(impl Debug)
236236
| ^^^^^^^^^^
237237

238238
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
239-
--> $DIR/where-allowed.rs:219:22
239+
--> $DIR/where-allowed.rs:214:22
240240
|
241241
LL | where T: Fn() -> impl Debug
242242
| ^^^^^^^^^^
243243

244244
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
245-
--> $DIR/where-allowed.rs:225:29
245+
--> $DIR/where-allowed.rs:220:29
246246
|
247247
LL | let _in_local_variable: impl Fn() = || {};
248248
| ^^^^^^^^^
249249
|
250250
= help: add `#![feature(impl_trait_in_bindings)]` to the crate attributes to enable
251251

252252
error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
253-
--> $DIR/where-allowed.rs:227:46
253+
--> $DIR/where-allowed.rs:222:46
254254
|
255255
LL | let _in_return_in_local_variable = || -> impl Fn() { || {} };
256256
| ^^^^^^^^^
257257

258-
error[E0282]: type annotations needed
259-
--> $DIR/where-allowed.rs:15:30
260-
|
261-
LL | fn in_adt_in_return() -> Vec<impl Debug> { panic!() }
262-
| ^^^^^^^^^^ cannot infer type
263-
264-
error[E0282]: type annotations needed
265-
--> $DIR/where-allowed.rs:60:49
266-
|
267-
LL | fn in_impl_Fn_parameter_in_return() -> &'static impl Fn(impl Debug) { panic!() }
268-
| ^^^^^^^^^^^^^^^^^^^ cannot infer type
269-
270258
error: could not find defining uses
271-
--> $DIR/where-allowed.rs:160:1
259+
--> $DIR/where-allowed.rs:155:1
272260
|
273261
LL | type InTypeAlias<R> = impl Debug;
274262
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
275263

276264
error: could not find defining uses
277-
--> $DIR/where-allowed.rs:124:5
265+
--> $DIR/where-allowed.rs:119:5
278266
|
279267
LL | type Out = impl Debug;
280268
| ^^^^^^^^^^^^^^^^^^^^^^
281269

282-
error: aborting due to 44 previous errors
270+
error: aborting due to 42 previous errors
283271

284-
Some errors have detailed explanations: E0282, E0562, E0658, E0666.
285-
For more information about an error, try `rustc --explain E0282`.
272+
Some errors have detailed explanations: E0562, E0658, E0666.
273+
For more information about an error, try `rustc --explain E0562`.

0 commit comments

Comments
 (0)