Enum ValueCallKind 

pub enum ValueCallKind {
    UnknownCallee,
    ConflictedCallee,
    NotCallable(Ty),
    ArityMismatch {
        expected: usize,
        got: usize,
    },
    ArgMismatch {
        index: usize,
        expected: Ty,
        found: Ty,
    },
    OverBind {
        available: usize,
        got: usize,
    },
}

What a ValueCallFact observed. Strict mode maps these onto the existing TM-3 machinery — escape codes for unresolved callees, the typed-mismatch code for known-type disagreements — rather than minting parallel codes (docs/t1c-spec.md §8).

Variants

UnknownCallee

The callee’s type is Unknown in call position — a strict-mode escape (E065 class): the call can’t be checked, so a strict author must annotate or restructure.

ConflictedCallee

The callee’s type is Conflicted (#627) in call position (E066 class).

NotCallable(Ty)

The callee has a known concrete type that isn’t fn(T…): R (and isn’t divert — calling through a divert-ref variable is a pre-existing ink pattern this slice deliberately leaves unchecked).

ArityMismatch

Known fn(T…): R callee, wrong argument count.

Fields

expected: usize

got: usize

ArgMismatch

Known fn(T…): R callee; argument index (0-based) has a concrete type that neither matches the row’s param type nor coerces to it (int -> float is the one legal directional coercion, spec §4).

Fields

index: usize

expected: Ty

found: Ty

OverBind

bind(f, args…) (T1c-3, issue #733) supplied more args than remain in the known fn(T…): R callee’s param row — over-binding, distinct from Self::ArityMismatch because bind has no fixed target arity to match (binding fewer than the remaining params is legal; only binding more is an error, mirroring the runtime’s FunctionValueArity fault and #fn’s own E081 over-binding check).

Fields

available: usize

got: usize

Trait Implementations

impl Clone for ValueCallKind

fn clone(&self) -> ValueCallKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValueCallKind

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

Formats the value using the given formatter.

impl Eq for ValueCallKind

impl PartialEq for ValueCallKind

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ValueCallKind