|
// 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() { }
|