Given how switch is encoded in feldspar-language, can this TODO ever fail on a legal input?