@@ -19,62 +19,8 @@ const REVISION: &str = "86d69c705a552236a622eee3fdea94bf13c5f102";
19
19
20
20
#[ rustfmt:: skip]
21
21
static EXCLUDE_FILES : & [ & str ] = & [
22
- // TODO
23
- "compiler/rustc_trait_selection/src/error_reporting/infer/need_type_info.rs" ,
24
- "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/async_trait_bound.rs" ,
25
- "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/bare_dyn_types_with_paren_as_generic_args.rs" ,
26
- "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/closure_range_method_call.rs" ,
27
- "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/const_param_default_path.rs" ,
28
- "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/const_trait_bound.rs" ,
29
- "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/dyn_trait_type_weak.rs" ,
30
- "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/fn_def_param.rs" ,
31
- "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/gen_blocks.rs" ,
32
- "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/param_list_vararg.rs" ,
33
- "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/path_fn_trait_args.rs" ,
34
- "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/range_pat.rs" ,
35
- "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/return_type_syntax_assoc_type_bound.rs" ,
36
- "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/return_type_syntax_in_path.rs" ,
37
- "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/type_item_where_clause.rs" ,
38
- "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/typepathfn_with_coloncolon.rs" ,
39
- "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/use_tree_abs_star.rs" ,
40
- "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/value_parameters_no_patterns.rs" ,
41
- "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/yeet_expr.rs" ,
42
- "src/tools/rust-analyzer/crates/parser/test_data/parser/ok/0073_safe_declarations_in_extern_blocks.rs" ,
43
- "src/tools/rustfmt/tests/source/pin_sugar.rs" ,
44
- "src/tools/rustfmt/tests/source/type-alias-where-clauses-with-comments.rs" ,
45
- "src/tools/rustfmt/tests/source/type-alias-where-clauses.rs" ,
46
- "src/tools/rustfmt/tests/target/pin_sugar.rs" ,
47
- "src/tools/rustfmt/tests/target/type-alias-where-clauses-with-comments.rs" ,
48
- "src/tools/rustfmt/tests/target/type-alias-where-clauses.rs" ,
49
- "tests/coverage/async_closure.rs" ,
50
- "tests/ui/associated-type-bounds/return-type-notation/higher-ranked-bound-works.rs" ,
51
- "tests/ui/associated-type-bounds/return-type-notation/namespace-conflict.rs" ,
52
- "tests/ui/associated-type-bounds/return-type-notation/path-constrained-in-method.rs" ,
53
- "tests/ui/associated-type-bounds/return-type-notation/path-self-qself.rs" ,
54
- "tests/ui/associated-type-bounds/return-type-notation/path-works.rs" ,
55
- "tests/ui/async-await/async-closures/body-check-on-non-fnmut.rs" ,
56
- "tests/ui/async-await/async-closures/box-deref-in-debuginfo.rs" ,
57
- "tests/ui/async-await/async-closures/clone-closure.rs" ,
58
- "tests/ui/async-await/async-closures/debuginfo-by-move-body.rs" ,
59
- "tests/ui/async-await/async-closures/foreign.rs" ,
60
- "tests/ui/async-await/async-closures/inline-body.rs" ,
61
- "tests/ui/async-await/async-closures/non-copy-arg-does-not-force-inner-move.rs" ,
62
- "tests/ui/async-await/pin-sugar.rs" ,
63
- "tests/ui/async-await/return-type-notation/normalizing-self-auto-trait-issue-109924.rs" ,
64
- "tests/ui/async-await/return-type-notation/rtn-implied-in-supertrait.rs" ,
65
- "tests/ui/async-await/return-type-notation/supertrait-bound.rs" ,
66
- "tests/ui/borrowck/alias-liveness/rtn-static.rs" ,
67
- "tests/ui/coroutine/other-attribute-on-gen.rs" ,
68
- "tests/ui/delegation/generics/free-fn-to-free-fn-pass.rs" ,
69
- "tests/ui/delegation/generics/free-fn-to-trait-method-pass.rs" ,
70
- "tests/ui/delegation/generics/impl-to-free-fn-pass.rs" ,
71
- "tests/ui/delegation/generics/impl-trait-to-trait-method-pass.rs" ,
72
- "tests/ui/delegation/generics/inherent-impl-to-trait-method-pass.rs" ,
73
- "tests/ui/delegation/generics/trait-method-to-other-pass.rs" ,
22
+ // TODO: self capture: `impl Sized + use<Self>`
74
23
"tests/ui/impl-trait/precise-capturing/self-capture.rs" ,
75
- "tests/ui/sanitizer/cfi/coroutine.rs" ,
76
- "tests/ui/traits/const-traits/syntax.rs" ,
77
- "tests/ui/traits/const-traits/tilde-const-syntax.rs" ,
78
24
79
25
// TODO: non-lifetime binders: `where for<'a, T> &'a Struct<T>: Trait`
80
26
// https://github.com/dtolnay/syn/issues/1435
@@ -86,20 +32,37 @@ static EXCLUDE_FILES: &[&str] = &[
86
32
"tests/rustdoc/inline_cross/auxiliary/non_lifetime_binders.rs" ,
87
33
"tests/rustdoc/non_lifetime_binders.rs" ,
88
34
89
- // TODO: return type notation: `where T: Trait<method(): Send>`
35
+ // TODO: return type notation: `where T: Trait<method(): Send>` and `where T::method(..): Send`
90
36
// https://github.com/dtolnay/syn/issues/1434
37
+ "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/return_type_syntax_assoc_type_bound.rs" ,
38
+ "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/return_type_syntax_in_path.rs" ,
91
39
"src/tools/rustfmt/tests/target/return-type-notation.rs" ,
92
40
"tests/ui/associated-type-bounds/return-type-notation/basic.rs" ,
41
+ "tests/ui/associated-type-bounds/return-type-notation/higher-ranked-bound-works.rs" ,
42
+ "tests/ui/associated-type-bounds/return-type-notation/namespace-conflict.rs" ,
43
+ "tests/ui/associated-type-bounds/return-type-notation/path-constrained-in-method.rs" ,
44
+ "tests/ui/associated-type-bounds/return-type-notation/path-self-qself.rs" ,
45
+ "tests/ui/associated-type-bounds/return-type-notation/path-works.rs" ,
93
46
"tests/ui/associated-type-bounds/return-type-notation/unpretty-parenthesized.rs" ,
47
+ "tests/ui/async-await/return-type-notation/normalizing-self-auto-trait-issue-109924.rs" ,
48
+ "tests/ui/async-await/return-type-notation/rtn-implied-in-supertrait.rs" ,
49
+ "tests/ui/async-await/return-type-notation/supertrait-bound.rs" ,
50
+ "tests/ui/borrowck/alias-liveness/rtn-static.rs" ,
94
51
"tests/ui/feature-gates/feature-gate-return_type_notation.rs" ,
95
52
96
53
// TODO: lazy type alias syntax with where-clause in trailing position
97
54
// https://github.com/dtolnay/syn/issues/1525
55
+ "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/type_item_where_clause.rs" ,
56
+ "src/tools/rustfmt/tests/source/type-alias-where-clauses-with-comments.rs" ,
57
+ "src/tools/rustfmt/tests/source/type-alias-where-clauses.rs" ,
58
+ "src/tools/rustfmt/tests/target/type-alias-where-clauses-with-comments.rs" ,
59
+ "src/tools/rustfmt/tests/target/type-alias-where-clauses.rs" ,
98
60
"tests/rustdoc/typedef-inner-variants-lazy_type_alias.rs" ,
99
61
100
62
// TODO: gen blocks and functions
101
63
// https://github.com/dtolnay/syn/issues/1526
102
64
"compiler/rustc_codegen_cranelift/example/gen_block_iterate.rs" ,
65
+ "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/gen_blocks.rs" ,
103
66
"tests/ui/coroutine/async-gen-deduce-yield.rs" ,
104
67
"tests/ui/coroutine/async-gen-yield-ty-is-unit.rs" ,
105
68
"tests/ui/coroutine/async_gen_fn_iter.rs" ,
@@ -108,8 +71,10 @@ static EXCLUDE_FILES: &[&str] = &[
108
71
"tests/ui/coroutine/gen_block_iterate.rs" ,
109
72
"tests/ui/coroutine/gen_fn_iter.rs" ,
110
73
"tests/ui/coroutine/gen_fn_lifetime_capture.rs" ,
74
+ "tests/ui/coroutine/other-attribute-on-gen.rs" ,
111
75
"tests/ui/coroutine/return-types-diverge.rs" ,
112
76
"tests/ui/higher-ranked/builtin-closure-like-bounds.rs" ,
77
+ "tests/ui/sanitizer/cfi/coroutine.rs" ,
113
78
114
79
// TODO: `!` as a pattern
115
80
// https://github.com/dtolnay/syn/issues/1546
@@ -121,21 +86,30 @@ static EXCLUDE_FILES: &[&str] = &[
121
86
// https://github.com/dtolnay/syn/issues/1628
122
87
"src/tools/miri/tests/pass/async-closure-captures.rs" ,
123
88
"src/tools/miri/tests/pass/async-closure-drop.rs" ,
89
+ "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/async_trait_bound.rs" ,
124
90
"src/tools/rustfmt/tests/target/asyncness.rs" ,
125
91
"tests/codegen/async-closure-debug.rs" ,
92
+ "tests/coverage/async_closure.rs" ,
126
93
"tests/ui/async-await/async-closures/async-fn-mut-for-async-fn.rs" ,
127
94
"tests/ui/async-await/async-closures/async-fn-once-for-async-fn.rs" ,
128
95
"tests/ui/async-await/async-closures/auxiliary/foreign.rs" ,
96
+ "tests/ui/async-await/async-closures/body-check-on-non-fnmut.rs" ,
97
+ "tests/ui/async-await/async-closures/box-deref-in-debuginfo.rs" ,
129
98
"tests/ui/async-await/async-closures/brand.rs" ,
130
99
"tests/ui/async-await/async-closures/captures.rs" ,
100
+ "tests/ui/async-await/async-closures/clone-closure.rs" ,
131
101
"tests/ui/async-await/async-closures/constrained-but-no-upvars-yet.rs" ,
102
+ "tests/ui/async-await/async-closures/debuginfo-by-move-body.rs" ,
132
103
"tests/ui/async-await/async-closures/drop.rs" ,
133
104
"tests/ui/async-await/async-closures/force-move-due-to-inferred-kind.rs" ,
105
+ "tests/ui/async-await/async-closures/foreign.rs" ,
106
+ "tests/ui/async-await/async-closures/inline-body.rs" ,
134
107
"tests/ui/async-await/async-closures/mangle.rs" ,
135
108
"tests/ui/async-await/async-closures/moro-example.rs" ,
136
109
"tests/ui/async-await/async-closures/move-is-async-fn.rs" ,
137
110
"tests/ui/async-await/async-closures/mut-ref-reborrow.rs" ,
138
111
"tests/ui/async-await/async-closures/no-borrow-from-env.rs" ,
112
+ "tests/ui/async-await/async-closures/non-copy-arg-does-not-force-inner-move.rs" ,
139
113
"tests/ui/async-await/async-closures/overlapping-projs.rs" ,
140
114
"tests/ui/async-await/async-closures/precise-captures.rs" ,
141
115
"tests/ui/async-await/async-closures/refd.rs" ,
@@ -170,6 +144,12 @@ static EXCLUDE_FILES: &[&str] = &[
170
144
"tests/ui/delegation/explicit-paths-pass.rs" ,
171
145
"tests/ui/delegation/explicit-paths-signature-pass.rs" ,
172
146
"tests/ui/delegation/fn-header.rs" ,
147
+ "tests/ui/delegation/generics/free-fn-to-free-fn-pass.rs" ,
148
+ "tests/ui/delegation/generics/free-fn-to-trait-method-pass.rs" ,
149
+ "tests/ui/delegation/generics/impl-to-free-fn-pass.rs" ,
150
+ "tests/ui/delegation/generics/impl-trait-to-trait-method-pass.rs" ,
151
+ "tests/ui/delegation/generics/inherent-impl-to-trait-method-pass.rs" ,
152
+ "tests/ui/delegation/generics/trait-method-to-other-pass.rs" ,
173
153
"tests/ui/delegation/glob-glob.rs" ,
174
154
"tests/ui/delegation/glob-override.rs" ,
175
155
"tests/ui/delegation/glob.rs" ,
@@ -188,21 +168,40 @@ static EXCLUDE_FILES: &[&str] = &[
188
168
"tests/ui/async-await/for-await-passthrough.rs" ,
189
169
"tests/ui/async-await/for-await.rs" ,
190
170
191
- // TODO: const trait bound: `T: const Trait`
171
+ // TODO: const trait bound: `T: const Trait` and `impl const Trait` and `~const Trait`
192
172
// https://github.com/dtolnay/syn/issues/1632
173
+ "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/const_trait_bound.rs" ,
193
174
"tests/ui/generic-const-items/const-trait-impl.rs" ,
175
+ "tests/ui/traits/const-traits/tilde-const-syntax.rs" ,
176
+
177
+ // TODO: unparenthesized half-open range pattern inside slice pattern: `[1..]`
178
+ // https://github.com/dtolnay/syn/issues/1769
179
+ "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/range_pat.rs" ,
180
+ "tests/ui/consts/miri_unleashed/const_refers_to_static_cross_crate.rs" ,
181
+
182
+ // TODO: pinned type sugar: `&pin const Self`
183
+ // https://github.com/dtolnay/syn/issues/1770
184
+ "src/tools/rustfmt/tests/source/pin_sugar.rs" ,
185
+ "src/tools/rustfmt/tests/target/pin_sugar.rs" ,
186
+ "tests/ui/async-await/pin-sugar.rs" ,
194
187
195
188
// TODO: `|| .. .method()`
189
+ "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/closure_range_method_call.rs" ,
196
190
"src/tools/rustfmt/tests/source/issue-4808.rs" ,
197
191
198
192
// Several of the above
199
193
"tests/ui/unpretty/expanded-exhaustive.rs" ,
200
194
195
+ // Rustc bug: https://github.com/rust-lang/rust/issues/132080
196
+ "src/tools/rust-analyzer/crates/parser/test_data/parser/ok/0073_safe_declarations_in_extern_blocks.rs" ,
197
+
201
198
// Compile-fail expr parameter in const generic position: f::<1 + 2>()
202
199
"tests/ui/const-generics/early/closing-args-token.rs" ,
203
200
"tests/ui/const-generics/early/const-expression-parameter.rs" ,
204
201
205
202
// Compile-fail variadics in not the last position of a function parameter list
203
+ "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/fn_def_param.rs" ,
204
+ "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/param_list_vararg.rs" ,
206
205
"tests/ui/parser/variadic-ffi-syntactic-pass.rs" ,
207
206
208
207
// Need at least one trait in impl Trait, no such type as impl 'static
@@ -212,6 +211,9 @@ static EXCLUDE_FILES: &[&str] = &[
212
211
"src/tools/rustfmt/tests/target/negative-bounds.rs" ,
213
212
"tests/ui/traits/negative-bounds/supertrait.rs" ,
214
213
214
+ // Const impl that is not a trait impl: `impl ~const T {}`
215
+ "tests/ui/traits/const-traits/syntax.rs" ,
216
+
215
217
// Lifetimes and types out of order in angle bracketed path arguments
216
218
"tests/ui/parser/constraints-before-generic-args-syntactic-pass.rs" ,
217
219
@@ -232,6 +234,10 @@ static EXCLUDE_FILES: &[&str] = &[
232
234
"tests/rustdoc/generic-associated-types/gats.rs" ,
233
235
234
236
// Deprecated trait object syntax with parenthesized generic arguments and no dyn keyword
237
+ "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/bare_dyn_types_with_paren_as_generic_args.rs" ,
238
+ "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/path_fn_trait_args.rs" ,
239
+ "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/typepathfn_with_coloncolon.rs" ,
240
+ "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/value_parameters_no_patterns.rs" ,
235
241
"src/tools/rustfmt/tests/source/attrib.rs" ,
236
242
"src/tools/rustfmt/tests/source/closure.rs" ,
237
243
"src/tools/rustfmt/tests/source/existential_type.rs" ,
@@ -264,10 +270,9 @@ static EXCLUDE_FILES: &[&str] = &[
264
270
"tests/ui/lifetimes/bare-trait-object.rs" ,
265
271
"tests/ui/parser/bounds-obj-parens.rs" ,
266
272
267
- // Invalid unparenthesized range pattern inside slice pattern: `[1..]`
268
- "tests/ui/consts/miri_unleashed/const_refers_to_static_cross_crate.rs" ,
269
-
270
273
// Various extensions to Rust syntax made up by rust-analyzer
274
+ "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/const_param_default_path.rs" ,
275
+ "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/use_tree_abs_star.rs" ,
271
276
"src/tools/rust-analyzer/crates/parser/test_data/parser/ok/0015_use_tree.rs" ,
272
277
"src/tools/rust-analyzer/crates/parser/test_data/parser/ok/0029_range_forms.rs" ,
273
278
"src/tools/rust-analyzer/crates/parser/test_data/parser/ok/0051_parameter_attrs.rs" ,
@@ -281,13 +286,16 @@ static EXCLUDE_FILES: &[&str] = &[
281
286
// Placeholder syntax for "throw expressions"
282
287
"compiler/rustc_errors/src/translation.rs" ,
283
288
"compiler/rustc_expand/src/module.rs" ,
289
+ "compiler/rustc_trait_selection/src/error_reporting/infer/need_type_info.rs" ,
284
290
"src/tools/clippy/tests/ui/needless_return.rs" ,
291
+ "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/yeet_expr.rs" ,
285
292
"tests/pretty/yeet-expr.rs" ,
286
293
"tests/ui/try-trait/yeet-for-option.rs" ,
287
294
"tests/ui/try-trait/yeet-for-result.rs" ,
288
295
289
296
// Edition 2015 code using identifiers that are now keywords
290
297
// TODO: some of these we should probably parse
298
+ "src/tools/rust-analyzer/crates/parser/test_data/parser/inline/ok/dyn_trait_type_weak.rs" ,
291
299
"src/tools/rustfmt/tests/source/configs/indent_style/block_call.rs" ,
292
300
"src/tools/rustfmt/tests/source/configs/use_try_shorthand/false.rs" ,
293
301
"src/tools/rustfmt/tests/source/configs/use_try_shorthand/true.rs" ,
0 commit comments