#![feature(trait_alias)]

trait DefaultAlias = Default;

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

fn main() {}