diff options
Diffstat (limited to 'src/test/ui/specialization/defaultimpl/overlap-projection.rs')
-rw-r--r-- | src/test/ui/specialization/defaultimpl/overlap-projection.rs | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/src/test/ui/specialization/defaultimpl/overlap-projection.rs b/src/test/ui/specialization/defaultimpl/overlap-projection.rs deleted file mode 100644 index 0add4d551..000000000 --- a/src/test/ui/specialization/defaultimpl/overlap-projection.rs +++ /dev/null @@ -1,25 +0,0 @@ -// run-pass - -// Test that impls on projected self types can resolve overlap, even when the -// projections involve specialization, so long as the associated type is -// provided by the most specialized impl. - -#![feature(specialization)] //~ WARN the feature `specialization` is incomplete - -trait Assoc { - type Output; -} - -default impl<T> Assoc for T { - type Output = bool; -} - -impl Assoc for u8 { type Output = u8; } -impl Assoc for u16 { type Output = u16; } - -trait Foo {} -impl Foo for u32 {} -impl Foo for <u8 as Assoc>::Output {} -impl Foo for <u16 as Assoc>::Output {} - -fn main() {} |