tests/ui/unsized/unsized-trait-impl-self-type.rs


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