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_feature/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_feature/src')
| -rw-r--r-- | compiler/rustc_feature/src/active.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/rustc_feature/src/active.rs b/compiler/rustc_feature/src/active.rs index 2aa9101bff0..48f5bd1cb50 100644 --- a/compiler/rustc_feature/src/active.rs +++ b/compiler/rustc_feature/src/active.rs @@ -416,6 +416,8 @@ declare_features! ( (active, half_open_range_patterns_in_slices, "1.66.0", Some(67264), None), /// Allows `if let` guard in match arms. (active, if_let_guard, "1.47.0", Some(51114), None), + /// Allows `impl Trait` to be used inside associated types (RFC 2515). + (active, impl_trait_in_assoc_type, "CURRENT_RUSTC_VERSION", Some(63063), None), /// Allows `impl Trait` as output type in `Fn` traits in return position of functions. (active, impl_trait_in_fn_trait_return, "1.64.0", Some(99697), None), /// Allows referencing `Self` and projections in impl-trait. |
