Compiler initializer queries and canonical global materialization share the imported AllocationImage identity map; no initializer bytes are guessed.
def
Miri.Input.EvalGlobalAllocationMachine.make
{K U P : Type}
[DecidableEq K]
(p : CompilerProviders.Prepared)
(image : AllocationImage.Imported)
(extras : Interpreter.MemoryExtras.Hooks K U P)
(leaves : Interpreter.GlobalAllocationMachine.Leaves K U)
:
Equations
- One or more equations did not get rendered due to their size.