Native libffi compiler queries from native_lib/mod.rs:367–435. Shape is actual compiler ADT/tuple evidence, not diagnostic spelling or ABI size.

def Miri.Input.CompilerNative.abiQueries {S C : Type} (p : CompilerProviders.Prepared) (arrays : RuntimeArrayQueries.Access S) : Interpreter.NativeAbi.Queries S C

Genuine compiler-query failure becomes the source unsupported-FFI-type outcome. Missing/unresolved metadata remains a separate outer error. Runtime array identities are read from the same persistent canonical constructor World.

Equations

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

def Miri.Input.CompilerNative.make {U C : Type} (p : CompilerProviders.Prepared) (arrays : RuntimeArrayQueries.Access (Interpreter.NativeMachine.State Memory.MiriMemoryKind U)) : EvalNativeConstruction.Compiler U C

The same genuine compiler queries work on full-state native calls and machine-only closure construction, without introducing an artificial frame.

Equations

• Miri.Input.CompilerNative.make p arrays = { typeShape := (Miri.Input.CompilerNative.abiQueries p arrays).typeShape, layoutOf := (Miri.Input.CompilerNative.abiQueries p arrays).layoutOf }