// FIXME: This should compile, but it currently doesn't
#![feature(trait_alias)]
-#![feature(type_alias_impl_trait)]
+// revisions: min_tait full_tait
+#![feature(min_type_alias_impl_trait)]
+#![cfg_attr(full_tait, feature(type_alias_impl_trait))]
+//[full_tait]~^ WARN incomplete
trait Foo {
type Bar: Baz<Self, Self>;
impl Foo for X {
type Bar = impl Baz<Self, Self>;
- //~^ ERROR mismatched types
- //~| ERROR mismatched types
- //~| ERROR mismatched types
+ //~^ ERROR implementation of `FnOnce` is not general enough
+ //~| ERROR implementation of `FnOnce` is not general enough
+ //~| ERROR implementation of `FnOnce` is not general enough
//~| ERROR mismatched types
//~| ERROR mismatched types