Module expression_ops 

Expression type computation operations.

This module implements AST-agnostic type computation for expressions, migrated from the Checker as part of the Solver-First architecture refactor.

These functions operate purely on TypeIds and maintain no AST dependencies.

Functions

compute_best_common_type

Computes the best common type (BCT) of a set of types.

compute_conditional_expression_type

Computes the result type of a conditional expression: condition ? true_branch : false_branch.

compute_template_expression_type

Computes the type of a template literal expression.