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