Skip to content

Track types across case clauses#15080

Merged
josevalim merged 7 commits intomainfrom
jv-redundant-case
Jan 27, 2026
Merged

Track types across case clauses#15080
josevalim merged 7 commits intomainfrom
jv-redundant-case

Commits

Commits on Jan 26, 2026

Commits on Jan 27, 2026