1 error[E0308]: mismatched types
2 --> $DIR/hrtb-higher-ranker-supertraits-transitive.rs:47:5
4 LL | want_bar_for_any_ccx(b);
5 | ^^^^^^^^^^^^^^^^^^^^ one type is more general than the other
7 = note: expected type `for<'ccx> Bar<'ccx>`
8 found type `Bar<'static>`
10 error: aborting due to previous error
12 For more information about this error, try `rustc --explain E0308`.