Enum ResolvedCtor 

pub enum ResolvedCtor {
    User {
        ctor_id: CtorId,
        type_id: TypeId,
        name: String,
    },
    Builtin(BuiltinCtor),
    Unresolved {
        name: String,
    },
}

Constructor classification for ResolvedExpr::Ctor and ResolvedPattern::Ctor.

Variants

User

User-defined sum-type variant or record constructor.

Fields

ctor_id: CtorId

type_id: TypeId

Owning type identity — kept on the callsite so backends that pattern-match on (type, variant) don’t need to walk the symbol table on every emit.

name: String

Source name of the variant ("Circle", "Triangle", the record name itself for product types). Kept for diagnostic display + backend codegen mangling.

Builtin(BuiltinCtor)

Result.Ok / Result.Err / Option.Some / Option.None. These are language-level rather than user-defined so they don’t carry CtorIds — discriminated by the variant.

Unresolved

Constructor expression the resolver couldn’t classify — typechecker already reported the error. Kept as a passthrough so the surrounding tree walks cleanly.

Fields

name: String

Source name ("Foo.Bar") preserved for diagnostics.

Trait Implementations

impl Clone for ResolvedCtor

fn clone(&self) -> ResolvedCtor

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResolvedCtor

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

Formats the value using the given formatter.

impl PartialEq for ResolvedCtor

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ResolvedCtor