Skip to content

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

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

Commits

Commits on Nov 18, 2024