Skip to content

Commit 19e0ea4

Browse files
aliemjayaliemjay
committed
make type_flags(ReError) & HAS_ERROR 
1 parent a7e4de1 commit 19e0ea4

File tree

48 files changed

+140
-628
lines changed

Some content is hidden

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

48 files changed

+140
-628
lines changed

‎compiler/rustc_borrowck/src/region_infer/opaque_types.rs‎

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -434,10 +434,6 @@ fn check_opaque_type_parameter_valid(
434434
// Only check the parent generics, which will ignore any of the
435435
// duplicated lifetime args that come from reifying late-bounds.
436436
for (i, arg) in opaque_type_key.args.iter().take(parent_generics.count()).enumerate() {
437-
if let Err(guar) = arg.error_reported() {
438-
return Err(guar);
439-
}
440-
441437
let arg_is_param = match arg.unpack() {
442438
GenericArgKind::Type(ty) => matches!(ty.kind(), ty::Param(_)),
443439
GenericArgKind::Lifetime(lt) if is_ty_alias => {

‎compiler/rustc_middle/src/ty/region.rs‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -251,6 +251,7 @@ impl<'tcx> Region<'tcx> {
251251
}
252252
ty::ReError(_) => {
253253
flags = flags | TypeFlags::HAS_FREE_REGIONS;
254+
flags = flags | TypeFlags::HAS_ERROR;
254255
}
255256
}
256257

‎compiler/rustc_type_ir/src/flags.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -85,7 +85,7 @@ bitflags! {
8585
| TypeFlags::HAS_TY_INHERENT.bits()
8686
| TypeFlags::HAS_CT_PROJECTION.bits();
8787

88-
/// Is an error type/const reachable?
88+
/// Is an error type/lifetime/const reachable?
8989
const HAS_ERROR = 1 << 15;
9090

9191
/// Does this have any region that "appears free" in the type?

‎tests/ui/async-await/in-trait/return-not-existing-pair.rs‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,7 @@ trait MyTrait<'a, 'b, T> {
99
impl<'a, 'b, T, U> MyTrait<T> for U {
1010
//~^ ERROR: implicit elided lifetime not allowed here [E0726]
1111
async fn foo(_: T) -> (&'a U, &'b T) {}
12-
//~^ ERROR: method `foo` has a `&self` declaration in the trait, but not in the impl [E0186]
13-
//~| ERROR: mismatched types [E0308]
12+
//~^ ERROR: mismatched types [E0308]
1413
}
1514

1615
fn main() {}

‎tests/ui/async-await/in-trait/return-not-existing-pair.stderr‎

Lines changed: 3 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -15,15 +15,6 @@ error[E0412]: cannot find type `ConnImpl` in this scope
1515
LL | async fn foo(&'a self, key: &'b T) -> (&'a ConnImpl, &'b T);
1616
| ^^^^^^^^ not found in this scope
1717

18-
error[E0186]: method `foo` has a `&self` declaration in the trait, but not in the impl
19-
--> $DIR/return-not-existing-pair.rs:11:5
20-
|
21-
LL | async fn foo(&'a self, key: &'b T) -> (&'a ConnImpl, &'b T);
22-
| ------------------------------------------------------------ `&self` used in trait
23-
...
24-
LL | async fn foo(_: T) -> (&'a U, &'b T) {}
25-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `&self` in impl
26-
2718
error[E0308]: mismatched types
2819
--> $DIR/return-not-existing-pair.rs:11:42
2920
|
@@ -33,7 +24,7 @@ LL | async fn foo(_: T) -> (&'a U, &'b T) {}
3324
= note: expected tuple `(&'a U, &'b T)`
3425
found unit type `()`
3526

36-
error: aborting due to 4 previous errors
27+
error: aborting due to 3 previous errors
3728

38-
Some errors have detailed explanations: E0186, E0308, E0412, E0726.
39-
For more information about an error, try `rustc --explain E0186`.
29+
Some errors have detailed explanations: E0308, E0412, E0726.
30+
For more information about an error, try `rustc --explain E0308`.

‎tests/ui/async-await/in-trait/unconstrained-impl-region.rs‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -14,6 +14,7 @@ impl<'a> Actor for () {
1414
//~^ ERROR the lifetime parameter `'a` is not constrained by the impl trait, self type, or predicates
1515
type Message = &'a ();
1616
async fn on_mount(self, _: impl Inbox<&'a ()>) {}
17+
//~^ ERROR the trait bound `impl Inbox<&'a ()>: Inbox<&'a ()>` is not satisfied
1718
}
1819

1920
fn main() {}

‎tests/ui/async-await/in-trait/unconstrained-impl-region.stderr‎

Lines changed: 19 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,26 @@
1+
error[E0277]: the trait bound `impl Inbox<&'a ()>: Inbox<&'a ()>` is not satisfied
2+
--> $DIR/unconstrained-impl-region.rs:16:5
3+
|
4+
LL | async fn on_mount(self, _: impl Inbox<&'a ()>) {}
5+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Inbox<&'a ()>` is not implemented for `impl Inbox<&'a ()>`
6+
|
7+
note: required by a bound in `<() as Actor>::on_mount`
8+
--> $DIR/unconstrained-impl-region.rs:16:37
9+
|
10+
LL | async fn on_mount(self, _: impl Inbox<&'a ()>) {}
11+
| ^^^^^^^^^^^^^ required by this bound in `<() as Actor>::on_mount`
12+
help: consider further restricting this bound
13+
|
14+
LL | async fn on_mount(self, _: impl Inbox<&'a ()> + Inbox<&'a ()>) {}
15+
| +++++++++++++++
16+
117
error[E0207]: the lifetime parameter `'a` is not constrained by the impl trait, self type, or predicates
218
--> $DIR/unconstrained-impl-region.rs:13:6
319
|
420
LL | impl<'a> Actor for () {
521
| ^^ unconstrained lifetime parameter
622

7-
error: aborting due to 1 previous error
23+
error: aborting due to 2 previous errors
824

9-
For more information about this error, try `rustc --explain E0207`.
25+
Some errors have detailed explanations: E0207, E0277.
26+
For more information about an error, try `rustc --explain E0207`.

‎tests/ui/const-generics/late-bound-vars/late-bound-in-return-issue-77357.stderr‎

Lines changed: 1 addition & 42 deletions
Original file line numberDiff line numberDiff line change
@@ -4,46 +4,5 @@ error: cannot capture late-bound lifetime in constant
44
LL | fn bug<'a, T>() -> &'static dyn MyTrait<[(); { |x: &'a u32| { x }; 4 }]> {
55
| -- lifetime defined here ^^
66

7-
error: overly complex generic constant
8-
--> $DIR/late-bound-in-return-issue-77357.rs:9:46
9-
|
10-
LL | fn bug<'a, T>() -> &'static dyn MyTrait<[(); { |x: &'a u32| { x }; 4 }]> {
11-
| ^^^^^^^^^^^^^^^^^^^^^^^^^ blocks are not supported in generic constants
12-
|
13-
= help: consider moving this anonymous constant into a `const` function
14-
= note: this operation may be supported in the future
15-
16-
error[E0391]: cycle detected when evaluating type-level constant
17-
--> $DIR/late-bound-in-return-issue-77357.rs:9:46
18-
|
19-
LL | fn bug<'a, T>() -> &'static dyn MyTrait<[(); { |x: &'a u32| { x }; 4 }]> {
20-
| ^^^^^^^^^^^^^^^^^^^^^^^^^
21-
|
22-
note: ...which requires const-evaluating + checking `bug::{constant#0}`...
23-
--> $DIR/late-bound-in-return-issue-77357.rs:9:46
24-
|
25-
LL | fn bug<'a, T>() -> &'static dyn MyTrait<[(); { |x: &'a u32| { x }; 4 }]> {
26-
| ^^^^^^^^^^^^^^^^^^^^^^^^^
27-
note: ...which requires caching mir of `bug::{constant#0}` for CTFE...
28-
--> $DIR/late-bound-in-return-issue-77357.rs:9:46
29-
|
30-
LL | fn bug<'a, T>() -> &'static dyn MyTrait<[(); { |x: &'a u32| { x }; 4 }]> {
31-
| ^^^^^^^^^^^^^^^^^^^^^^^^^
32-
note: ...which requires elaborating drops for `bug::{constant#0}`...
33-
--> $DIR/late-bound-in-return-issue-77357.rs:9:46
34-
|
35-
LL | fn bug<'a, T>() -> &'static dyn MyTrait<[(); { |x: &'a u32| { x }; 4 }]> {
36-
| ^^^^^^^^^^^^^^^^^^^^^^^^^
37-
note: ...which requires borrow-checking `bug::{constant#0}`...
38-
--> $DIR/late-bound-in-return-issue-77357.rs:9:46
39-
|
40-
LL | fn bug<'a, T>() -> &'static dyn MyTrait<[(); { |x: &'a u32| { x }; 4 }]> {
41-
| ^^^^^^^^^^^^^^^^^^^^^^^^^
42-
= note: ...which requires normalizing `Binder { value: ConstEvaluatable(UnevaluatedConst { def: DefId(0:8 ~ late_bound_in_return_issue_77357[9394]::bug::{constant#0}), args: [T/#0] }: usize), bound_vars: [] }`...
43-
= note: ...which again requires evaluating type-level constant, completing the cycle
44-
= note: cycle used when normalizing `&dyn MyTrait<[(); { |x: &'a u32| { x }; 4 }]>`
45-
= note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
46-
47-
error: aborting due to 3 previous errors
7+
error: aborting due to 1 previous error
488

49-
For more information about this error, try `rustc --explain E0391`.

‎tests/ui/error-codes/E0637.rs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@ fn underscore_lifetime<'_>(str1: &'_ str, str2: &'_ str) -> &'_ str {
22
//~^ ERROR: `'_` cannot be used here [E0637]
33
//~| ERROR: missing lifetime specifier
44
if str1.len() > str2.len() {
5-
str1 //~ ERROR: lifetime may not live long enough
5+
str1
66
} else {
7-
str2 //~ ERROR: lifetime may not live long enough
7+
str2
88
}
99
}
1010

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

Lines changed: 1 addition & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -27,25 +27,7 @@ help: consider introducing a higher-ranked lifetime here
2727
LL | T: for<'a> Into<&'a u32>,
2828
| +++++++ ++
2929

30-
error: lifetime may not live long enough
31-
--> $DIR/E0637.rs:5:9
32-
|
33-
LL | fn underscore_lifetime<'_>(str1: &'_ str, str2: &'_ str) -> &'_ str {
34-
| - let's call the lifetime of this reference `'1`
35-
...
36-
LL | str1
37-
| ^^^^ returning this value requires that `'1` must outlive `'static`
38-
39-
error: lifetime may not live long enough
40-
--> $DIR/E0637.rs:7:9
41-
|
42-
LL | fn underscore_lifetime<'_>(str1: &'_ str, str2: &'_ str) -> &'_ str {
43-
| - let's call the lifetime of this reference `'2`
44-
...
45-
LL | str2
46-
| ^^^^ returning this value requires that `'2` must outlive `'static`
47-
48-
error: aborting due to 5 previous errors
30+
error: aborting due to 3 previous errors
4931

5032
Some errors have detailed explanations: E0106, E0637.
5133
For more information about an error, try `rustc --explain E0106`.

0 commit comments

Comments
 (0)