]>
Commit | Line | Data |
---|---|---|
9fa01778 XL |
1 | #![feature(trait_alias)] |
2 | ||
3 | trait Foo {} | |
4 | auto trait A = Foo; //~ ERROR trait aliases cannot be `auto` | |
5 | unsafe trait B = Foo; //~ ERROR trait aliases cannot be `unsafe` | |
6 | ||
e74abb32 XL |
7 | trait C: Ord = Eq; //~ ERROR bounds are not allowed on trait aliases |
8 | trait D: = Eq; //~ ERROR bounds are not allowed on trait aliases | |
9 | ||
9fa01778 | 10 | fn main() {} |