From 3c71fafd6d515004ebfd041d125338b6b82fddf9 Mon Sep 17 00:00:00 2001
From: Jack Huey <31162821+jackh726@users.noreply.github.com>
Date: Mon, 7 Nov 2022 17:52:08 -0500
Subject: [PATCH] Add a known that this is a known limitation

---
 .../error_reporting/nice_region_error/placeholder_relation.rs  | 1 +
 src/test/ui/generic-associated-types/bugs/issue-100013.stderr  | 3 +++
 2 files changed, 4 insertions(+)

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 d0813ccd3b40..c42240f21724 100644
--- 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 @@ impl<'tcx> NiceRegionError<'_, 'tcx> {
                     }
                     _ => {}
                 }
+                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 d9fcf8c48e2f..72ae288dcab6 100644
--- 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