1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
#![feature(type_alias_impl_trait)] fn main() {} // two definitions with different types type Foo = impl std::fmt::Debug; fn foo() -> Foo { "" } fn bar() -> Foo { 42i32 //~^ ERROR concrete type differs from previous }