1 2 3 4 5 6 7 8 9 10 11 12 13 14
// Test sized-ness checking in substitution in impls. // impl - struct trait T3<Z: ?Sized> { fn foo(&self, z: &Z); } struct S5<Y>(Y); impl<X: ?Sized> T3<X> for S5<X> { //~^ ERROR the size for values of type } fn main() { }