// compile-flags:-Zborrowck=mir
#![feature(member_constraints)]
-#![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
#[derive(Clone)]
struct CopyIfEq<T, U>(T, U);