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

Remove duplicated peel_middle_ty_refs #13115

Merged
merged 1 commit into from
Aug 3, 2024
Merged

Conversation

tesuji
Copy link
Contributor

@tesuji tesuji commented Jul 17, 2024

TODO: Should we move ty::peel_mid_ty_refs_is_mutable to super module too?

changelog: none

TODO: Should we move `ty::peel_mid_ty_refs_is_mutable` to super module too?
@rustbot
Copy link
Collaborator

rustbot commented Jul 17, 2024

r? @dswij

rustbot has assigned @dswij.
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 rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Jul 17, 2024
Copy link
Member

@dswij dswij left a comment

Choose a reason for hiding this comment

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

Thank you!

@dswij
Copy link
Member

dswij commented Aug 3, 2024

@bors r+

@bors
Copy link
Contributor

bors commented Aug 3, 2024

📌 Commit a5fd2c9 has been approved by dswij

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Aug 3, 2024

⌛ Testing commit a5fd2c9 with merge 1ea827f...

@bors
Copy link
Contributor

bors commented Aug 3, 2024

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: dswij
Pushing 1ea827f to master...

@bors bors merged commit 1ea827f into rust-lang:master Aug 3, 2024
8 checks passed
@tesuji tesuji deleted the rm-dup-peels branch August 3, 2024 12:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants