Actual source panic query closure. Byte catalog attachment precedes runtime allocation; each panic still samples its salt and adjusts the actual global root before metadata/layout construction and lang-item lookup.
def
Miri.Input.EvalPanicMachine.queries
{K U O C : Type}
(program : LoweredProgram)
(runtime : RuntimeMetadata)
(bytes : CompilerGlobalBytes.Prepared)
(functions : Interpreter.FunctionPointers.Hooks K (Interpreter.ValidityMachine.UserState U) O)
(access : Interpreter.ValidityMachine.Access K U)
[DecidableEq K]
:
Equations
- One or more equations did not get rendered due to their size.