tests/ui/unsized/unsized7.rs

   1 // Test sized-ness checking in substitution in impls.
   2
   3 trait T {}
   4
   5 // I would like these to fail eventually.
   6 // impl - bounded
   7 trait T1<Z: T> {
   8     fn dummy(&self) -> Z;
   9 }
  10
  11 struct S3<Y: ?Sized>(Box<Y>);
  12 impl<X: ?Sized + T> T1<X> for S3<X> {
  13     //~^ ERROR the size for values of type
  14 }
  15
  16 fn main() { }