error[E0308]: mismatched types --> $DIR/regions-fn-subtyping-return-static-fail.rs:48:12 | LL | want_G(baz); //~ ERROR | ^^^ one type is more general than the other | = note: expected type `for<'cx> fn(&'cx S) -> &'static S` found type `for<'r> fn(&'r S) -> &'r S` error: aborting due to previous error For more information about this error, try `rustc --explain E0308`.