Enum ShapeInferError 

#[non_exhaustive]
pub enum ShapeInferError {
    CycleDetected,
    Arity {
        op: String,
        expected: String,
        found: usize,
    },
    InvalidRank {
        op: String,
        index: usize,
        rank: usize,
        detail: String,
    },
    MissingAttribute {
        op: String,
        attr: String,
    },
    Invalid {
        op: String,
        detail: String,
    },
    ShapeConflict {
        value: ValueId,
        axis: usize,
        inferred: i64,
        declared: i64,
    },
    RankConflict {
        value: ValueId,
        inferred: usize,
        declared: usize,
    },
}

An error produced while inferring shapes.

Inference is permissive by default: an unsupported operator or an under-specified input never errors — the affected outputs are simply left unresolved (see crate::InferenceReport). These variants are raised only for genuine contract violations: a malformed graph (cycle), an operator used with the wrong arity/rank, or — under MergePolicy::Strict — a concrete dimension conflict between an inferred and a declared shape.

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.

CycleDetected

The graph could not be topologically ordered (it contains a cycle).

Arity

An operator was invoked with the wrong number of inputs.

Fields

op: String

expected: String

found: usize

InvalidRank

An input had a rank the operator cannot accept.

Fields

op: String

index: usize

rank: usize

detail: String

MissingAttribute

An attribute required by the operator was missing or the wrong type.

Fields

op: String

attr: String

Invalid

A structural inconsistency detected while applying an op rule (e.g. a contraction-dimension mismatch in MatMul, or an out-of-range axis).

Fields

op: String

detail: String

ShapeConflict

Under MergePolicy::Strict, an inferred dimension disagreed with the value’s declared dimension. Only concrete (static) disagreements are reported; symbolic differences are treated as naming and never conflict (see crate::context::merge_shapes).

Fields

value: ValueId

axis: usize

inferred: i64

declared: i64

RankConflict

Under MergePolicy::Strict, an inferred rank disagreed with the value’s declared rank.

Fields

value: ValueId

inferred: usize

declared: usize

Trait Implementations

impl Debug for ShapeInferError

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

Formats the value using the given formatter.

impl Display for ShapeInferError

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

Formats the value using the given formatter.

impl Eq for ShapeInferError

impl Error for ShapeInferError

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 PartialEq for ShapeInferError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ShapeInferError