|
#![feature(trait_alias)]
|
|
|
|
trait EqAlias = Eq;
|
|
trait IteratorAlias = Iterator;
|
|
|
|
fn main() {
|
|
let _: &dyn EqAlias = &123;
|
|
//~^ ERROR the trait alias `EqAlias` is not dyn compatible [E0038]
|
|
let _: &dyn IteratorAlias = &vec![123].into_iter();
|
|
//~^ ERROR must be specified
|
|
}
|