diff options
Diffstat (limited to 'src/test/ui/specialization/issue-43037.rs')
-rw-r--r-- | src/test/ui/specialization/issue-43037.rs | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/src/test/ui/specialization/issue-43037.rs b/src/test/ui/specialization/issue-43037.rs deleted file mode 100644 index a1e3f998b..000000000 --- a/src/test/ui/specialization/issue-43037.rs +++ /dev/null @@ -1,22 +0,0 @@ -// revisions: current negative -#![feature(specialization)] -#![cfg_attr(negative, feature(with_negative_coherence))] -#![allow(incomplete_features)] - -trait X {} -trait Y: X {} -trait Z { - type Assoc: Y; -} -struct A<T>(T); - -impl<T> Y for T where T: X {} -impl<T: X> Z for A<T> { - type Assoc = T; -} - -// this impl is invalid, but causes an ICE anyway -impl<T> From<<A<T> as Z>::Assoc> for T {} -//~^ ERROR type parameter `T` must be used as the type parameter for some local type (e.g., `MyStruct<T>`) - -fn main() {} |