Skip to content

Commit 996ffcb

Browse files
aliemjayaliemjay
committed
always show and explain sub region
1 parent 5be0b22 commit 996ffcb

File tree

71 files changed

+462
-339
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

71 files changed

+462
-339
lines changed

‎compiler/rustc_infer/src/infer/error_reporting/mod.rs‎

Lines changed: 23 additions & 37 deletions
Original file line numberDiff line numberDiff line change
@@ -59,8 +59,8 @@ use crate::traits::{
5959
};
6060

6161
use rustc_data_structures::fx::{FxIndexMap, FxIndexSet};
62+
use rustc_errors::{error_code, Applicability, DiagnosticBuilder, DiagnosticStyledString};
6263
use rustc_errors::{pluralize, struct_span_err, Diagnostic, ErrorGuaranteed, IntoDiagnosticArg};
63-
use rustc_errors::{Applicability, DiagnosticBuilder, DiagnosticStyledString};
6464
use rustc_hir as hir;
6565
use rustc_hir::def::DefKind;
6666
use rustc_hir::def_id::{DefId, LocalDefId};
@@ -2341,40 +2341,29 @@ impl<'tcx> TypeErrCtxt<'_, 'tcx> {
23412341
},
23422342
};
23432343

2344-
let mut err = match sub.kind() {
2345-
ty::ReEarlyBound(_) | ty::ReFree(_) if sub.has_name() => struct_span_err!(
2346-
self.tcx.sess,
2347-
span,
2348-
E0309,
2349-
"{} may not live long enough",
2350-
labeled_user_string
2351-
),
2352-
ty::ReStatic => struct_span_err!(
2353-
self.tcx.sess,
2354-
span,
2355-
E0310,
2356-
"{} may not live long enough",
2357-
labeled_user_string
2358-
),
2359-
_ => {
2360-
let mut err = struct_span_err!(
2361-
self.tcx.sess,
2362-
span,
2363-
E0311,
2364-
"{} may not live long enough",
2365-
labeled_user_string
2366-
);
2367-
note_and_explain_region(
2368-
self.tcx,
2369-
&mut err,
2370-
&format!("{labeled_user_string} must be valid for "),
2371-
sub,
2372-
"...",
2373-
None,
2374-
);
2375-
err
2344+
let mut err = self.tcx.sess.struct_span_err_with_code(
2345+
span,
2346+
format!("{labeled_user_string} may not live long enough"),
2347+
match sub.kind() {
2348+
ty::ReEarlyBound(_) | ty::ReFree(_) if sub.has_name() => error_code!(E0309),
2349+
ty::ReStatic => error_code!(E0310),
2350+
_ => error_code!(E0311),
2351+
},
2352+
);
2353+
2354+
'_explain: {
2355+
let (description, span) = match sub.kind() {
2356+
ty::ReEarlyBound(_) | ty::ReFree(_) | ty::ReStatic => {
2357+
msg_span_from_named_region(self.tcx, sub, Some(span))
2358+
}
2359+
_ => (format!("lifetime `{sub}`"), Some(span)),
2360+
};
2361+
let prefix = format!("{labeled_user_string} must be valid for ");
2362+
label_msg_span(&mut err, &prefix, description, span, "...");
2363+
if let Some(origin) = origin {
2364+
self.note_region_origin(&mut err, &origin);
23762365
}
2377-
};
2366+
}
23782367

23792368
'suggestion: {
23802369
let msg = "consider adding an explicit lifetime bound";
@@ -2450,9 +2439,6 @@ impl<'tcx> TypeErrCtxt<'_, 'tcx> {
24502439
);
24512440
}
24522441

2453-
if let Some(origin) = origin {
2454-
self.note_region_origin(&mut err, &origin);
2455-
}
24562442
err
24572443
}
24582444

‎tests/ui/associated-inherent-types/regionck-1.stderr‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,9 @@ error[E0309]: the parameter type `T` may not live long enough
22
--> $DIR/regionck-1.rs:9:30
33
|
44
LL | type NoTyOutliv<'a, T> = &'a T;
5-
| ^^^^^ ...so that the reference type `&'a T` does not outlive the data it points at
5+
| -- ^^^^^ ...so that the reference type `&'a T` does not outlive the data it points at
6+
| |
7+
| the parameter type `T` must be valid for the lifetime `'a` as defined here...
68
|
79
help: consider adding an explicit lifetime bound...
810
|

‎tests/ui/async-await/in-trait/async-generics-and-bounds.stderr‎

