Skip to content

Rename rustc_middle::lint::diag_lint_level into lint_level#153787

Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
GuillaumeGomez:rename-lint_level
Mar 13, 2026
Merged

Rename rustc_middle::lint::diag_lint_level into lint_level#153787
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
GuillaumeGomez:rename-lint_level

Conversation

@GuillaumeGomez
Copy link
Member

@GuillaumeGomez GuillaumeGomez commented Mar 12, 2026

Part of #153099.

Renaming back diag_lint_level into lint_level since the original function was completely replaced and removed.

r? @JonathanBrouwer

@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 Mar 12, 2026
@GuillaumeGomez GuillaumeGomez mentioned this pull request Mar 12, 2026
Open
3 tasks
Urgau
Urgau reviewed Mar 12, 2026
View reviewed changes
JonathanBrouwer
JonathanBrouwer approved these changes Mar 12, 2026
View reviewed changes
Copy link
Contributor

@JonathanBrouwer JonathanBrouwer left a comment •
edited by rustbot
Loading

Choose a reason for hiding this comment

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

r=me with green ci and if @Urgau is also happy

View changes since this review

@GuillaumeGomez
Copy link
Member Author

GuillaumeGomez commented Mar 12, 2026

Renamed into lint_level_base.

@JonathanBrouwer
Copy link
Contributor

JonathanBrouwer commented Mar 12, 2026

@bors r=JonathanBrouwer,Urgau

@rust-bors
Copy link
Contributor

rust-bors bot commented Mar 12, 2026

📌 Commit 862729e has been approved by JonathanBrouwer,Urgau

It is now in the queue for this repository.

@rust-bors rust-bors bot 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 Mar 12, 2026
@JonathanBrouwer JonathanBrouwer mentioned this pull request Mar 12, 2026
Merged
rust-bors bot pushed a commit that referenced this pull request Mar 12, 2026
@bors
Auto merge of #153791 - JonathanBrouwer:rollup-BMzX17I, r=JonathanBro…
4efe3dc 
…uwer

Rollup of 2 pull requests

Successful merges:

 - #153787 (Rename `rustc_middle::lint::diag_lint_level` into `lint_level`)
 - #153321 (Add high-priority ICEs to tests/crashes)
@rust-bors rust-bors bot merged commit 4c56778 into rust-lang:main Mar 13, 2026
11 checks passed
@rustbot rustbot added this to the 1.96.0 milestone Mar 13, 2026
@GuillaumeGomez GuillaumeGomez deleted the rename-lint_level branch March 13, 2026 11:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@Urgau Urgau Urgau approved these changes

@JonathanBrouwer JonathanBrouwer JonathanBrouwer approved these changes

Assignees

@JonathanBrouwer JonathanBrouwer

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.96.0

Development

Successfully merging this pull request may close these issues.

4 participants

@GuillaumeGomez @JonathanBrouwer @Urgau @rustbot