Avoid duplicated query modifier comments.#153428
Avoid duplicated query modifier comments.#153428nnethercote wants to merge 1 commit 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.
78c7d51 to
52b8040
Compare
This comment has been minimized.
This comment has been minimized.
|
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? |
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.
52b8040 to
dfb80a8
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. |
|
@Zalathar: I have removed the first and third commits involving query modifier names, because That just leaves the query modifier comment de-duplication. If there is contention over the wording of the comments, I'm happy to use your suggestions. I'm also happy if you want to just take this over and do it yourself. I just want the duplication gone :) |
There is currently some duplication.