summaryrefslogtreecommitdiffstats
path: root/src/test/ui/unsized/unsized-trait-impl-trait-arg.rs
blob: 96e7e371f2aa44c4973ac4d65107ed9e708d1989 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
// 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
}

fn main() { }