tests/ui/type-alias-impl-trait/nested-tait-inference.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
  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.
  15     ()
  16 }
  17
  18 fn main() { }