trait Foo = Default;
//~^ ERROR trait aliases are experimental

fn main() {}