summaryrefslogtreecommitdiffstats
path: root/src/test/ui/specialization/defaultimpl/overlap-projection.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/specialization/defaultimpl/overlap-projection.rs')
-rw-r--r--src/test/ui/specialization/defaultimpl/overlap-projection.rs25
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() {}