Enum AstError 

#[non_exhaustive]
pub enum AstError {
    Core(AstCoreError),
    NotFound {
        node: NodeId,
    },
    WrongKind {
        node: NodeId,
        expected: NodeKind,
        found: NodeKind,
    },
    DuplicateName {
        scope: NodeId,
        name: String,
    },
    Invariant(Vec<InvariantViolation>),
    NotAnAggregate {
        node: NodeId,
        found: &'static str,
    },
    AlreadyComplete {
        node: NodeId,
    },
}

Failure of a model operation.

#[non_exhaustive] so that later phases can append variants — invariant violations arrive with the edit surface — without that being a breaking change.

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.

Core(AstCoreError)

Infrastructure failure.

NotFound

No node carries that identity.

Fields

node: NodeId

The identity looked up.

WrongKind

The node exists but is not the kind the operation required.

Fields

node: NodeId

The node.

expected: NodeKind

Kind the operation required.

found: NodeKind

Kind actually found.

DuplicateName

A name collided within its scope.

Fields

scope: NodeId

Scope the collision occurred in.

name: String

The colliding name.

Invariant(Vec<InvariantViolation>)

A commit broke one or more structural invariants and was rolled back. The model is byte-identical to its state before the transaction began. Spec §8.1.

NotAnAggregate

A part was added to a type that does not hold that kind of part — an enumerator on a struct, a member on an enum.

Fields

node: NodeId

The target type.

found: &'static str

What kind of type it actually is.

AlreadyComplete

A type that already has a body was asked to receive one again. Two definitions of one name are a duplicate, not a completion.

Fields

node: NodeId

The type that already has a body.

Trait Implementations

impl Clone for AstError

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 AstError

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

Formats the value using the given formatter.

impl Display for AstError

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

Formats the value using the given formatter.

impl Eq for AstError

impl Error for AstError

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<AstCoreError> for AstError

fn from(error: AstCoreError) -> Self

Converts to this type from the input type.

impl PartialEq for AstError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AstError