diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-10-14 06:04:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-14 06:04:29 +0200 |
| commit | 4139018cfb8be617ddda263a248aa6e94426dbf8 (patch) | |
| tree | 2edd707ebe38c37efa330ecb5153c101788490a6 /compiler/rustc_middle/src | |
| parent | eb060f65077c179594f21f32e4f261d48fb522a9 (diff) | |
| parent | bc4366b099e7a4d115650dcfec4aeeb62bfc3c54 (diff) | |
| download | rust-4139018cfb8be617ddda263a248aa6e94426dbf8.tar.gz rust-4139018cfb8be617ddda263a248aa6e94426dbf8.zip | |
Rollup merge of #131593 - RalfJung:alloc-no-clone, r=saethlin
miri: avoid cloning AllocExtra We shouldn't be cloning Miri allocations, so make `AllocExtra::clone` panic instead, and adjust the one case where we *do* clone (the leak check) to avoid cloning. This is in preparation for https://github.com/rust-lang/miri/pull/3966 where I am adding something to `AllocExtra` that cannot (easily) be cloned. r? ``@saethlin``
Diffstat (limited to 'compiler/rustc_middle/src')
0 files changed, 0 insertions, 0 deletions