Struct ConstAssertionVisitor 

pub struct ConstAssertionVisitor<'a> {
    pub db: &'a dyn TypeDatabase,
    pub guard: RecursionGuard<TypeId>,
}

Visitor that applies as const transformation to a type.

This visitor implements the const assertion logic from TypeScript:

• Literals: Preserved as-is
• Arrays: Converted to readonly tuples
• Tuples: Marked readonly, elements recursively const-asserted
• Objects: All properties marked readonly, recursively const-asserted
• Other types: Preserved as-is (any, unknown, primitives, etc.)

Fields

db: &'a dyn TypeDatabase

The type database/interner.

guard: RecursionGuard<TypeId>

Unified recursion guard for cycle detection.

Implementations

impl<'a> ConstAssertionVisitor<'a>

pub fn new(db: &'a dyn TypeDatabase) -> Self

Create a new ConstAssertionVisitor.

pub fn apply_const_assertion(&mut self, type_id: TypeId) -> TypeId

Apply const assertion to a type, returning the transformed type ID.