Enum Error 

#[non_exhaustive]
pub enum Error {
    Width(WidthError),
    Value(ValueError),
    StaleExpr,
    ForeignExpr,
    SymbolWidthConflict {
        key: SymbolKey,
        have: Width,
        want: Width,
    },
    ArenaFull {
        limit: u32,
    },
    UnboundSymbol {
        key: SymbolKey,
    },
    EnvWidth {
        key: SymbolKey,
        expected: Width,
        got: Width,
    },
    Syntax(SyntaxError),
    DuplicateSubstitution,
    Unsupported(String),
    Contract(String),
}

Errors from building, inspecting, evaluating or parsing expressions.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Width(WidthError)

A width rule was violated (operand mismatch, bad cast, …).

Value(ValueError)

A value does not fit.

StaleExpr

A handle from this context, but from before the last Context::clear.

ForeignExpr

A handle from a different context.

SymbolWidthConflict

A symbol key was requested at a width different from the one it already has.

Fields

key: SymbolKey

The symbol key.

have: Width

The width the symbol already has.

want: Width

The width that was requested.

ArenaFull

The arena reached its configured node limit.

Fields

limit: u32

The configured limit.

UnboundSymbol

Evaluation reached a symbol the environment does not bind.

Fields

key: SymbolKey

The symbol key.

EnvWidth

The environment bound a symbol to a value of the wrong width.

Fields

key: SymbolKey

The symbol key.

expected: Width

The symbol’s width.

got: Width

The width of the supplied value.

Syntax(SyntaxError)

A syntax or typing error in expression text.

DuplicateSubstitution

substitute was given the same expression to replace twice.

Unsupported(String)

The operation does not support this input (the reason).

Contract(String)

An internal contract was violated: a library defect, or an unsound rule linked without a proof (the description).

Trait Implementations

impl Clone for Error

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Error

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

Formats the value using the given formatter.

impl Display for Error

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

Formats the value using the given formatter.

impl Eq for Error

impl Error for Error

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 From<ValueError> for Error

fn from(e: ValueError) -> Self

Converts to this type from the input type.

impl From<WidthError> for Error

fn from(e: WidthError) -> Self

Converts to this type from the input type.

impl PartialEq for Error

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Error