Skip to content

[tiny] Tweak "use of Deref" suggestion message#153896

Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
estebank:deref-backticks
Mar 15, 2026
Merged

[tiny] Tweak "use of Deref" suggestion message#153896
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
estebank:deref-backticks

Conversation

@estebank
Copy link
Copy Markdown
Contributor

Surround trait name with backticks.

Surround trait name with backticks.
@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 15, 2026
@rustbot
Copy link
Copy Markdown
Collaborator

rustbot commented Mar 15, 2026

r? @nnethercote

rustbot has assigned @nnethercote.
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

Why was this reviewer chosen?

The reviewer was selected based on:

  • Owners of files modified in this PR: compiler
  • compiler expanded to 69 candidates
  • Random selection from 15 candidates

@Kivooeo
Copy link
Copy Markdown
Member

Kivooeo commented Mar 15, 2026

@bors r+ rollup

@rust-bors
Copy link
Copy Markdown
Contributor

rust-bors Bot commented Mar 15, 2026

📌 Commit 8e22bcd has been approved by Kivooeo

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 15, 2026
@Kivooeo Kivooeo assigned Kivooeo and unassigned nnethercote Mar 15, 2026
rust-bors Bot pushed a commit that referenced this pull request Mar 15, 2026
Rollup of 2 pull requests

Successful merges:

 - #153909 (miri subtree update)
 - #153896 ([tiny] Tweak "use of `Deref`" suggestion message)
@rust-bors rust-bors Bot merged commit 627f513 into rust-lang:main Mar 15, 2026
11 checks passed
@rustbot rustbot added this to the 1.96.0 milestone Mar 15, 2026
github-actions Bot pushed a commit to rust-lang/miri that referenced this pull request Mar 16, 2026
Rollup of 2 pull requests

Successful merges:

 - rust-lang/rust#153909 (miri subtree update)
 - rust-lang/rust#153896 ([tiny] Tweak "use of `Deref`" suggestion message)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

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

Development

Successfully merging this pull request may close these issues.

4 participants