Bless issue-91130 test

Author: jackh726

src/test/ui/generic-associated-types/issue-91139.rs

@@ -1,4 +1,4 @@
-// check-pass
+// check-fail
 
 #![feature(generic_associated_types)]
 
@@ -16,6 +16,7 @@ impl<T> Foo<T> for () {
 
 fn foo<T>() {
     let _: for<'a> fn(<() as Foo<T>>::Type<'a>, &'a T) = |_, _| ();
+    //~^ the parameter type `T` may not live long enough
 }
 
 pub fn main() {}

src/test/ui/generic-associated-types/issue-91139.stderr

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