Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Do precise capturing arg validation in resolve #130414

Merged
merged 2 commits into from
Sep 16, 2024

Conversation

compiler-errors
Copy link
Member

Moves the validation of precise capturing args (use<T, N>) out of resolve_bound_vars and into rustc_resolve. This both simplifies the impl and fixes a bug when we have use<arg> where arg is one of the function args.

This also introduces new error codes specifically for precise capturing, to avoid reusing the other error codes which are not as accurate.

Fixes #130399

@rustbot
Copy link
Collaborator

rustbot commented Sep 15, 2024

r? @estebank

rustbot has assigned @estebank.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot
Copy link
Collaborator

rustbot commented Sep 15, 2024

Some changes occurred in diagnostic error codes

cc @GuillaumeGomez

@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 Sep 15, 2024
@rust-log-analyzer

This comment has been minimized.

@compiler-errors compiler-errors force-pushed the precise-capturing-arg-valid branch from a9617b4 to 10af205 Compare September 15, 2024 21:50
Copy link
Member

@jieyouxu jieyouxu left a comment

Choose a reason for hiding this comment

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

Thanks, these diagnostics look much more helpful 👍

compiler/rustc_error_codes/src/error_codes/E0800.md Outdated Show resolved Hide resolved
@jieyouxu jieyouxu assigned jieyouxu and unassigned estebank Sep 16, 2024
@jieyouxu jieyouxu added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Sep 16, 2024
@jieyouxu
Copy link
Member

Please r=me after fixing the typo in error code docs since I think those are user-facing.

@compiler-errors compiler-errors force-pushed the precise-capturing-arg-valid branch from 10af205 to ae8b460 Compare September 16, 2024 14:56
@compiler-errors
Copy link
Member Author

@bors r=jieyouxu

@bors
Copy link
Contributor

bors commented Sep 16, 2024

📌 Commit ae8b460 has been approved by jieyouxu

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-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Sep 16, 2024
@bors
Copy link
Contributor

bors commented Sep 16, 2024

⌛ Testing commit ae8b460 with merge 3a22be3...

@bors
Copy link
Contributor

bors commented Sep 16, 2024

☀️ Test successful - checks-actions
Approved by: jieyouxu
Pushing 3a22be3 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Sep 16, 2024
@bors bors merged commit 3a22be3 into rust-lang:master Sep 16, 2024
7 checks passed
@rustbot rustbot added this to the 1.83.0 milestone Sep 16, 2024
@rust-timer
Copy link
Collaborator

Finished benchmarking commit (3a22be3): comparison URL.

Overall result: no relevant changes - no action needed

@rustbot label: -perf-regression

Instruction count

This benchmark run did not return any relevant results for this metric.

Max RSS (memory usage)

This benchmark run did not return any relevant results for this metric.

Cycles

This benchmark run did not return any relevant results for this metric.

Binary size

This benchmark run did not return any relevant results for this metric.

Bootstrap: 759.454s -> 758.941s (-0.07%)
Artifact size: 341.32 MiB -> 341.31 MiB (-0.00%)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merged-by-bors This PR was explicitly merged by bors. 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
Development

Successfully merging this pull request may close these issues.

ICE: parameter should have been resolved
7 participants