fix: match with heterogeneous arm types no longer coerces every arm to one unified type#492

Open

mirchaemanuel wants to merge 11 commits into

illegalstudio:mainfrom

mirchaemanuel:fix/488-match-heterogeneous-mixed

Commits on Jul 7, 2026

fix: dispatch gettype on codegen repr so nullable-int unions use the tagged-scalar path
mirchaemanuel
committed
fix: merge heterogeneous match arm types to mixed instead of coercing to one arm type
mirchaemanuel
committed

Commits on Jul 8, 2026

docs: regenerate builtins catalog
mirchaemanuel
committed
fix: match null arms keep the checker's inferred merge nullable
mirchaemanuel
committed
docs: document match arm representation merges as known incompatibilities
mirchaemanuel
committed