Auto merge of #133164 - RalfJung:promoted-oom, r=jieyouxu · RalfJung/miri@87ed39a · GitHub

Commit

Auto merge of #133164 - RalfJung:promoted-oom, r=jieyouxu

Browse files

interpret: do not ICE when a promoted fails with OOM

Fixes rust-lang/rust#130687

try-job: aarch64-apple
try-job: dist-x86_64-linux

Loading branch information

bors committed Nov 19, 2024

2 parents 8317628 + e8c42a8 commit 87ed39a