Direct source place.rs copy_op_no_validate padding decision and physical copy dictionary. Type compatibility remains the real rustc covariance query; no source-copy or source-validation result callback is accepted.
def
Miri.Input.CompilerCopy.hasPadding
(runtime : RuntimeMetadata)
(debug : Bool)
(layout : Interpreter.LocalLayout)
:
Equations
- One or more equations did not get rendered due to their size.
Instances For
def
Miri.Input.CompilerCopy.hooks
{K U C F A Pad : Type}
[DecidableEq K]
(runtime : RuntimeMetadata)
(debug : Bool)
(compatible : Interpreter.LocalLayout → Interpreter.LocalLayout → Except Interpreter.StepError Bool)
(access : Interpreter.ValidityMachine.Access K U)
(addresses : Interpreter.ValidityMachine.UserState U → Memory.AllocAddresses.GlobalAddressState)
(arithmetic : Memory.PointerArithmetic)
(visitor :
Interpreter.ValidityVisitor.Hooks Memory.Provenance (Interpreter.ValidityMachine.State K U) C
Interpreter.MachineHooks.FrameExtra F A Pad)
(validationBudget : Nat)
:
Equations
- One or more equations did not get rendered due to their size.