checking for exhaustiveness in switch statements #2

Open
opened 2026-07-03 06:33:23 +00:00 by manabug · 0 comments
Owner

When inferring type from a switch statement, the type system should require that all possible patterns are matched, or at least that there is a default case.

When inferring type from a switch statement, the type system should require that all possible patterns are matched, or at least that there is a default case.
manabug self-assigned this 2026-07-03 06:33:23 +00:00
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
manabug/chroma#2
No description provided.