tests/ui/regions/higher-ranked-implied.stderr

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