1 error[E0311]: the parameter type `T` may not live long enough
2 --> $DIR/issue-91139.rs:27:12
4 LL | let _: for<'a> fn(<() as Foo<T>>::Type<'a>, &'a T) = |_, _| ();
5 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ...so that the type `T` will meet its required lifetime bounds
7 help: consider adding an explicit lifetime bound...
12 error: aborting due to previous error