Enum CaptureBuildRefusal 

pub enum CaptureBuildRefusal<Position, ProducerRefusal> {
    Unbounded {
        bound: CaptureBound,
        at: Position,
    },
    ProducerRefused {
        cause: ProducerRefusal,
        path: TokenPath,
        at: SpanHandle,
    },
}

Why a checked capture was not completed.

Variants

Unbounded

One declared capture magnitude was exceeded at this producer position.

Fields

bound: CaptureBound

The magnitude exceeded.

at: Position

The producer’s own position for the token that reached it.

ProducerRefused

The producer could not read one token after the builder issued its declaration path and producer handle.

Fields

cause: ProducerRefusal

The producer’s typed reason.

path: TokenPath

The declaration-local route to the token the producer could not read.

at: SpanHandle

The handle already bound to the token’s retained source position.

Trait Implementations

impl<Position: Clone, ProducerRefusal: Clone> Clone for CaptureBuildRefusal<Position, ProducerRefusal>

fn clone(&self) -> CaptureBuildRefusal<Position, ProducerRefusal>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Position: Debug, ProducerRefusal: Debug> Debug for CaptureBuildRefusal<Position, ProducerRefusal>

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

Formats the value using the given formatter.

impl<Position: Eq, ProducerRefusal: Eq> Eq for CaptureBuildRefusal<Position, ProducerRefusal>

impl<Position: Hash, ProducerRefusal: Hash> Hash for CaptureBuildRefusal<Position, ProducerRefusal>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<Position: PartialEq, ProducerRefusal: PartialEq> PartialEq for CaptureBuildRefusal<Position, ProducerRefusal>

fn eq(&self, other: &CaptureBuildRefusal<Position, ProducerRefusal>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<Position: PartialEq, ProducerRefusal: PartialEq> StructuralPartialEq for CaptureBuildRefusal<Position, ProducerRefusal>