tests/ui/type-alias-impl-trait/nested-tait-inference3.rs

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