src/test/ui/hrtb/hrtb-higher-ranker-supertraits.stderr

   1 error[E0308]: mismatched types
   2   --> $DIR/hrtb-higher-ranker-supertraits.rs:18:5
   3    |
   4 LL |     want_foo_for_any_tcx(f); //~ ERROR E0308
   5    |     ^^^^^^^^^^^^^^^^^^^^ one type is more general than the other
   6    |
   7    = note: expected type `for<'tcx> Foo<'tcx>`
   8               found type `Foo<'x>`
   9
  10 error[E0308]: mismatched types
  11   --> $DIR/hrtb-higher-ranker-supertraits.rs:35:5
  12    |
  13 LL |     want_bar_for_any_ccx(b); //~ ERROR E0308
  14    |     ^^^^^^^^^^^^^^^^^^^^ one type is more general than the other
  15    |
  16    = note: expected type `for<'ccx> Bar<'ccx>`
  17               found type `Bar<'x>`
  18
  19 error: aborting due to 2 previous errors
  20
  21 For more information about this error, try `rustc --explain E0308`.