Enum RecursionProfile 

pub enum RecursionProfile {
    SubtypeCheck,
    TypeEvaluation,
    TypeApplication,
    PropertyAccess,
    Variance,
    ShapeExtraction,
    ShallowTraversal,
    ConstAssertion,
    ExpressionCheck,
    TypeNodeCheck,
    CallResolution,
    CheckerRecursion,
    Custom {
        max_depth: u32,
        max_iterations: u32,
    },
}

Named recursion limit presets.

Each profile encodes a (max_depth, max_iterations) pair that is appropriate for a particular kind of recursive computation. Using profiles instead of raw numbers:

• Documents why a guard exists at every call site
• Centralises limit values so they can be tuned in one place
• Prevents copy-paste of magic numbers

Variants

SubtypeCheck

Subtype checking: deep structural comparison of recursive types.

Used by SubtypeChecker and SubtypeTracer. Needs the deepest depth limit because structural comparison of recursive types can legitimately nest deeply before a cycle is found.

depth = 100, iterations = 100,000

TypeEvaluation

Type evaluation: conditional types, mapped types, indexed access.

Used by TypeEvaluator (both TypeId guard and DefId guard).

depth = 50, iterations = 100,000

TypeApplication

Generic type application / instantiation.

Used by TypeApplicationEvaluator. Matches TypeScript’s instantiation depth limit for TS2589.

depth = 50, iterations = 100,000

PropertyAccess

Property access resolution on complex types.

Used by PropertyAccessEvaluator.

depth = 50, iterations = 100,000

Variance

Variance computation.

Used by VarianceVisitor.

depth = 50, iterations = 100,000

ShapeExtraction

Shape extraction for compatibility checking.

Used by ShapeExtractor.

depth = 50, iterations = 100,000

ShallowTraversal

Shallow type traversal: contains-type checks, type collection.

Used by RecursiveTypeCollector, ContainsTypeChecker. Intentionally shallow — these just walk the top-level structure.

depth = 20, iterations = 100,000

ConstAssertion

Const assertion processing.

Used by ConstAssertionVisitor.

depth = 50, iterations = 100,000

ExpressionCheck

Expression type checking depth.

Used by ExpressionChecker. Generous limit for deeply nested expressions.

depth = 500

TypeNodeCheck

Type node resolution depth.

Used by TypeNodeChecker. Generous limit for deeply nested type annotations.

depth = 500

CallResolution

Function call resolution depth.

Used by get_type_of_call_expression. Relatively low to catch infinite recursion in overload resolution.

depth = 20

CheckerRecursion

General checker recursion depth.

Used by enter_recursion/leave_recursion on checker functions.

depth = 50

Custom

Custom limits for one-off or test scenarios.

Fields

max_depth: u32

max_iterations: u32

Implementations

impl RecursionProfile

pub const fn max_depth(self) -> u32

Maximum recursion depth for this profile.

pub const fn max_iterations(self) -> u32

Maximum iteration count for this profile.

Trait Implementations

impl Clone for RecursionProfile

fn clone(&self) -> RecursionProfile

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RecursionProfile

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

Formats the value using the given formatter.

impl PartialEq for RecursionProfile

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

impl Eq for RecursionProfile

impl StructuralPartialEq for RecursionProfile