2 // Regression test for issue #63677 - ensure that
3 // coherence checking can properly handle 'impl trait'
5 #![feature(type_alias_impl_trait)]
11 pub type T1 = impl Trait;
15 impl<T> Trait for S1<T> {}
16 impl<T: Trait> S2<T> {}
19 pub fn use_t1() -> T1 { S1(()) }