Lines changed: 8 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -2,18 +2,11 @@ error[E0311]: the parameter type `U` may not live long enough
22
--> $DIR/async-generics-and-bounds.rs:12:5
33
|
44
LL | async fn foo(&self) -> &(T, U) where T: Debug + Sized, U: Hash;
5-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
5+
| ^^^^^^^^^^^^^-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
6+
| | |
7+
| | the parameter type `U` must be valid for the anonymous lifetime as defined here...
8+
| ...so that the reference type `&(T, U)` does not outlive the data it points at
69
|
7-
note: the parameter type `U` must be valid for the anonymous lifetime as defined here...
8-
--> $DIR/async-generics-and-bounds.rs:12:18
9-
|
10-
LL | async fn foo(&self) -> &(T, U) where T: Debug + Sized, U: Hash;
11-
| ^
12-
note: ...so that the reference type `&(T, U)` does not outlive the data it points at
13-
--> $DIR/async-generics-and-bounds.rs:12:5
14-
|
15-
LL | async fn foo(&self) -> &(T, U) where T: Debug + Sized, U: Hash;
16-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1710
help: consider adding an explicit lifetime bound...
1811
|
1912
LL | async fn foo<'a>(&'a self) -> &'a (T, U) where T: Debug + Sized, U: Hash, U: 'a;
@@ -23,18 +16,11 @@ error[E0311]: the parameter type `T` may not live long enough
2316
--> $DIR/async-generics-and-bounds.rs:12:5
2417
|
2518
LL | async fn foo(&self) -> &(T, U) where T: Debug + Sized, U: Hash;
26-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
19+
| ^^^^^^^^^^^^^-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
20+
| | |
21+
| | the parameter type `T` must be valid for the anonymous lifetime as defined here...
22+
| ...so that the reference type `&(T, U)` does not outlive the data it points at
2723
|
28-
note: the parameter type `T` must be valid for the anonymous lifetime as defined here...
29-
--> $DIR/async-generics-and-bounds.rs:12:18
30-
|
31-
LL | async fn foo(&self) -> &(T, U) where T: Debug + Sized, U: Hash;
32-
| ^
33-
note: ...so that the reference type `&(T, U)` does not outlive the data it points at
34-
--> $DIR/async-generics-and-bounds.rs:12:5
35-
|
36-
LL | async fn foo(&self) -> &(T, U) where T: Debug + Sized, U: Hash;
37-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
3824
help: consider adding an explicit lifetime bound...
3925
|
4026
LL | async fn foo<'a>(&'a self) -> &'a (T, U) where T: Debug + Sized, U: Hash, T: 'a;

‎tests/ui/async-await/in-trait/async-generics.stderr‎

Lines changed: 8 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -2,18 +2,11 @@ error[E0311]: the parameter type `U` may not live long enough
22
--> $DIR/async-generics.rs:9:5
33
|
44
LL | async fn foo(&self) -> &(T, U);
5-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
5+
| ^^^^^^^^^^^^^-^^^^^^^^^^^^^^^^^
6+
| | |
7+
| | the parameter type `U` must be valid for the anonymous lifetime as defined here...
8+
| ...so that the reference type `&(T, U)` does not outlive the data it points at
69
|
7-
note: the parameter type `U` must be valid for the anonymous lifetime as defined here...
8-
--> $DIR/async-generics.rs:9:18
9-
|
10-
LL | async fn foo(&self) -> &(T, U);
11-
| ^
12-
note: ...so that the reference type `&(T, U)` does not outlive the data it points at
13-
--> $DIR/async-generics.rs:9:5
14-
|
15-
LL | async fn foo(&self) -> &(T, U);
16-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1710
help: consider adding an explicit lifetime bound...
1811
|
1912
LL | async fn foo<'a>(&'a self) -> &'a (T, U) where U: 'a;
@@ -23,18 +16,11 @@ error[E0311]: the parameter type `T` may not live long enough
2316
--> $DIR/async-generics.rs:9:5
2417
|
2518
LL | async fn foo(&self) -> &(T, U);
26-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
19+
| ^^^^^^^^^^^^^-^^^^^^^^^^^^^^^^^
20+
| | |
21+
| | the parameter type `T` must be valid for the anonymous lifetime as defined here...
22+
| ...so that the reference type `&(T, U)` does not outlive the data it points at
2723
|
28-
note: the parameter type `T` must be valid for the anonymous lifetime as defined here...
29-
--> $DIR/async-generics.rs:9:18
30-
|
31-
LL | async fn foo(&self) -> &(T, U);
32-
| ^
33-
note: ...so that the reference type `&(T, U)` does not outlive the data it points at
34-
--> $DIR/async-generics.rs:9:5
35-
|
36-
LL | async fn foo(&self) -> &(T, U);
37-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
3824
help: consider adding an explicit lifetime bound...
3925
|
4026
LL | async fn foo<'a>(&'a self) -> &'a (T, U) where T: 'a;

