Use when every known variant must be handled. Prefer compiler, type-checker, linter, or test-enforced exhaustive matches.
