Skip to content

Conversation

RalfJung
Copy link
Member

Fixes #2737

@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Apr 18, 2024

📌 Commit 59fdf8a has been approved by RalfJung

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Apr 18, 2024

⌛ Testing commit 59fdf8a with merge c305e20...

@bors
Copy link
Contributor

bors commented Apr 18, 2024

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing c305e20 to master...

@bors bors merged commit c305e20 into rust-lang:master Apr 18, 2024
@RalfJung RalfJung deleted the drop branch April 18, 2024 21:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add test ensuring that drop terminator of no-drop type is a NOP

2 participants