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

   1 #![feature(type_alias_impl_trait)]
   2
   3 type Foo = impl std::fmt::Debug;
   4 type Bar = impl Trait<Foo>;
   5
   6 trait Trait<T> {}
   7
   8 impl<T, U> Trait<T> for U {}
   9
  10 fn bar() -> Bar {
  11     42
  12 }
  13
  14 fn main() {
  15     println!("{:?}", bar());
  16     //~^ ERROR `Bar` doesn't implement `Debug`
  17 }