Windows shims/io_error.rs construction. Last-error storage is the real active thread's lazy Machine allocation; host error translation uses the pinned Windows table and exact compiler constants.

@[reducible, inline]

abbrev Miri.Input.EvalWindowsIoErrorConstruction.State (Os R P H D O Aff B Host : Type) : Type

Equations

• Miri.Input.EvalWindowsIoErrorConstruction.State = Miri.Input.EvalWindowsEnvironmentConstruction.State

@[reducible, inline]

abbrev Miri.Input.EvalWindowsIoErrorConstruction.InnerState (Os R P H D O Aff B Host : Type) : Type

Equations

• Miri.Input.EvalWindowsIoErrorConstruction.InnerState = Miri.Input.EvalCoreMachine.State

def Miri.Input.EvalWindowsIoErrorConstruction.fromSource {Os R P H D O Aff B Host C Error : Type} (p : CompilerProviders.Prepared) (hostUnix : Bool) (host : EvalUnixConstruction.IoHostEffects (State Os R P H D O Aff B Host) Error) (memory : EvalWindowsEnvironmentConstruction.Memory Os R P H D O Aff B Host C) : Except Interpreter.StepError (Interpreter.IoError.Hooks (State Os R P H D O Aff B Host) Error)

Equations

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