Skip to content

Silence some follow-up errors [3/x]#119818

Merged
bors merged 1 commit intorust-lang:masterfrom
oli-obk:even_more_follow_up_errors3
Jan 15, 2024
Merged

Silence some follow-up errors [3/x]#119818
bors merged 1 commit intorust-lang:masterfrom
oli-obk:even_more_follow_up_errors3

Conversation

@oli-obk
Copy link
Contributor

@oli-obk oli-obk commented Jan 10, 2024 •
edited
Loading

this is one piece of the requested cleanups from #117449

Keep error types around, even in obligations.

These help silence follow-up errors, as we now figure out that some types (most notably inference variables) are equal to an error type.

But it also allows figuring out more types in the presence of errors, possibly causing more errors.

@rustbot
Copy link
Collaborator

rustbot commented Jan 10, 2024

r? @compiler-errors

(rustbot has picked a reviewer for you, use r? to override)

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Jan 10, 2024
compiler-errors
compiler-errors reviewed Jan 10, 2024
View reviewed changes
tests/ui/impl-trait/issue-72911.rs Outdated
fn lint_files() -> impl Iterator<Item = foo::MissingItem> {
//~^ ERROR: failed to resolve
unimplemented!()
std::iter::empty()
Copy link
Contributor

@compiler-errors compiler-errors Jan 10, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

why did you change this test?

Copy link
Contributor Author

@oli-obk oli-obk Jan 10, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

because it otherwise emits a "(): Iterator does not hold" error

Copy link
Contributor

@compiler-errors compiler-errors Jan 10, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

So this PR doesn't end up silencing errors, but also introducing new errors in some cases? 🤔 I think it may be important to note that.

Copy link
Contributor Author

@oli-obk oli-obk Jan 11, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I reverted the change to show the diagnostic change

compiler-errors
compiler-errors reviewed Jan 10, 2024
View reviewed changes
compiler/rustc_infer/src/infer/opaque_types.rs

if let ty::ClauseKind::Projection(projection) = predicate.kind().skip_binder() {
if projection.term.references_error() {
// No point on adding any obligations since there's a type error involved.
Copy link
Contributor

@compiler-errors compiler-errors Jan 10, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can you point me to the PR that added this originally?

Copy link
Contributor Author

@oli-obk oli-obk Jan 10, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That was #64746

@oli-obk oli-obk force-pushed the even_more_follow_up_errors3 branch from d2a021f to 17bc6ca Compare January 11, 2024 09:14
@rust-log-analyzer

This comment has been minimized.

Sign in to view
@oli-obk
Keep error types around, even in obligations.
fb44c84 
These help silence follow up errors
@oli-obk oli-obk force-pushed the even_more_follow_up_errors3 branch from 17bc6ca to fb44c84 Compare January 11, 2024 09:52
@compiler-errors
Copy link
Contributor

compiler-errors commented Jan 14, 2024

@bors r+

@bors
Copy link
Collaborator

bors commented Jan 14, 2024

📌 Commit fb44c84 has been approved by compiler-errors

It is now in the queue for this repository.

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Jan 14, 2024
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Jan 15, 2024
@matthiaskrgr
Rollup merge of rust-lang#119818 - oli-obk:even_more_follow_up_errors…
f280ab8 
…3, r=compiler-errors

Silence some follow-up errors [3/x]

this is one piece of the requested cleanups from rust-lang#117449

Keep error types around, even in obligations.

These help silence follow-up errors, as we now figure out that some types (most notably inference variables) are equal to an error type.

But it also allows figuring out more types in the presence of errors, possibly causing more errors.
@matthiaskrgr matthiaskrgr mentioned this pull request Jan 15, 2024
Closed
bors added a commit to rust-lang-ci/rust that referenced this pull request Jan 15, 2024
@bors
Auto merge of rust-lang#119981 - matthiaskrgr:rollup-v82kpkl, r=matth…
6757779 
…iaskrgr

Rollup of 7 pull requests

Successful merges:

 - rust-lang#119508 (coverage: Simplify building the coverage graph with `CoverageSuccessors`)
 - rust-lang#119818 (Silence some follow-up errors [3/x])
 - rust-lang#119870 (std: Doc blocking behavior of LazyLock)
 - rust-lang#119963 (Fix `allow_internal_unstable` for `(min_)specialization`)
 - rust-lang#119968 (Remove unused/unnecessary features)
 - rust-lang#119971 (Use `zip_eq` to enforce that things being zipped have equal sizes)
 - rust-lang#119974 (Minor `trimmed_def_paths` improvements)

r? `@ghost`
`@rustbot` modify labels: rollup
@matthiaskrgr matthiaskrgr mentioned this pull request Jan 15, 2024
Merged
bors added a commit to rust-lang-ci/rust that referenced this pull request Jan 15, 2024
@bors
Auto merge of rust-lang#119987 - matthiaskrgr:rollup-f7lkx4w, r=matth…
6768cdc 
…iaskrgr

Rollup of 6 pull requests

Successful merges:

 - rust-lang#119818 (Silence some follow-up errors [3/x])
 - rust-lang#119870 (std: Doc blocking behavior of LazyLock)
 - rust-lang#119897 (`OutputTypeParameterMismatch` -> `SignatureMismatch`)
 - rust-lang#119963 (Fix `allow_internal_unstable` for `(min_)specialization`)
 - rust-lang#119971 (Use `zip_eq` to enforce that things being zipped have equal sizes)
 - rust-lang#119974 (Minor `trimmed_def_paths` improvements)

r? `@ghost`
`@rustbot` modify labels: rollup
bors added a commit to rust-lang-ci/rust that referenced this pull request Jan 15, 2024
@bors
Auto merge of rust-lang#119987 - matthiaskrgr:rollup-f7lkx4w, r=matth…
1d0a389 
…iaskrgr

Rollup of 6 pull requests

Successful merges:

 - rust-lang#119818 (Silence some follow-up errors [3/x])
 - rust-lang#119870 (std: Doc blocking behavior of LazyLock)
 - rust-lang#119897 (`OutputTypeParameterMismatch` -> `SignatureMismatch`)
 - rust-lang#119963 (Fix `allow_internal_unstable` for `(min_)specialization`)
 - rust-lang#119971 (Use `zip_eq` to enforce that things being zipped have equal sizes)
 - rust-lang#119974 (Minor `trimmed_def_paths` improvements)

r? `@ghost`
`@rustbot` modify labels: rollup
bors added a commit to rust-lang-ci/rust that referenced this pull request Jan 15, 2024
@bors
Auto merge of rust-lang#119987 - matthiaskrgr:rollup-f7lkx4w, r=matth…
67e7b84 
…iaskrgr

Rollup of 6 pull requests

Successful merges:

 - rust-lang#119818 (Silence some follow-up errors [3/x])
 - rust-lang#119870 (std: Doc blocking behavior of LazyLock)
 - rust-lang#119897 (`OutputTypeParameterMismatch` -> `SignatureMismatch`)
 - rust-lang#119963 (Fix `allow_internal_unstable` for `(min_)specialization`)
 - rust-lang#119971 (Use `zip_eq` to enforce that things being zipped have equal sizes)
 - rust-lang#119974 (Minor `trimmed_def_paths` improvements)

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 73256c6 into rust-lang:master Jan 15, 2024
@rustbot rustbot added this to the 1.77.0 milestone Jan 15, 2024
rust-timer added a commit to rust-lang-ci/rust that referenced this pull request Jan 15, 2024
@rust-timer
Unrolled build for rust-lang#119818
f21c14e 
Rollup merge of rust-lang#119818 - oli-obk:even_more_follow_up_errors3, r=compiler-errors

Silence some follow-up errors [3/x]

this is one piece of the requested cleanups from rust-lang#117449

Keep error types around, even in obligations.

These help silence follow-up errors, as we now figure out that some types (most notably inference variables) are equal to an error type.

But it also allows figuring out more types in the presence of errors, possibly causing more errors.
@oli-obk oli-obk deleted the even_more_follow_up_errors3 branch January 16, 2024 08:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@estebank estebank estebank approved these changes

+1 more reviewer

@compiler-errors compiler-errors compiler-errors approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

@compiler-errors compiler-errors

Labels

S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Milestone

1.77.0

Development

Successfully merging this pull request may close these issues.

6 participants

@oli-obk @rustbot @rust-log-analyzer @compiler-errors @bors @estebank