Complete symbolic-vtable dictionary without an overwritten baseline. Only actual memory offsets are supplied by physical consumers. ABI checks run at call.rs frame initialization, not at vtable identity resolution.

def Miri.Input.CompilerVTableLeaves.make {K U Other C : Type} (p : CompilerProviders.Prepared) (image : AllocationImage.Imported) (engine : Interpreter.VTableMachine.Hooks K U Other) (memoryOffset : C → Interpreter.MemPlace Memory.Provenance → ABI.Size → Interpreter.OffsetMode → Interpreter.MemPlaceMeta Memory.Provenance → Interpreter.MachineHooks.M K U (Interpreter.MemPlace Memory.Provenance)) : Interpreter.VTableHooks Memory.Provenance (Interpreter.MachineHooks.State K U) C Interpreter.CallInstance (ABI.FnAbi MIR.TyId)

Equations

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