diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2024-04-17 00:00:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-17 00:00:24 +0200 |
| commit | 51cfa95668c8a0ce5c87bd5fe649d577a040cce7 (patch) | |
| tree | 10832ecbb349f38659db87f336e723e17c1df8c1 /compiler/rustc_parse/src/errors.rs | |
| parent | 4764dceb0f6f9a51c389c9b318cc1e189c89e3da (diff) | |
| parent | 8606efa5d24b1aeefa14b285920a0291953149fa (diff) | |
| download | rust-51cfa95668c8a0ce5c87bd5fe649d577a040cce7.tar.gz rust-51cfa95668c8a0ce5c87bd5fe649d577a040cce7.zip | |
Rollup merge of #124013 - RalfJung:box-to-raw, r=oli-obk
Box::into_raw: make Miri understand that this is a box-to-raw cast Turns out https://github.com/rust-lang/rust/pull/122647 went a bit too far in cleaning up `Box`... we still need a hack in `Box::into_raw`. The nicer fix would be to make Stacked Borrows not care about reference-to-raw-pointer casts, but it's unclear whether that will ever be possible without going to full Tree Borrows. Fixes https://github.com/rust-lang/miri/issues/3473.
Diffstat (limited to 'compiler/rustc_parse/src/errors.rs')
0 files changed, 0 insertions, 0 deletions