]>
Commit | Line | Data |
---|---|---|
dc9dc135 XL |
1 | #![feature(trait_alias)] |
2 | ||
3 | trait EqAlias = Eq; | |
4 | trait IteratorAlias = Iterator; | |
5 | ||
6 | fn main() { | |
7 | let _: &dyn EqAlias = &123; | |
1b1a35ee | 8 | //~^ ERROR the trait `Eq` cannot be made into an object [E0038] |
dc9dc135 XL |
9 | let _: &dyn IteratorAlias = &vec![123].into_iter(); |
10 | //~^ ERROR must be specified | |
11 | } |