eval.rs creates InterpCx with root_span=DUMMY_SP. The compiler exports that actual span; it is interned into the same append-only table as MIR spans.

def Miri.Input.CompilerContextSpan.prepare (program : LoweredProgram) : Except String LoweredProgram

Equations

• One or more equations did not get rendered due to their size.

def Miri.Input.CompilerContextSpan.rootSpan (program : LoweredProgram) : Except String MIR.SpanRef

Equations

• One or more equations did not get rendered due to their size.