1 error[E0308]: mismatched types
2 --> $DIR/regions-fn-subtyping-return-static.rs:51:12
4 51 | want_F(bar); //~ ERROR E0308
5 | ^^^ expected concrete lifetime, found bound lifetime parameter 'cx
7 = note: expected type `for<'cx> fn(&'cx S) -> &'cx S`
8 found type `for<'a> fn(&'a S) -> &S {bar::<'_>}`
10 error: aborting due to previous error