tests/ui/type-alias-impl-trait/issue-58662-simplified.rs

   1 // check-pass
   2
   3 #![feature(generators, generator_trait)]
   4 #![feature(type_alias_impl_trait)]
   5
   6 trait Trait {}
   7
   8 impl<T> Trait for T {}
   9
  10 type Foo<'c> = impl Trait + 'c;
  11 fn foo<'a>(rng: &'a ()) -> Foo<'a> {
  12     fn helper<'b>(rng: &'b ()) -> impl 'b + Trait {
  13         rng
  14     }
  15
  16     helper(rng)
  17 }
  18
  19 fn main() {
  20 }