summaryrefslogtreecommitdiffstats
path: root/src/test/ui/coherence/coherence-inherited-assoc-ty-cycle-err.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/coherence/coherence-inherited-assoc-ty-cycle-err.rs')
-rw-r--r--src/test/ui/coherence/coherence-inherited-assoc-ty-cycle-err.rs24
1 files changed, 0 insertions, 24 deletions
diff --git a/src/test/ui/coherence/coherence-inherited-assoc-ty-cycle-err.rs b/src/test/ui/coherence/coherence-inherited-assoc-ty-cycle-err.rs
deleted file mode 100644
index d74d3a2a5..000000000
--- a/src/test/ui/coherence/coherence-inherited-assoc-ty-cycle-err.rs
+++ /dev/null
@@ -1,24 +0,0 @@
-// Formerly this ICEd with the following message:
-// Tried to project an inherited associated type during coherence checking,
-// which is currently not supported.
-//
-// No we expect to run into a more user-friendly cycle error instead.
-#![feature(specialization)]
-//~^ WARN the feature `specialization` is incomplete
-
-trait Trait<T> { type Assoc; }
-//~^ ERROR E0391
-
-impl<T> Trait<T> for Vec<T> {
- type Assoc = ();
-}
-
-impl Trait<u8> for Vec<u8> {}
-
-impl<T> Trait<T> for String {
- type Assoc = ();
-}
-
-impl Trait<<Vec<u8> as Trait<u8>>::Assoc> for String {}
-
-fn main() {}