Enum NarrowedTy 

pub enum NarrowedTy {
    Is(AstPtr),
    NotNull,
    Not(AstPtr),
}

A narrowing fact that holds at a program point (a place narrowed to a type or proven non-null). The type-test variants carry an AstPtr to the TypeRef, resolved lazily by the checker against the engine model — exactly like the old apply_narrowing resolved its ptr.

Variants

Is(AstPtr)

The place is statically T — from is T, an x as T assignment, or a match T(): arm.

NotNull

Proven non-null (from != null, a truthy object guard, or a prior is). 1.0 records it but the checker uses it only to suppress null access, not to assert a type.

Not(AstPtr)

Proven not T (the else-branch of is T). Best-effort: 1.0 records it but never uses it to assert a member (no positive type).

Trait Implementations

impl Clone for NarrowedTy

fn clone(&self) -> NarrowedTy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NarrowedTy

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

Formats the value using the given formatter.

impl Eq for NarrowedTy

impl PartialEq for NarrowedTy

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