Skip to content

Conversation

@WaffleLapkin
Copy link
Member

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Sep 13, 2023
@Veykril
Copy link
Member

Veykril commented Sep 14, 2023

Thanks!
@bors r+

@bors
Copy link
Contributor

bors commented Sep 14, 2023

📌 Commit a219dbd has been approved by Veykril

It is now in the queue for this repository.

@Veykril Veykril changed the title Remove most of the duplication from Semantics{,Impl} via deref internal: Remove most of the duplication from Semantics{,Impl} via deref Sep 14, 2023
@bors
Copy link
Contributor

bors commented Sep 14, 2023

⌛ Testing commit a219dbd with merge 47c51b7...

@bors
Copy link
Contributor

bors commented Sep 14, 2023

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing 47c51b7 to master...

@bors bors merged commit 47c51b7 into rust-lang:master Sep 14, 2023
@WaffleLapkin WaffleLapkin deleted the undup_sema branch September 14, 2023 08:22
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