// Test sized-ness checking in substitution in impls. | |
// impl - unbounded | |
trait T2<Z> { | |
fn foo(&self, z: Z); | |
} | |
struct S4<Y: ?Sized>(Box<Y>); | |
impl<X: ?Sized> T2<X> for S4<X> { | |
//~^ ERROR the size for values of type | |
//~| ERROR not all trait items implemented | |
} | |
fn main() { } |