summaryrefslogtreecommitdiffstats
path: root/src/test/ui/generic-associated-types/issue-91139.migrate.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/generic-associated-types/issue-91139.migrate.stderr')
-rw-r--r--src/test/ui/generic-associated-types/issue-91139.migrate.stderr13
1 files changed, 13 insertions, 0 deletions
diff --git a/src/test/ui/generic-associated-types/issue-91139.migrate.stderr b/src/test/ui/generic-associated-types/issue-91139.migrate.stderr
new file mode 100644
index 000000000..b424d9a2f
--- /dev/null
+++ b/src/test/ui/generic-associated-types/issue-91139.migrate.stderr
@@ -0,0 +1,13 @@
+error[E0311]: the parameter type `T` may not live long enough
+ --> $DIR/issue-91139.rs:27:12
+ |
+LL | let _: for<'a> fn(<() as Foo<T>>::Type<'a>, &'a T) = |_, _| ();
+ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ...so that the type `T` will meet its required lifetime bounds
+ |
+help: consider adding an explicit lifetime bound...
+ |
+LL | fn foo<T: 'a>() {
+ | ++++
+
+error: aborting due to previous error
+