// Regression test for issue #63677 - ensure that
// coherence checking can properly handle 'impl trait'
// in type aliases
-// revisions: min_tait full_tait
-#![feature(min_type_alias_impl_trait)]
-#![cfg_attr(full_tait, feature(type_alias_impl_trait))]
-//[full_tait]~^ WARN incomplete
+#![feature(type_alias_impl_trait)]
pub trait Trait {}
pub struct S1<T>(T);