Switch must be exhaustive

We are all familiar with the error “Switch must be exhaustive”. Adding a default or adding all cases can resolve this error condition but what if