src/test/ui/nll/relate_tys/hr-fn-aaa-as-aba.stderr

   1 error[E0308]: mismatched types
   2   --> $DIR/hr-fn-aaa-as-aba.rs:12:58
   3    |
   4 LL |     let a: for<'a, 'b> fn(&'a u32, &'b u32) -> &'a u32 = make_it();
   5    |                                                          ^^^^^^^^^ one type is more general than the other
   6    |
   7    = note: expected fn pointer `for<'a, 'b> fn(&'a u32, &'b u32) -> &'a u32`
   8               found fn pointer `for<'a> fn(&'a u32, &'a u32) -> &'a u32`
   9
  10 error[E0308]: mismatched types
  11   --> $DIR/hr-fn-aaa-as-aba.rs:20:12
  12    |
  13 LL |     let _: for<'a, 'b> fn(&'a u32, &'b u32) -> &'a u32 = make_it();
  14    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other
  15    |
  16    = note: expected fn pointer `for<'a, 'b> fn(&'a u32, &'b u32) -> &'a u32`
  17               found fn pointer `for<'a> fn(&'a u32, &'a u32) -> &'a u32`
  18
  19 error: aborting due to 2 previous errors
  20
  21 For more information about this error, try `rustc --explain E0308`.