Actual rustc Ty::discriminant_ty, ADT/coroutine discriminants and PrimitiveExt::to_int_ty evidence for interpret/discriminant.rs. Values remain compiler u128 bits; declaration indices, encoded tags and signed discriminants are not conflated.

def Miri.Input.CompilerDiscriminantFacts.discriminantLayout (context : CompilerFacts.Context) (ty : TypeId) : Except String (ABI.TyAndLayout TypeId)

Equations

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

def Miri.Input.CompilerDiscriminantFacts.tagLayout (context : CompilerFacts.Context) (tag : ABI.Scalar) : Except String (ABI.TyAndLayout TypeId)

Pointer tags use rustc's default ptr_sized_integer query (including its source nondefault-address-space limitation), never a guessed usize/layout.

Equations

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

def Miri.Input.CompilerDiscriminantFacts.discriminantValue (context : CompilerFacts.Context) (ty variant : Nat) : Except String (Option (TypeId × ABI.U128))

Equations

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

def Miri.Input.CompilerDiscriminantFacts.variantForDiscriminant (context : CompilerFacts.Context) (ty : TypeId) (bits : ABI.U128) : Except String (Option Nat)

Equations

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

def Miri.Input.CompilerDiscriminantFacts.adtVariantCount (context : CompilerFacts.Context) (ty : TypeId) : Except String Nat

Equations

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

def Miri.Input.CompilerDiscriminantFacts.hooks {P S C V : Type} (context : CompilerFacts.Context) (base : Interpreter.DiscriminantHooks P S C V) : Interpreter.DiscriminantHooks P S C V

Equations

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