Enum AnalysisError 

pub enum AnalysisError {
    BindingAlreadyExists(u32, u32, String),
    VariableUndeclared(u32, u32, String),
    TypeMismatch(u32, u32, Type, Type),
    FieldUndeclared(u32, u32, String),
    FuncUndeclared(u32, u32, String),
    ExpectRecord(u32, u32, Type),
    ExpectFieldLiteral(u32, u32),
    ExpectRecordLiteral(u32, u32),
}

Errors that can occur during static analysis.

These errors are produced by the type checker when it encounters type mismatches, undeclared variables, or other semantic issues in the query.

Variants

BindingAlreadyExists(u32, u32, String)

A binding with the same name already exists in the current scope.

Fields: (line, column, binding_name)

This occurs when trying to declare a variable that shadows an existing binding in the same scope, such as using the same alias for multiple FROM sources.

VariableUndeclared(u32, u32, String)

A variable was referenced but not declared in any accessible scope.

Fields: (line, column, variable_name)

This occurs when referencing a variable that hasn’t been bound by a FROM clause or defined in the default scope.

TypeMismatch(u32, u32, Type, Type)

A type mismatch occurred between expected and actual types.

Fields: (line, column, expected_type, actual_type)

This occurs when an expression has a different type than what is required by its context (e.g., using a string where a number is expected).

FieldUndeclared(u32, u32, String)

A record field was accessed but doesn’t exist in the record type.

Fields: (line, column, field_name)

This occurs when trying to access a field that is not defined in the record’s type definition.

FuncUndeclared(u32, u32, String)

A function was called but is not declared in the scope.

Fields: (line, column, function_name)

This occurs when calling a function that is not defined in the default scope or any accessible scope.

ExpectRecord(u32, u32, Type)

Expected a record type but found a different type.

Fields: (line, column, actual_type)

This occurs when a record type is required (e.g., for field access) but a different type was found.

ExpectFieldLiteral(u32, u32)

Expected a field literal but found a different expression.

Fields: (line, column)

This occurs in contexts where only a simple field reference is allowed, such as in GROUP BY or ORDER BY clauses.

ExpectRecordLiteral(u32, u32)

Expected a record literal but found a different expression.

Fields: (line, column)

This occurs when a record literal is required, such as in the SELECT projection clause.

Trait Implementations

impl Debug for AnalysisError

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

Formats the value using the given formatter.

impl Display for AnalysisError

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

Formats the value using the given formatter.

impl Error for AnalysisError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl Serialize for AnalysisError

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.