Enum ComposeReject 

pub enum ComposeReject {
    NoSections,
    TensorShapeConflict {
        name: String,
        first: (usize, usize, Precision),
        second: (usize, usize, Precision),
    },
    SectionNotScheduled {
        section: usize,
    },
    Invalid(IrViolation),
    Reject(Box<SpatialReject>),
    PhaseOverflowsMemory {
        bytes: u32,
        capacity: usize,
    },
}

Where the composer refuses — always by name, never by dropping a section.

Variants

NoSections

Nothing to compose.

TensorShapeConflict

Two sections give one tensor two different shapes or element types. Composition is only meaningful when producer and consumer agree about where element p lives.

Fields

name: String

first: (usize, usize, Precision)

second: (usize, usize, Precision)

SectionNotScheduled

A section’s schedule is missing — compose joins VERIFIED sections, never templates.

Fields

section: usize

Invalid(IrViolation)

The joined program breaks a structural invariant.

Reject(Box<SpatialReject>)

A pass refused the joined program.

PhaseOverflowsMemory

A phase’s sections share a site and, laid out one past another, need more of its memory than it has.

Fields

bytes: u32

capacity: usize

Trait Implementations

impl Clone for ComposeReject

fn clone(&self) -> ComposeReject

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ComposeReject

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

Formats the value using the given formatter.

impl From<IrViolation> for ComposeReject

fn from(v: IrViolation) -> Self

Converts to this type from the input type.

impl From<SpatialReject> for ComposeReject

fn from(v: SpatialReject) -> Self

Converts to this type from the input type.

impl PartialEq for ComposeReject

fn eq(&self, other: &ComposeReject) -> 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 StructuralPartialEq for ComposeReject