Signature checks use the same real typed operand reads and zero-offset wrapping transmutes as the MIR interpreter, never a type-erased argument list.
def
Miri.Interpreter.ShimSignatureMachine.bind
{K U C D MD Ptr B I : Type}
[DecidableEq K]
(access : PlaceMachine.AccessConfig K U)
(place : PlaceHooks Memory.Provenance (MachineHooks.State K U) C MachineHooks.FrameExtra)
(choice : C)
(base : ShimSignatures.Hooks Memory.Provenance (MachineHooks.State K U) D MD Ptr B I)
:
ShimSignatures.Hooks Memory.Provenance (MachineHooks.State K U) D MD Ptr B I
Equations
- One or more equations did not get rendered due to their size.