#![feature(trait_alias)] | |
trait Foo {} | |
auto trait A = Foo; //~ ERROR trait aliases cannot be `auto` | |
unsafe trait B = Foo; //~ ERROR trait aliases cannot be `unsafe` | |
trait C: Ord = Eq; //~ ERROR bounds are not allowed on trait aliases | |
trait D: = Eq; //~ ERROR bounds are not allowed on trait aliases | |
fn main() {} |