Skip to content

interpret: do not ICE when a promoted fails with OOM#133164

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:promoted-oom
Nov 19, 2024
Merged

interpret: do not ICE when a promoted fails with OOM#133164
bors merged 1 commit intorust-lang:masterfrom
RalfJung:promoted-oom

Commits

Commits on Nov 18, 2024