Expand description
The built-in method catalog (§16.2): one structured table of every built-in method.
This is the single source of truth the type checker, HIR lowering, and
code generator consume (rule 20.3). builtin_catalog returns a finalized,
duplicate-free MethodCatalog; the builder rejects any duplicate
(receiver, name, arity) triple so an accidental overload is impossible
(“make illegal states unrepresentable”).
Functions§
- builtin_
catalog - Build the finalized built-in method catalog.