eval_context.rs::unwind_to_block records the exact current Body.span, including before unwind termination. It does not use the preamble definition span or an arbitrary statement span. Shared backtrace preparation interns this compiler span; queries may not append isolated span identities at runtime.
def
Miri.Input.CompilerBodySpan.get
{P L E : Type}
(p : CompilerProviders.Prepared)
(frame : Interpreter.Frame P L E)
:
Equations
- One or more equations did not get rendered due to their size.