src/test/ui/traits/trait-alias/trait-alias-impl.rs

#![feature(trait_alias)]

trait DefaultAlias = Default;

impl DefaultAlias for () {} //~ ERROR expected trait, found trait alias

fn main() {}