diff options
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.rs | 24 |
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() {} |