search

rust-lang / miri

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

cotrol stacked borrows consistency check with its own feature flag #3434

Closed RalfJung closed 5 months ago

RalfJung commented 5 months ago

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

RalfJung commented 5 months ago

@bors r+

bors commented 5 months ago

:pushpin: Commit 4a055befbcbd460610944c53b61f1f5af56e358b has been approved by RalfJung

It is now in the queue for this repository.

bors commented 5 months ago

:hourglass: Testing commit 4a055befbcbd460610944c53b61f1f5af56e358b with merge 40772985052358d05139c18e8c78852893c81075...

bors commented 5 months ago

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