1 #![feature(type_alias_impl_trait)]
6 type FooX = impl Debug;
10 impl Foo<()> for () {}
11 impl Foo<u32> for () {}
13 fn foo() -> impl Foo<FooX> {
14 //~^ ERROR: the trait bound `(): Foo<FooX>` is not satisfied
15 //~| ERROR: the trait bound `(): Foo<FooX>` is not satisfied