Box::into_raw: make Miri understand that this is a box-to-raw cast#124013
Merged
bors merged 1 commit intorust-lang:masterfrom Apr 17, 2024
Merged
Box::into_raw: make Miri understand that this is a box-to-raw cast#124013bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
