Skip to content

add_retag: ensure box-to-raw-ptr casts are preserved for Miri#122647

Merged
bors merged 2 commits into
rust-lang:masterfrom
RalfJung:box-to-raw-retag
Mar 18, 2024
Merged

add_retag: ensure box-to-raw-ptr casts are preserved for Miri#122647
bors merged 2 commits into
rust-lang:masterfrom
RalfJung:box-to-raw-retag

remove retag_box_to_raw, it is no longer needed

bcf8015
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs