trait Trait {} //~ ERROR const generics are unstable fn main() {}