1 #![feature(specialization)]
2 #![allow(incomplete_features)]
11 impl<T> Y for T where T: X {}
12 impl<T: X> Z for A<T> {
16 // this impl is invalid, but causes an ICE anyway
17 impl<T> From<<A<T> as Z>::Assoc> for T {}
18 //~^ ERROR type parameter `T` must be used as the type parameter for some local type (e.g., `MyStruct<T>`)