1 #![feature(type_alias_impl_trait)]
6 type FooX = impl Debug;
10 impl Foo<()> for () { }
12 fn foo() -> impl Foo<FooX> {
13 //~^ ERROR: the trait bound `(): Foo<FooX>` is not satisfied
14 // FIXME(type-alias-impl-trait): We could probably make this work.