Avoid duplicated query modifier comments.#153428
Avoid duplicated query modifier comments.#153428nnethercote wants to merge 3 commits intorust-lang:mainfrom
Conversation
|
r? @JohnTitor rustbot has assigned @JohnTitor. Use Why was this reviewer chosen?The reviewer was selected based on:
|
|
r? @Zalathar |
|
|
1876e12 to
cf24b23
Compare
cf24b23 to
e79b2a1
Compare
This comment has been minimized.
This comment has been minimized.
e79b2a1 to
78c7d51
Compare
This comment has been minimized.
This comment has been minimized.
|
I rebased. |
|
Regarding the |
This comment has been minimized.
This comment has been minimized.
Because "delayed bug" is the correct term used everywhere else, e.g. `Level::DelayedBug`, `DiagCtxtHandle::delayed_bug`.
By removing the ones in `compiler/rustc_middle/src/queries.rs`, and making `compiler/rustc_middle/src/query/modifiers.rs` the single source of truth.
To `cache_on_disk_if` to match the query modifier name.
78c7d51 to
52b8040
Compare
|
This PR was rebased onto a different main commit. Here's a range-diff highlighting what actually changed. Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers. |
|
I rebased. |
|
@Zalathar: any thoughts? |
|
I’ve spent hours trying to review this, but I keep getting discouraged by how much energy it would take to argue against the contentious parts. |
|
Huh... I thought this would be uncontroversial. Can you indicate which commits you think are contentious? |
There is currently some duplication.