Enum hugr_core::extension::InferExtensionError

#[non_exhaustive]
pub enum InferExtensionError {
    MismatchedConcrete {
        expected: ExtensionSet,
        actual: ExtensionSet,
    },
    MismatchedConcreteWithLocations {
        expected_loc: (Node, Direction),
        expected: ExtensionSet,
        actual_loc: (Node, Direction),
        actual: ExtensionSet,
    },
    Unsolved {
        location: (Node, Direction),
    },
    EdgeMismatch(ExtensionError),
}

Errors which arise during unification

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.

MismatchedConcrete

We’ve solved a metavariable, then encountered a constraint that says it should be something other than our solution

Fields

expected: ExtensionSet

The solution we were trying to insert for this meta

actual: ExtensionSet

The incompatible solution that we found was already there

MismatchedConcreteWithLocations

A version of the above with info about which nodes failed to unify

Fields

expected_loc: (Node, Direction)

Where the solution we want to insert came from

expected: ExtensionSet

The solution we were trying to insert for this meta

actual_loc: (Node, Direction)

Which node we’re trying to add a solution for

actual: ExtensionSet

The incompatible solution that we found was already there

Unsolved

A variable went unsolved that wasn’t related to a parameter

Fields

location: (Node, Direction)

The location on the hugr that’s associated to the unsolved meta

EdgeMismatch(ExtensionError)

An extension mismatch between two nodes which are connected by an edge. This should mirror (or reuse) ValidationError’s SrcExceedsTgtExtensions and TgtExceedsSrcExtensions

Trait Implementations

impl Clone for InferExtensionError

fn clone(&self) -> InferExtensionError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for InferExtensionError

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

Formats the value using the given formatter.

impl Display for InferExtensionError

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

Formats the value using the given formatter.

impl Error for InferExtensionError

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

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<ExtensionError> for InferExtensionError

fn from(source: ExtensionError) -> Self

Converts to this type from the input type.

impl From<InferExtensionError> for ValidationError

fn from(source: InferExtensionError) -> Self

Converts to this type from the input type.

impl PartialEq for InferExtensionError

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl StructuralPartialEq for InferExtensionError