void (X x) { int i = switch(<error descr="'switch' expression does not cover all possible input values">x</error>) { case A -> 1; case B -> 2; }; // default and case C is missing: we assume that IncompatibleClassChangeError is still thrown if (<warning descr="Condition 'i == 0' is always 'false'">i == 0</warning>) {} int i1 = switch(x) { case A -> 1; case B -> 2; case <warning descr="Switch label 'C' is unreachable">C</warning> -> 3; }; if (<warning descr="Condition 'i1 == 0' is always 'false'">i1 == 0</warning>) {} // exhaustive }