// Needed for `type Y = impl Trait<_>` and `type B = _;`
-#![feature(type_alias_impl_trait, associated_type_defaults)]
+#![feature(associated_type_defaults)]
+// revisions: min_tait full_tait
+#![feature(min_type_alias_impl_trait)]
+#![cfg_attr(full_tait, feature(type_alias_impl_trait))]
+//[full_tait]~^ WARN incomplete
// This test checks that it is not possible to enable global type
// inference by using the `_` type placeholder.