exhaustive

A switch is exhaustive when every value of the selector's type matches some case, without guards counting; a switch expression must be exhaustive, and so must a pattern switch over a sealed type, an enum or Object.