Enum CheckErrorKind 

pub enum CheckErrorKind {
    UndeclaredReference {
        container: String,
        name: String,
    },
    NoMatchingOverload {
        function: String,
        arg_types: Vec<CelType>,
    },
    TypeMismatch {
        expected: CelType,
        actual: CelType,
    },
    UndefinedField {
        type_name: String,
        field: String,
    },
    NotAssignable {
        from: CelType,
        to: CelType,
    },
    HeterogeneousAggregate {
        types: Vec<CelType>,
    },
    NotAType {
        expr: String,
    },
    Other(String),
}

The kind of type checking error.

Variants

UndeclaredReference

Reference to an undeclared variable or function.

Fields

container: String

Container namespace (empty if none).

name: String

The name that was not found.

NoMatchingOverload

No function overload matches the provided arguments.

Fields

function: String

The function name.

arg_types: Vec<CelType>

The types of arguments provided.

TypeMismatch

Type mismatch between expected and actual types.

Fields

expected: CelType

The expected type.

actual: CelType

The actual type found.

UndefinedField

Field not found on a type.

Fields

type_name: String

The type name.

field: String

The field that was not found.

NotAssignable

Type is not assignable to another type.

Fields

from: CelType

The source type.

to: CelType

The target type.

HeterogeneousAggregate

Aggregate literal contains heterogeneous types.

Fields

types: Vec<CelType>

The types found in the aggregate.

NotAType

Expression cannot be used as a type.

Fields

expr: String

The expression text (for error messages).

Other(String)

General type error with custom message.

Trait Implementations

impl Clone for CheckErrorKind

fn clone(&self) -> CheckErrorKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckErrorKind

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

Formats the value using the given formatter.

impl Display for CheckErrorKind

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

Formats the value using the given formatter.