diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-04-12 20:56:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-12 20:56:24 +0200 |
| commit | 214e4ef4ef7172d7532dee76dc63296f8131e893 (patch) | |
| tree | 6cf46af8f5051ea1708fb6f6ef2475259a63b0e2 /compiler/rustc_span/src | |
| parent | d54a8ac8e205439b8e06543655a3dc30010b31dd (diff) | |
| parent | f263f88beacce82ef7098dadd25e44eb349aa3c2 (diff) | |
| download | rust-214e4ef4ef7172d7532dee76dc63296f8131e893.tar.gz rust-214e4ef4ef7172d7532dee76dc63296f8131e893.zip | |
Rollup merge of #110237 - oli-obk:impl_trait_in_assoc_tys, r=jackh726
Split out a separate feature gate for impl trait in associated types
in https://github.com/rust-lang/rust/issues/107645 it was decided that we'll take a new route for type alias impl trait. The exact route isn't clear yet, so while I'm working on implementing some of these proposed changes (e.g. in https://github.com/rust-lang/rust/pull/110010) to be able to experiment with them, I will also work on stabilizing another sugar version first: impl trait in associated types. Similarly I'll look into creating feature gates for impl trait in const/static types.
This PR does nothing but split the feature gate, so that you need to enable a different feature gate for
```rust
impl Trait for Type {
type Assoc = impl SomeTrait;
}
```
than what you need for `type Foo = impl SomeTrait;`
Diffstat (limited to 'compiler/rustc_span/src')
| -rw-r--r-- | compiler/rustc_span/src/symbol.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_span/src/symbol.rs b/compiler/rustc_span/src/symbol.rs index 84a4f10b8ab..b619e5877ad 100644 --- a/compiler/rustc_span/src/symbol.rs +++ b/compiler/rustc_span/src/symbol.rs @@ -801,6 +801,7 @@ symbols! { ignore, impl_header_lifetime_elision, impl_lint_pass, + impl_trait_in_assoc_type, impl_trait_in_bindings, impl_trait_in_fn_trait_return, impl_trait_projections, |