1// Check that associated type defaults are wf checked.23#![feature(associated_type_defaults)]
45// Default types must always be wf6traitTr3 {
7typeTy = Vec<[u8]>;
8//~^ ERROR the size for values of type `[u8]` cannot be known at compilation time9}
10main()11fnmain() {}
12