void (X x) { int i1 = 0; try { i1 = switch(x) { case A -> 1; case B -> 2; case C -> 3; }; } catch (IncompatibleClassChangeError ex) { if (<warning descr="Condition 'i1 == 0' is always 'true'">i1 == 0</warning>) {} if (<warning descr="Condition 'x == X.A' is always 'false'">x == X.A</warning>) {} if (<warning descr="Condition 'x == X.B' is always 'false'">x == X.B</warning>) {} if (<warning descr="Condition 'x == X.C' is always 'false'">x == X.C</warning>) {} } }