Pinned validity.rs:725–811 CTFE recursion lookup. This performs the real zero-size pointer identity query and reads canonical TCX globals independently of local materialization. Nested-static predicates are exact compiler evidence, never guessed from names, initializer bytes or whether a local copy exists.
def
Miri.Input.CompilerCtfeValidity.lookup
{K U : Type}
{C : Sort u_1}
(p : CompilerProviders.Prepared)
(image : AllocationImage.Imported)
(pointers : Interpreter.PointerMachine.Hooks K (Interpreter.ValidityMachine.Control U))
:
C →
(place : Interpreter.MPlaceTy Memory.Provenance) →
(_mode : Memory.Validity.CtfeMode) → Interpreter.ValidityMachine.M K U Memory.Validity.PointerAllocLookup
Source ptr_try_get_alloc_id errors mean there is no allocation identity; internal resolver invariants remain explicit StepErrors. Missing TCX globals are distinguished from still-local allocations, as the delayed-bug branch is.
Equations
- One or more equations did not get rendered due to their size.