diff options
Diffstat (limited to 'src/test/ui/specialization/specialization-projection.rs')
-rw-r--r-- | src/test/ui/specialization/specialization-projection.rs | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/src/test/ui/specialization/specialization-projection.rs b/src/test/ui/specialization/specialization-projection.rs deleted file mode 100644 index 78afe7a94..000000000 --- a/src/test/ui/specialization/specialization-projection.rs +++ /dev/null @@ -1,42 +0,0 @@ -// run-pass -#![allow(dead_code)] - -#![feature(specialization)] //~ WARN the feature `specialization` is incomplete - -// Make sure we *can* project non-defaulted associated types -// cf ui/specialization/specialization-default-projection.rs - -// First, do so without any use of specialization - -trait Foo { - type Assoc; -} - -impl<T> Foo for T { - type Assoc = (); -} - -fn generic_foo<T>() -> <T as Foo>::Assoc { - () -} - -// Next, allow for one layer of specialization - -trait Bar { - type Assoc; -} - -impl<T> Bar for T { - default type Assoc = (); -} - -impl<T: Clone> Bar for T { - type Assoc = u8; -} - -fn generic_bar_clone<T: Clone>() -> <T as Bar>::Assoc { - 0u8 -} - -fn main() { -} |