2 // Regression test for issue #63677 - ensure that
3 // coherence checking can properly handle 'impl trait'
5 // revisions: min_tait full_tait
6 #![feature(min_type_alias_impl_trait)]
7 #![cfg_attr(full_tait, feature(type_alias_impl_trait))]
8 //[full_tait]~^ WARN incomplete
14 pub type T1 = impl Trait;
18 impl<T> Trait for S1<T> {}
19 impl<T: Trait> S2<T> {}
22 pub fn use_t1() -> T1 { S1(()) }