src/test/ui/unsized.rs

   1 // run-pass
   2
   3 #![allow(type_alias_bounds)]
   4 #![allow(dead_code)]
   5 // Test syntax checks for `?Sized` syntax.
   6
   7 use std::marker::PhantomData;
   8
   9 trait T1  { }
  10 pub trait T2  { }
  11 trait T3<X: T1> : T2 { }
  12 trait T4<X: ?Sized> { }
  13 trait T5<X: ?Sized, Y> { }
  14 trait T6<Y, X: ?Sized> { }
  15 trait T7<X: ?Sized, Y: ?Sized> { }
  16 trait T8<X: ?Sized+T2> { }
  17 trait T9<X: T2 + ?Sized> { }
  18 struct S1<X: ?Sized>(PhantomData<X>);
  19 enum E<X: ?Sized> { E1(PhantomData<X>) }
  20 impl <X: ?Sized> T1 for S1<X> {}
  21 fn f<X: ?Sized>() {}
  22 type TT<T: ?Sized> = T;
  23
  24 pub fn main() {
  25 }