require that switch on dynamically typed expression includes an else