semantic: Reject bad switch cases.