tree 2edd707ebe38c37efa330ecb5153c101788490a6
parent eb060f65077c179594f21f32e4f261d48fb522a9
parent bc4366b099e7a4d115650dcfec4aeeb62bfc3c54
author Matthias Krüger <matthias.krueger@famsik.de> 1728878669 +0200
committer GitHub <noreply@github.com> 1728878669 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJnDJhNCRC1aQ7uu5UhlAAALpgQAGW24+nc+AwUCOF/glcHupJq
 DnuGz/lAa+ayxTPqa2HyEOUIa5inGwflRrYWpCKqPs2AC4EfW/jBcYh7WhWveCjm
 bCOglevszaIWr2ckrM3R1KRBlWLNhpvPCe3/P973INYbbTDMuiucXdQsteE7ElJy
 u41VpUMOy0tTyvje9z+/ACEsjBA2lkiQhPf+cURbeDLgpNYs/N2oZuWHgkgybr9K
 GtObAM8KExv33mKu40JeSTct5RTz1rt3V80Fo7xbn3bXvQaaXnt8tZKNFrfjkjm7
 M/MFdFhbZCRamXJUTKrRWWUonleaBq14ZlMotqX7/lr0FXwcmpmuAbJ303RLC4iL
 bZ1ULb1WNM4Vy+23YDuxvJsvBJKpJLAKkKNc3TqPW9y2/wpZet2GmgwoF+iTrLPk
 pRjR02VoOwS/bZGKp0D8+X9RZu57cJ07XRRpFLO8UnNWJsRKpzFGpRckP1XwC/3z
 tu6UeQfvbJ2OHDf3vICoUsbfuY48zTTtB94cgZHHYSfy+RB2Ke3YsORYS52l/VKE
 Rokd1WuEvTuwzJ3rd2DxufntgFikcu4LcsyiXTIViVKSjDOuN7IeH612RtrrE+CM
 QMoXR92Wj35nWvc4pSeimqlYQ7/cUHPQwsed1ekbs7B3Xu1gejsbAiM2UFQEDVJ5
 stzDtFeHccvxN/iIRk9d
 =LVBh
 -----END PGP SIGNATURE-----
 

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``