-#![feature(const_impl_trait)]
-// revisions: min_tait full_tait
-#![feature(min_type_alias_impl_trait)]
-#![cfg_attr(full_tait, feature(type_alias_impl_trait, impl_trait_in_bindings))]
-//[full_tait]~^ WARN incomplete
-//[full_tait]~| WARN incomplete
+#![feature(type_alias_impl_trait)]
type Foo = impl Send;
const fn value() -> Foo {
A
}
-const VALUE: Foo = value(); //[min_tait]~ ERROR not permitted here
+const VALUE: Foo = value();
fn test() {
- match todo!() {
+ match VALUE {
VALUE => (),
- //[full_tait]~^ `impl Send` cannot be used in patterns
+ //~^ `Foo` cannot be used in patterns
_ => (),
}
}