Add a known that this is a known limitation

diff --git a/compiler/rustc_infer/src/infer/error_reporting/nice_region_error/placeholder_relation.rs b/compiler/rustc_infer/src/infer/error_reporting/nice_region_error/placeholder_relation.rs
index d0813ccd3b401e2f1a4c741ac71008663f4bbbff..c42240f21724f77bf9a798b948b06e6368744809 100644 (file)
--- a/compiler/rustc_infer/src/infer/error_reporting/nice_region_error/placeholder_relation.rs
+++ b/compiler/rustc_infer/src/infer/error_reporting/nice_region_error/placeholder_relation.rs
@@ -69,6 +69,7 @@ pub(super) fn try_report_placeholder_relation(
                     }
                     _ => {}
                 }
+                err.note("this is a known limitation that will be removed in the future (see issue #100013 <https://github.com/rust-lang/rust/issues/100013> for more information)");
                 Some(err)
             }
 

diff --git a/src/test/ui/generic-associated-types/bugs/issue-100013.stderr b/src/test/ui/generic-associated-types/bugs/issue-100013.stderr
index d9fcf8c48e2f781311daa10abcaccffd8e90941f..72ae288dcab64c4a41eb1ae30f6e9d08a8507f6c 100644 (file)
--- a/src/test/ui/generic-associated-types/bugs/issue-100013.stderr
+++ b/src/test/ui/generic-associated-types/bugs/issue-100013.stderr
@@ -18,6 +18,7 @@ note: ...must outlive the lifetime defined here
    |
 LL |         let x = None::<I::Future<'_, '_>>; // a type referencing GAT
    |                                  ^^
+   = note: this is a known limitation that will be removed in the future (see issue #100013 <https://github.com/rust-lang/rust/issues/100013> for more information)
 
 error: lifetime bound not satisfied
   --> $DIR/issue-100013.rs:23:5
@@ -40,6 +41,7 @@ note: ...must outlive the lifetime defined here
    |
 LL | fn call2<'a, 'b, I: FutureIterator>() -> impl Send {
    |          ^^
+   = note: this is a known limitation that will be removed in the future (see issue #100013 <https://github.com/rust-lang/rust/issues/100013> for more information)
 
 error: lifetime may not live long enough
   --> $DIR/issue-100013.rs:25:17
@@ -74,6 +76,7 @@ note: ...must outlive the lifetime defined here
    |
 LL | fn call3<'a: 'b, 'b, I: FutureIterator>() -> impl Send {
    |          ^^
+   = note: this is a known limitation that will be removed in the future (see issue #100013 <https://github.com/rust-lang/rust/issues/100013> for more information)
 
 error: aborting due to 4 previous errors