summaryrefslogtreecommitdiffstats
path: root/tests/ui/unsized/unsized7.rs
blob: 422a784814e9165ca0b4b1af051ddb2896d41041 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
// Test sized-ness checking in substitution in impls.

trait T {}

// I would like these to fail eventually.
// impl - bounded
trait T1<Z: T> {
    fn dummy(&self) -> Z;
}

struct S3<Y: ?Sized>(Box<Y>);
impl<X: ?Sized + T> T1<X> for S3<X> {
    //~^ ERROR the size for values of type
}

fn main() { }