Enum MirCtor 

pub enum MirCtor {
    User(CtorId),
    Builtin(BuiltinCtor),
}

Typed identity for a constructor reference inside MIR. Two flavors: user-declared variants identified by stable CtorId, and language-level built-in constructors (Result.Ok / Result.Err / Option.Some / Option.None) that don’t get user-program ids because they’re not user-declared.

Wave 3c-i pin: built-in ctors travel through the same MirConstruct / MirPattern::Ctor shape as user ctors, so every consumer reading constructor identity goes through one matchable enum — no separate “is this Result.Ok” string check scattered across backends.

Variants

User(CtorId)

User-declared sum-type variant or record constructor.

Builtin(BuiltinCtor)

Language-level built-in (Result.Ok / Result.Err / Option.Some / Option.None). Same BuiltinCtor enum the resolver pass uses, re-exported by super::*.

Trait Implementations

impl Clone for MirCtor

fn clone(&self) -> MirCtor

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for MirCtor

impl Debug for MirCtor

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for MirCtor

impl PartialEq for MirCtor

fn eq(&self, other: &MirCtor) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for MirCtor