src/test/ui/associated-types/defaults-wf.rs

   1 // Check that associated type defaults are wf checked.
   2
   3 #![feature(associated_type_defaults)]
   4
   5 // Default types must always be wf
   6 trait Tr3 {
   7     type Ty = Vec<[u8]>;
   8     //~^ ERROR the size for values of type `[u8]` cannot be known at compilation time
   9 }
  10
  11 fn main() {}