Direct intrinsics.rs type_name/caller_location ConstValue queries. Source allocation identities are materialized by the actual constant root-pointer pipeline, with supplied destination layout checked at the original event.

def Miri.Input.CompilerValueConstants.typeName (p : CompilerProviders.Prepared) (ty : MIR.TyId) : Except String (MIR.TyId × MIR.ConstValue)

Equations

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

def Miri.Input.CompilerValueConstants.callerLocationReference (p : CompilerProviders.Prepared) (span : MIR.SpanRef) : Except String (MIR.TyId × MIR.ConstValue)

Equations

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

def Miri.Input.CompilerValueConstants.callerLocation (p : CompilerProviders.Prepared) (span : MIR.SpanRef) : Except String (MIR.TyId × MIR.ConstValue)

Retain the scan's demand-local error order, but build its span index once. Each row starts from the same base: missing spans cannot pollute later rows. The immutable ConstValue is still materialized as a fresh runtime global by EvalCallerLocationConstruction; no guest pointer is cached here.

Equations

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

def Miri.Input.CompilerValueConstants.eval {K U Other : Type} (p : CompilerProviders.Prepared) (functions : Interpreter.FunctionPointers.Hooks K U Other) (arithmetic : Memory.PointerArithmetic) (externStatic : MIR.DefId → Interpreter.MachineHooks.M K U (Memory.Pointer Memory.Provenance)) (classifyError : Interpreter.ConstantError → Interpreter.StepError) (checkKnown : Interpreter.LocalLayout → Interpreter.LocalLayout → Interpreter.MachineHooks.M K U Bool) (query : Except String (MIR.TyId × MIR.ConstValue)) (destination : Interpreter.LocalLayout) : Interpreter.MachineHooks.M K U (Interpreter.OpTy Memory.Provenance)

Equations

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

def Miri.Input.CompilerValueConstants.typeNameHook {K U Other : Type} {C : Sort u_1} (p : CompilerProviders.Prepared) (functions : Interpreter.FunctionPointers.Hooks K U Other) (arithmetic : Memory.PointerArithmetic) (externStatic : MIR.DefId → Interpreter.MachineHooks.M K U (Memory.Pointer Memory.Provenance)) (classifyError : Interpreter.ConstantError → Interpreter.StepError) (checkKnown : Interpreter.LocalLayout → Interpreter.LocalLayout → Interpreter.MachineHooks.M K U Bool) : C → (ty : MIR.TyId) → (destination : Interpreter.LocalLayout) → Interpreter.MachineHooks.M K U (Interpreter.OpTy Memory.Provenance)

Equations

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

def Miri.Input.CompilerValueConstants.callerLocationHook {K U Other : Type} {C : Sort u_1} (p : CompilerProviders.Prepared) (functions : Interpreter.FunctionPointers.Hooks K U Other) (arithmetic : Memory.PointerArithmetic) (externStatic : MIR.DefId → Interpreter.MachineHooks.M K U (Memory.Pointer Memory.Provenance)) (classifyError : Interpreter.ConstantError → Interpreter.StepError) (checkKnown : Interpreter.LocalLayout → Interpreter.LocalLayout → Interpreter.MachineHooks.M K U Bool) (currentLocation : Interpreter.MachineHooks.M K U MIR.SpanRef) : C → (destination : Interpreter.LocalLayout) → Interpreter.MachineHooks.M K U (Interpreter.OpTy Memory.Provenance)

Equations

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