Skip to content

Box::into_raw: make Miri understand that this is a box-to-raw cast#124013

Merged
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:box-to-raw
Apr 17, 2024
Merged

Box::into_raw: make Miri understand that this is a box-to-raw cast#124013
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:box-to-raw

Box::into_raw: make Miri understand that this is a box-to-raw cast

8606efa
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs