Skip to content

Commit 3c71faf

Browse files
committed
Add a known that this is a known limitation
1 parent cececca commit 3c71faf

File tree

2 files changed

+4
-0
lines changed

2 files changed

+4
-0
lines changed

compiler/rustc_infer/src/infer/error_reporting/nice_region_error/placeholder_relation.rs

+1
Original file line numberDiff line numberDiff line change
@@ -69,6 +69,7 @@ impl<'tcx> NiceRegionError<'_, 'tcx> {
6969
}
7070
_ => {}
7171
}
72+
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)");
7273
Some(err)
7374
}
7475

src/test/ui/generic-associated-types/bugs/issue-100013.stderr

+3
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,7 @@ note: ...must outlive the lifetime defined here
1818
|
1919
LL | let x = None::<I::Future<'_, '_>>; // a type referencing GAT
2020
| ^^
21+
= 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)
2122

2223
error: lifetime bound not satisfied
2324
--> $DIR/issue-100013.rs:23:5
@@ -40,6 +41,7 @@ note: ...must outlive the lifetime defined here
4041
|
4142
LL | fn call2<'a, 'b, I: FutureIterator>() -> impl Send {
4243
| ^^
44+
= 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)
4345

4446
error: lifetime may not live long enough
4547
--> $DIR/issue-100013.rs:25:17
@@ -74,6 +76,7 @@ note: ...must outlive the lifetime defined here
7476
|
7577
LL | fn call3<'a: 'b, 'b, I: FutureIterator>() -> impl Send {
7678
| ^^
79+
= 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)
7780

7881
error: aborting due to 4 previous errors
7982

0 commit comments

Comments
 (0)