There are a lot of issues surrounding doing this soundly, but this is what we should be doing. Related issues: #2361 ~~#3695~~ ~~#3555~~ ~~#9855~~ ~~#9854~~ There is also a large comment in `rust_stack_exhausted` that goes into more details about the trickiness of implementing this correctly.