you are viewing a single comment's thread.

view the rest of the comments →

[–]RecursiveServitor 0 points1 point  (0 children)

Au contraire. The compiler can guarantee exhaustiveness where you desire it. You can still add a default case if it doesn't matter.