On Fri, Aug 5, 2016 at 3:08 PM, Patrick Palka wrote:
> Sometimes the case labels of a switch have a different type than the
> switch operand, e.g. in the test case below, the case labels have type t
> and the switch operand has type int. Because the verifier expects that
> case labels of a switch
Sometimes the case labels of a switch have a different type than the
switch operand, e.g. in the test case below, the case labels have type t
and the switch operand has type int. Because the verifier expects that
case labels of a switch each have the exact same type, it's important to
avoid changin
