search

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation
Apache License 2.0
4.18k stars 323 forks source link

add test for Drop terminator on non-drop type #3483

Closed RalfJung closed 3 months ago

RalfJung commented 3 months ago

Fixes https://github.com/rust-lang/miri/issues/2737

RalfJung commented 3 months ago

@bors r+

bors commented 3 months ago

:pushpin: Commit 59fdf8ac7228478089ac6e8df2208adc5a61165c has been approved by RalfJung

It is now in the queue for this repository.

bors commented 3 months ago

:hourglass: Testing commit 59fdf8ac7228478089ac6e8df2208adc5a61165c with merge c305e20ce2e622c87f6050d5ed32666abc7d8109...

bors commented 3 months ago

:sunny: Test successful - checks-actions Approved by: RalfJung Pushing c305e20ce2e622c87f6050d5ed32666abc7d8109 to master...