Exact source helpers.rs::windows_ty_layout queries. Windows shim aggregates resolve only through rustc's std::sys::pal::windows::c TypeNS catalog; neither target spelling nor layout coincidence is used as a fallback.

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

Resolve one exact source Windows C type and return its compiler-derived layout. This intentionally stays demand-local so unused Windows structures do not become a startup prerequisite.

Equations

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