src/test/ui/late-bound-lifetimes/late_bound_through_alias.rs

   1 // check-pass
   2
   3 fn f(_: X) -> X {
   4     unimplemented!()
   5 }
   6
   7 fn g<'a>(_: X<'a>) -> X<'a> {
   8     unimplemented!()
   9 }
  10
  11 type X<'a> = &'a ();
  12
  13 fn main() {
  14     let _: for<'a> fn(X<'a>) -> X<'a> = g;
  15     let _: for<'a> fn(X<'a>) -> X<'a> = f;
  16 }