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