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

   1 // Test sized-ness checking in substitution in impls.
   2
   3 // impl - struct
   4 trait T3<Z: ?Sized> {
   5     fn foo(&self, z: &Z);
   6 }
   7
   8 struct S5<Y>(Y);
   9
  10 impl<X: ?Sized> T3<X> for S5<X> {
  11     //~^ ERROR the size for values of type
  12 }
  13
  14 fn main() { }