Exact helpers.rs::libc_ty_layout and libc_array_ty_layout path queries. Names are looked up only in the exported libc TypeNS catalog; there is no target-name fallback or layout-equality search.

def Miri.Input.CompilerLibcTypeLayouts.layout (runtime : RuntimeMetadata) (name : String) : Except String (ABI.TyAndLayout TypeId)

Resolve one exact source libc type and require its imported compiler layout. Query errors stay demand-time errors with their producer reason.

Equations

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