- = note: expected type `FnOnce<(&'x str,)>`
- found type `FnOnce<(&str,)>`
-note: the lifetime requirement is introduced here
- --> $DIR/issue-30906.rs:3:12
- |
-LL | fn test<F: for<'x> FnOnce<(&'x str,)>>(_: F) {}
- | ^^^^^^^^^^^^^^^^^^^^^^^^^^
+ = note: `fn(&'2 str) -> T` must implement `FnOnce<(&'1 str,)>`, for any lifetime `'1`...
+ = note: ...but it actually implements `FnOnce<(&'2 str,)>`, for some specific lifetime `'2`