Enum UfcsVerdict 

pub enum UfcsVerdict {
    FieldCall {
        receiver: Ty,
        field: String,
        field_ty: Ty,
        arity_mismatch: Option<UfcsArityMismatch>,
        arg_mismatches: Vec<UfcsArgMismatch>,
    },
    FreeFnAutoRef {
        receiver: Ty,
        name: String,
        target: DefinitionId,
        arg_mismatches: Vec<UfcsArgMismatch>,
    },
    FreeFnDesugar {
        receiver: Ty,
        name: String,
        target: DefinitionId,
        arg_mismatches: Vec<UfcsArgMismatch>,
    },
    PreludeDesugar {
        receiver: Ty,
        name: String,
        arg_mismatches: Vec<UfcsArgMismatch>,
    },
}

What one recv.name(args) call site resolved to (D2’s “node → resolved target”). Consumed by LIR lowering — which of the two code shapes to emit — and by IDE hover/go-to-def, which needs the real target rather than the receiver the ResolutionMap records for the callee path.

Variants

FieldCall

Field access won (step 2): the receiver’s type declares a function-typed field with the called name, so the call is a call through that field’s value.

Fields

receiver: Ty

The receiver’s inferred type.

field: String

The field name — the call’s final pre-( path segment.

field_ty: Ty

The field’s declared type. Always a Ty::Fn — a non-callable match is E140, never a verdict.

arity_mismatch: Option<UfcsArityMismatch>

Issue #1918: this verdict’s own arity fact. Unlike Self::FreeFnDesugar/Self::FreeFnAutoRef, a field call has no receiver-prepending desugar — npc.on_greet(3) lowers straight to lir::ExprKind::CallValue { callee, args } calling the field’s own fn(...) value with the written arguments only (brink_ir::lir::lower::expr::lower_ufcs_call’s FieldCall arm), so a mismatch here is a plain expected/got pair, not a per-argument UfcsArgMismatch. Computed unconditionally alongside this verdict, like every other verdict’s own arg-check fields; reported only by strict mode ([check_strict], E063) — this verdict is structurally strict::check_value_calls’s T1c “call through a function value” domain, just reached via field access, and this reuses that check’s own ValueCallKind::ArityMismatch wording verbatim. Gradual mode relies on the runtime FunctionValueArity fault Opcode::CallValue already raises for every call through a function value — the same bytecode shape this verdict lowers to, so arity is enforced there regardless of static policy.

arg_mismatches: Vec<UfcsArgMismatch>

Issue #1918: this verdict’s own per-argument type mismatches — the FieldCall sibling of Self::FreeFnDesugar’s own arg_mismatches. Differs from that sibling’s index convention: a field call passes no receiver argument, so index here is 0-based over the written arguments only — matching strict::check_value_calls’s own ValueCallKind::ArgMismatch convention, not UfcsArgMismatch::index’s “receiver counts as 0” default (see that field’s own doc for the exception this carves out). Reported only by strict mode (E063), same gate as arity_mismatch above.

FreeFnAutoRef

D5 auto-ref (issue #1462): a free function won (step 3) and its first parameter is declared ref, so the call desugars to name(ref recv, args) — the receiver spelled as an explicit T1e ref-argument/projection, so the callee’s writes land in the receiver’s own cell instead of in a copy.

Only ever recorded for a receiver that can actually be written through ([UfcsVisitor::auto_ref_fault]); anything else is E143.

Fields

receiver: Ty

The receiver’s inferred type.

name: String

The free function’s name, as written.

target: DefinitionId

The definition the desugared call targets.

arg_mismatches: Vec<UfcsArgMismatch>

Issue #1881: statically-checkable argument-type mismatches between the desugared call name(recv, args) and target’s already-known declared param types, computed unconditionally alongside this verdict — see UfcsArgMismatch’s own doc. Reported only by strict mode ([check_strict], E063).

FreeFnDesugar

A free function won (step 3): the call desugars to name(recv, args), by value.

Fields

receiver: Ty

The receiver’s inferred type.

name: String

The free function’s name, as written.

target: DefinitionId

The definition the desugared call targets.

arg_mismatches: Vec<UfcsArgMismatch>

Issue #1881: identical posture to Self::FreeFnAutoRef’s own arg_mismatches field — the by-value desugar shape.

PreludeDesugar

A T1b/NS stdlib prelude name won (step 3, D4’s “file use + prelude” candidate set): the call desugars to name(recv, args) exactly like Self::FreeFnDesugar, but the target is a VM-native intrinsic (resolve::is_t1b_stdlib_name/resolve::is_builtin_function), not an index symbol — there is no DefinitionId to record. xs.len(), inventory.push(sword), a.sort_by(c) all land here.

Fields

receiver: Ty

The receiver’s inferred type.

name: String

The prelude function’s name, as written.

arg_mismatches: Vec<UfcsArgMismatch>

Issue #1919: statically-checkable argument-domain mismatches between the desugared call name(recv, args) and the verb’s own container-projected domain (the receiver’s element/key/ value type — a prelude verb has no DefinitionId and so no declared param list to compare against), computed unconditionally alongside this verdict — see [UfcsVisitor::check_ufcs_prelude_arg_types]’s own doc. Reported only by strict mode ([check_strict], E063), the same code Self::FreeFnDesugar’s own arg_mismatches uses.

Trait Implementations

impl Clone for UfcsVerdict

fn clone(&self) -> UfcsVerdict

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for UfcsVerdict

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

Formats the value using the given formatter.

impl Eq for UfcsVerdict

impl PartialEq for UfcsVerdict

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for UfcsVerdict