void (int i) { int j = switch(i) { case 1 -> { System.out.println("Hello"); yield 10; } case 2 -> { i = i+1; yield 20; } case 3 -> { yield 33-i; } default -> 0; }; if (j == 20 && <warning descr="Condition 'i == 3' is always 'true' when reached">i == 3</warning>) {} if (j == 30 && <warning descr="Condition 'i == 3' is always 'true' when reached">i == 3</warning>) {} if (j == 10 && <warning descr="Condition 'i == 1' is always 'true' when reached">i == 1</warning>) {} if (<warning descr="Condition 'i == 2' is always 'false'">i == 2</warning>) {} if (j == 0 && (<warning descr="Condition 'i < 1 || i > 3' is always 'true' when reached">i < 1 || <warning descr="Condition 'i > 3' is always 'true' when reached">i > 3</warning></warning>)) {} }