void (int i) { int j = switch (i) { case 1 -> 2; case 2 -> 3; case 3 -> { try { System.out.println("hello"); yield 1; // never happens } finally { yield 2; } } default -> 4; }; if (<warning descr="Condition 'j < 2' is always 'false'">j < 2</warning>) {} if (<warning descr="Condition 'j == 4 && i == 2' is always 'false'">j == 4 && <warning descr="Condition 'i == 2' is always 'false' when reached">i == 2</warning></warning>) {} }