Enum ElabError

pub enum ElabError {
    UnknownTypeConstructor {
        name: String,
    },
    MissingTypeArgs {
        name: String,
    },
    TypeArgCountMismatch {
        name: String,
        expected: usize,
        actual: usize,
    },
    DuplicateStructDecl {
        name: String,
    },
    DuplicateStructTypeParam {
        name: String,
        param: String,
    },
    DuplicateStructField {
        name: String,
        field: String,
    },
    UnknownIdentifier {
        name: String,
    },
    UnknownFunction {
        name: String,
    },
    InvalidCallTarget,
    ArityMismatch {
        function: String,
        expected: usize,
        actual: usize,
    },
    MissingStructField {
        name: String,
        field: String,
    },
    DuplicateStructLiteralField {
        name: String,
        field: String,
    },
    UnknownStructField {
        name: String,
        field: String,
    },
    StructTypeArgsNotInferred {
        name: String,
    },
    TypeMismatch {
        expected: Ty,
        actual: Ty,
    },
    FieldAccessNotStruct {
        actual: Ty,
    },
    UnsupportedTypeExpr,
    UnsupportedMetaParamType {
        name: String,
        param: String,
    },
    UnsupportedMetaArg {
        name: String,
        param: String,
    },
    InvalidVariadicParam {
        name: String,
    },
    MultipleVariadicParams {
        name: String,
    },
    InvalidCallSpreadOperand,
    CallSpreadRequiresTuple {
        actual: Ty,
    },
    ConflictingSpecialization {
        name: String,
    },
    MetaEval(MetaEvalError),
}

Elaboration error produced while concretizing type syntax.

Variants

UnknownTypeConstructor

Type constructor name could not be resolved.

Fields

name: String

Type constructor name.

MissingTypeArgs

Generic type constructor was used without type arguments.

Fields

name: String

Type constructor name.

TypeArgCountMismatch

Generic type constructor was used with wrong type-argument count.

Fields

name: String

Type constructor name.

expected: usize

Expected number of type arguments.

actual: usize

Provided number of type arguments.

DuplicateStructDecl

Struct declaration duplicated an existing type name.

Fields

name: String

Struct name.

DuplicateStructTypeParam

Struct declaration repeated a type parameter.

Fields

name: String

Struct name.

param: String

Duplicate type parameter name.

DuplicateStructField

Struct declaration repeated a field name.

Fields

name: String

Struct name.

field: String

Duplicate field name.

UnknownIdentifier

Referenced identifier was not found in scope.

Fields

name: String

Identifier name.

UnknownFunction

Called function name could not be resolved.

Fields

name: String

Function name.

InvalidCallTarget

Call target expression was not a function identifier.

ArityMismatch

Function call supplied wrong number of arguments.

Fields

function: String

Function name.

expected: usize

Expected argument count.

actual: usize

Actual argument count.

MissingStructField

Struct literal omitted a required field.

Fields

name: String

Struct name.

field: String

Missing field name.

DuplicateStructLiteralField

Struct literal repeated a field name.

Fields

name: String

Struct name.

field: String

Duplicate field name.

UnknownStructField

Struct literal referenced an unknown field.

Fields

name: String

Struct name.

field: String

Unknown field name.

StructTypeArgsNotInferred

Generic struct arguments could not be inferred.

Fields

name: String

Struct name.

TypeMismatch

Inferred and expected types were incompatible.

Fields

expected: Ty

Expected type.

actual: Ty

Actual inferred type.

FieldAccessNotStruct

Field access base expression was not a struct.

Fields

actual: Ty

Actual base expression type.

UnsupportedTypeExpr

Type syntax is unsupported in runtime signatures.

UnsupportedMetaParamType

Runtime template meta parameter used unsupported type.

Fields

name: String

Runtime template function name.

param: String

Meta parameter name.

UnsupportedMetaArg

Runtime template meta argument was not a compile-time string literal.

Fields

name: String

Runtime template function name.

param: String

Meta parameter name.

InvalidVariadicParam

Variadic runtime template parameter used an invalid form.

Fields

name: String

Runtime template function name.

MultipleVariadicParams

Runtime template declared more than one variadic parameter.

Fields

name: String

Runtime template function name.

InvalidCallSpreadOperand

Call spread operand was not a tuple binding identifier.

CallSpreadRequiresTuple

Call spread operand was not a tuple value.

Fields

actual: Ty

Actual spread operand type.

ConflictingSpecialization

Runtime template specialization inputs were contradictory.

Fields

name: String

Runtime template function name.

MetaEval(MetaEvalError)

Meta evaluation failed while elaborating generated code.

Trait Implementations

impl Clone for ElabError

fn clone(&self) -> ElabError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ElabError

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

Formats the value using the given formatter.

impl Display for ElabError

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

Formats the value using the given formatter.

impl Error for ElabError

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<DE> From<ElabError> for CompileError<DE>

where DE: Error + 'static,

fn from(source: ElabError) -> Self

Converts to this type from the input type.

impl From<MetaEvalError> for ElabError

fn from(source: MetaEvalError) -> Self

Converts to this type from the input type.

impl PartialEq for ElabError

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for ElabError

impl StructuralPartialEq for ElabError