about summary refs log tree commit diff
diff options
context:
space:
mode:
authorJack Huey <31162821+jackh726@users.noreply.github.com>2022-11-07 17:52:08 -0500
committerJack Huey <31162821+jackh726@users.noreply.github.com>2022-11-07 17:52:08 -0500
commit3c71fafd6d515004ebfd041d125338b6b82fddf9 (patch)
tree7d6ce352333f4e103fb89fd1d33fe1d5ff79300c
parentcececca7c7fdae8730027615c2e89120e40bac66 (diff)
downloadrust-3c71fafd6d515004ebfd041d125338b6b82fddf9.tar.gz
rust-3c71fafd6d515004ebfd041d125338b6b82fddf9.zip
Add a known that this is a known limitation
-rw-r--r--compiler/rustc_infer/src/infer/error_reporting/nice_region_error/placeholder_relation.rs1
-rw-r--r--src/test/ui/generic-associated-types/bugs/issue-100013.stderr3
2 files changed, 4 insertions, 0 deletions
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 d0813ccd3b4..c42240f2172 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 d9fcf8c48e2..72ae288dcab 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