Enum InvalidationReason 

pub enum InvalidationReason {
    ShapeUnrebuildable {
        narrowed_ty: Type,
    },
    Write {
        span: Span,
    },
    Reassignment {
        span: Span,
    },
    CapturedMutator {
        closure_span: Option<Span>,
    },
}

Diagnostic-only record of why a narrowing was invalidated. Surfaced as a help: line so the LLM doesn’t have to guess why a narrowing went away.

Variants

ShapeUnrebuildable

A proven predicate had no source that codegen could rebuild in its region.

Fields

narrowed_ty: Type

Write

A write reached the path (or a prefix of it) and falsified the guard: a field or index write, a loop back edge, or a merge of an inner block’s writes. Narrowings on the path and any extension of it are dropped.

Fields

span: Span

Reassignment

An identifier was reassigned. Distinguished from Self::Write only so the diagnostic can name the statement the reader is looking at.

Fields

span: Span

CapturedMutator

Path root is in captured_mutators; the engine refused to install a NarrowedView. closure_span: one offending closure declaration.

Fields

closure_span: Option<Span>

Implementations

impl InvalidationReason

pub fn invalidates(&self) -> bool

pub fn span(&self) -> Option<Span>

Trait Implementations

impl Clone for InvalidationReason

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 InvalidationReason

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

Formats the value using the given formatter.