|
#![feature(type_alias_impl_trait)]
|
|
#![feature(auto_traits)]
|
|
|
|
type Alias = (impl Sized, u8);
|
|
|
|
auto trait Trait {}
|
|
impl Trait for Alias {}
|
|
//~^ ERROR traits with a default impl, like `Trait`, cannot be implemented for type alias `Alias`
|
|
|
|
fn _def() -> Alias {
|
|
(42, 42)
|
|
}
|
|
|
|
fn main() {}
|