Enum CallResult 

pub enum CallResult {
    Success(TypeId),
    NotCallable {
        type_id: TypeId,
    },
    ThisTypeMismatch {
        expected_this: TypeId,
        actual_this: TypeId,
    },
    ArgumentCountMismatch {
        expected_min: usize,
        expected_max: Option<usize>,
        actual: usize,
    },
    OverloadArgumentCountMismatch {
        actual: usize,
        expected_low: usize,
        expected_high: usize,
    },
    ArgumentTypeMismatch {
        index: usize,
        expected: TypeId,
        actual: TypeId,
    },
    NonVoidFunctionCalledWithNew,
    TypeParameterConstraintViolation {
        inferred_type: TypeId,
        constraint_type: TypeId,
        return_type: TypeId,
    },
    NoOverloadMatch {
        func_type: TypeId,
        arg_types: Vec<TypeId>,
        failures: Vec<PendingDiagnostic>,
        fallback_return: TypeId,
    },
}

Result of attempting to call a function type.

Variants

Success(TypeId)

Call succeeded, returns the result type

NotCallable

Not a callable type

Fields

type_id: TypeId

ThisTypeMismatch

this type mismatch

Fields

expected_this: TypeId

actual_this: TypeId

ArgumentCountMismatch

Argument count mismatch

Fields

expected_min: usize

expected_max: Option<usize>

actual: usize

OverloadArgumentCountMismatch

Overloaded call with arity “gap”: no overload matches this exact arity, but overloads exist for two surrounding fixed arities (TS2575).

Fields

actual: usize

expected_low: usize

expected_high: usize

ArgumentTypeMismatch

Argument type mismatch at specific position

Fields

index: usize

expected: TypeId

actual: TypeId

NonVoidFunctionCalledWithNew

TS2350: Only a void function can be called with the ‘new’ keyword.

TypeParameterConstraintViolation

Type parameter constraint violation (TS2322, not TS2345). Used when inference from callback return types produces a type that violates the type parameter’s constraint. tsc reports TS2322 on the return expression, not TS2345 on the whole callback argument.

Fields

inferred_type: TypeId

The inferred type that violated the constraint

constraint_type: TypeId

The constraint type that was violated

return_type: TypeId

The return type of the call (for type computation to continue)

NoOverloadMatch

No overload matched (for overloaded functions)

Fields

func_type: TypeId

arg_types: Vec<TypeId>

failures: Vec<PendingDiagnostic>

fallback_return: TypeId

Trait Implementations

impl Clone for CallResult

fn clone(&self) -> CallResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CallResult

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

Formats the value using the given formatter.