Enum SubtypeResult 

pub enum SubtypeResult {
    True,
    False,
    CycleDetected,
    DepthExceeded,
}

Result of a subtype check

Variants

True

The relationship is definitely true

False

The relationship is definitely false

CycleDetected

We’re in a valid cycle (coinductive recursion)

This represents finite/cyclic recursion like interface List { next: List }. The type graph forms a closed loop, which is valid in TypeScript.

DepthExceeded

We’ve exceeded the recursion depth limit

This represents expansive recursion that grows indefinitely like type T<X> = T<Box<X>>. TypeScript rejects these as “excessively deep”.

This is treated as false for soundness - if we can’t prove subtyping within reasonable limits, we reject the relationship rather than accepting unsoundly.

Implementations

impl SubtypeResult

pub const fn is_true(self) -> bool

pub const fn is_false(self) -> bool

Trait Implementations

impl Clone for SubtypeResult

fn clone(&self) -> SubtypeResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SubtypeResult

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

Formats the value using the given formatter.

impl PartialEq for SubtypeResult

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

impl Eq for SubtypeResult

impl StructuralPartialEq for SubtypeResult