Source shims/sig.rs ShimSig::as_abi. The exporter constructs the exact compiler types (including c_void and source canonical fn_ptr wildcards), then queries rustc fn_abi_of_fn_ptr. No target layout or type ID is synthesized.

structure Miri.Input.CompilerShimAbi.Entry : Type

• signature : Interpreter.ForeignItems.Signature
• abi : Except String (ABI.FnAbi MIR.TyId)

structure Miri.Input.CompilerShimAbi.Prepared : Type

• entries : Array Entry

def Miri.Input.CompilerShimAbi.prepare (runtime : RuntimeMetadata) (abiCache : Option (CallResolution.FunctionAbiCache runtime) := none) : Except String Prepared

Equations

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

def Miri.Input.CompilerShimAbi.expectedAbi (prepared : Prepared) (signature : Interpreter.ForeignItems.Signature) : Except String (ABI.FnAbi MIR.TyId)

Equations

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

def Miri.Input.CompilerShimAbi.hooks {P S D MD Ptr B I : Type} (prepared : Prepared) (base : Interpreter.ForeignItems.Hooks P S D MD Ptr B I) : Interpreter.ForeignItems.Hooks P S D MD Ptr B I

Bind the compiler query provider to the shared source shim dispatcher.

Equations

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