FnVal-preserving consumers. Source validity.rs and cast.rs discard the get_ptr_fn result: machine-extra functions must therefore remain valid there.

def Miri.Interpreter.FunctionPointerConsumers.vtable {K User Other C ABI : Type} (h : FunctionPointers.Hooks K User Other) (base : VTableHooks Memory.Provenance (MachineHooks.State K User) C CallInstance ABI) : VTableHooks Memory.Provenance (MachineHooks.State K User) C (FnVal Other) ABI

Equations

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

def Miri.Interpreter.FunctionPointerConsumers.validity {K User Other C ABI Pad : Type} (h : FunctionPointers.Hooks K User Other) (base : ValidityVisitor.Hooks Memory.Provenance (MachineHooks.State K User) C MachineHooks.FrameExtra (FnVal Other) ABI Pad) : ValidityVisitor.Hooks Memory.Provenance (MachineHooks.State K User) C MachineHooks.FrameExtra (FnVal Other) ABI Pad

Equations

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

def Miri.Interpreter.FunctionPointerConsumers.cast {K User Other C D : Type} (h : FunctionPointers.Hooks K User Other) (base : CastHooks Memory.Provenance (MachineHooks.State K User) C D) : CastHooks Memory.Provenance (MachineHooks.State K User) C D

Equations

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