Tree Borrows: first apply transition, then check protector with new 'initialized'

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation

Apache License 2.0

4.55k stars 343 forks source link

Closed RalfJung closed 6 months ago

RalfJung commented 6 months ago

@bors r+

bors commented 6 months ago

:pushpin: Commit dc1709a49b9da9b221602ec31ceb846ae5227565 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 6 months ago

:hourglass: Testing commit dc1709a49b9da9b221602ec31ceb846ae5227565 with merge 4723bed4c5fd80bef31f6ac1a80d1f910a5c291d...

bors commented 6 months ago

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

bors commented 6 months ago

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