Direct compiler-only queries for ordinary intrinsics.rs. variant_count peels exactly one Pat, handles ADT declarations without requiring mono, rejects source generic/bound cases and returns zero for the source non-ADT kinds.

def Miri.Input.CompilerCoreIntrinsic.variantCount (p : CompilerProviders.Prepared) (ty : MIR.TyId) : Except Interpreter.StepError Nat

Equations

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

structure Miri.Input.CompilerCoreIntrinsic.Queries (S C : Type) : Type

• layoutOf : C → MIR.TyId → Interpreter.RvalueM S Interpreter.LocalLayout
• pointeeType : C → MIR.TyId → Interpreter.RvalueM S MIR.TyId
• integerKind : C → MIR.TyId → Interpreter.RvalueM S MIR.IntegerKind
• usizeLayout : C → Interpreter.RvalueM S Interpreter.LocalLayout
• isizeLayout : C → Interpreter.RvalueM S Interpreter.LocalLayout
• variantLayout : C → Interpreter.LocalLayout → Nat → Interpreter.RvalueM S Interpreter.LocalLayout
• ensureMonomorphic : C → MIR.TyId → Interpreter.RvalueM S Unit
• needsDrop : C → MIR.TyId → Interpreter.RvalueM S Bool
• variantCount : C → MIR.TyId → Interpreter.RvalueM S Nat

def Miri.Input.CompilerCoreIntrinsic.make {S C : Type} (p : CompilerProviders.Prepared) : Queries S C

Equations

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