‎tests/ui/builtin-superkinds/builtin-superkinds-self-type.stderr‎

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,10 @@ error[E0310]: the parameter type `T` may not live long enough
22
--> $DIR/builtin-superkinds-self-type.rs:10:16
33
|
44
LL | impl <T: Sync> Foo for T { }
5-
| ^^^ ...so that the type `T` will meet its required lifetime bounds...
5+
| ^^^
6+
| |
7+
| the parameter type `T` must be valid for the static lifetime...
8+
| ...so that the type `T` will meet its required lifetime bounds...
69
|
710
note: ...that is required by this bound
811
--> $DIR/builtin-superkinds-self-type.rs:6:24

‎tests/ui/coercion/issue-53475.stderr‎

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,10 @@ error[E0310]: the parameter type `T` may not live long enough
22
--> $DIR/issue-53475.rs:10:1
33
|
44
LL | impl<T> CoerceUnsized<Foo<dyn Any>> for Foo<T> {}
5-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ...so that the type `T` will meet its required lifetime bounds
5+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
6+
| |
7+
| the parameter type `T` must be valid for the static lifetime...
8+
| ...so that the type `T` will meet its required lifetime bounds
69
|
710
help: consider adding an explicit lifetime bound...
811
|

‎tests/ui/consts/issue-102117.stderr‎

Lines changed: 8 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,10 @@ error[E0310]: the parameter type `T` may not live long enough
22
--> $DIR/issue-102117.rs:19:26
33
|
44
LL | type_id: TypeId::of::<T>(),
5-
| ^^^^^^^^^^^^^^^^^ ...so that the type `T` will meet its required lifetime bounds
5+
| ^^^^^^^^^^^^^^^^^
6+
| |
7+
| the parameter type `T` must be valid for the static lifetime...
8+
| ...so that the type `T` will meet its required lifetime bounds
69
|
710
help: consider adding an explicit lifetime bound...
811
|
@@ -13,7 +16,10 @@ error[E0310]: the parameter type `T` may not live long enough
1316
--> $DIR/issue-102117.rs:19:26
1417
|
1518
LL | type_id: TypeId::of::<T>(),
16-
| ^^^^^^^^^^^^^^^^^ ...so that the type `T` will meet its required lifetime bounds
19+
| ^^^^^^^^^^^^^^^^^
20+
| |
21+
| the parameter type `T` must be valid for the static lifetime...
22+
| ...so that the type `T` will meet its required lifetime bounds
1723
|
1824
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
1925
help: consider adding an explicit lifetime bound...

‎tests/ui/error-codes/E0311.stderr‎

Lines changed: 3 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1,19 +1,11 @@
11
error[E0311]: the parameter type `T` may not live long enough
22
--> $DIR/E0311.rs:6:5
33
|
4-
LL | with_restriction::<T>(x)
5-
| ^^^^^^^^^^^^^^^^^^^^^
6-
|
7-
note: the parameter type `T` must be valid for the anonymous lifetime defined here...
8-
--> $DIR/E0311.rs:5:25
9-
|
104
LL | fn no_restriction<T>(x: &()) -> &() {
11-
| ^^^
12-
note: ...so that the type `T` will meet its required lifetime bounds
13-
--> $DIR/E0311.rs:6:5
14-
|
5+
| --- the parameter type `T` must be valid for the anonymous lifetime defined here...
156
LL | with_restriction::<T>(x)
16-
| ^^^^^^^^^^^^^^^^^^^^^
7+
| ^^^^^^^^^^^^^^^^^^^^^ ...so that the type `T` will meet its required lifetime bounds
8+
|
179
help: consider adding an explicit lifetime bound...
1810
|
1911
LL | fn no_restriction<'a, T: 'a>(x: &'a ()) -> &'a () {

‎tests/ui/fn/implied-bounds-unnorm-associated-type-5.stderr‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,9 @@ error[E0309]: the parameter type `T` may not live long enough
22
--> $DIR/implied-bounds-unnorm-associated-type-5.rs:6:13
33
|
44
LL | impl<'a, T> Trait<'a> for T {
5-
| ^^^^^^^^^ ...so that the type `T` will meet its required lifetime bounds...
5+
| -- ^^^^^^^^^ ...so that the type `T` will meet its required lifetime bounds...
6+
| |
7+
| the parameter type `T` must be valid for the lifetime `'a` as defined here...
68
|
79
note: ...that is required by this bound
810
--> $DIR/implied-bounds-unnorm-associated-type-5.rs:1:18

‎tests/ui/generic-associated-types/issue-84931.stderr‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,9 @@ error[E0309]: the parameter type `T` may not live long enough
22
--> $DIR/issue-84931.rs:14:21
33
|
44
LL | type Item<'a> = &'a mut T;
5-
| ^^^^^^^^^ ...so that the reference type `&'a mut T` does not outlive the data it points at
5+
| -- ^^^^^^^^^ ...so that the reference type `&'a mut T` does not outlive the data it points at
6+
| |
7+
| the parameter type `T` must be valid for the lifetime `'a` as defined here...
68
|
79
help: consider adding an explicit lifetime bound...
810
|

0 commit comments

Comments
 (0)