3 // Test that impls on projected self types can resolve overlap, even when the
4 // projections involve specialization, so long as the associated type is
5 // provided by the most specialized impl.
7 #![feature(specialization)] //~ WARN the feature `specialization` is incomplete
14 default type Output = bool;
17 impl Assoc for u8 { type Output = u8; }
18 impl Assoc for u16 { type Output = u16; }
22 impl Foo for <u8 as Assoc>::Output {}
23 impl Foo for <u16 as Assoc>::Output {}