src/test/ui/nll/relate_tys/opaque-hrtb.rs

   1 trait MyTrait<T> {}
   2
   3 struct Foo;
   4 impl<T> MyTrait<T> for Foo {}
   5
   6 fn bar<Input>() -> impl MyTrait<Input> {
   7     Foo
   8 }
   9
  10 fn foo() -> impl for<'a> MyTrait<&'a str> {
  11     bar() //~ ERROR implementation of `MyTrait` is not general enough
  12 }
  13
  14 fn main() {}