Module typechecker 

Structs

InlayHintInfo

An inlay hint produced during type checking.

TypeChecker

The static type checker.

TypeDiagnostic

A diagnostic produced by the type checker.

Enums

DiagnosticSeverity

Functions

block_definitely_exits

Check whether a block definitely exits (contains a terminating statement).

format_type

Pretty-print a type expression for display in error messages.

shape_mismatch_detail

Produce a detail string describing why a Shape type is incompatible with another Shape type — e.g. “missing field ‘age’ (int)” or “field ‘name’ has type int, expected string”. Returns None if both types are not shapes.

stmt_definitely_exits

Check whether a single statement definitely exits (return/throw/break/continue or an if/else where both branches exit).