src/test/ui/type-alias-impl-trait/nested-tait-inference2.rs

   1 #![feature(type_alias_impl_trait)]
   2 #![allow(dead_code)]
   3
   4 use std::fmt::Debug;
   5
   6 type FooX = impl Debug;
   7
   8 trait Foo<A> {}
   9
  10 impl Foo<()> for () {}
  11 impl Foo<u32> for () {}
  12
  13 fn foo() -> impl Foo<FooX> {
  14     ()
  15     //~^ ERROR: the trait bound `(): Foo<FooX>` is not satisfied
  16 }
  17
  18 fn main() {}