Struct TypeNodeChecker 

pub struct TypeNodeChecker<'a, 'ctx> {
    pub ctx: &'a mut CheckerContext<'ctx>,
    /* private fields */
}

Type node checker that operates on the shared context.

This is a stateless checker that borrows the context mutably. All type resolution for type nodes goes through this checker.

Fields

ctx: &'a mut CheckerContext<'ctx>

Implementations

impl<'a, 'ctx> TypeNodeChecker<'a, 'ctx>

pub const fn new(ctx: &'a mut CheckerContext<'ctx>) -> Self

Create a new type node checker with a mutable context reference.

pub fn check(&mut self, idx: NodeIndex) -> TypeId

Check a type node and return its type.

This is the main entry point for type node resolution. It handles caching and dispatches to specific type node handlers.

pub const fn context(&self) -> &CheckerContext<'ctx>

Get the context reference (for read-only access).