void (int i) { Integer j = switch(i) { case 1 -> 2; case 2 -> i+3; case 3 -> i; default -> throw new IllegalArgumentException(); }; if (<warning descr="Condition 'j > 1' is always 'true'">j > 1</warning>) {} if (<warning descr="Condition 'j < 6' is always 'true'">j < 6</warning>) {} if (j < 5) {} if (<warning descr="Condition 'j == 5 && i != 2' is always 'false'">j == 5 && <warning descr="Condition 'i != 2' is always 'false' when reached">i != 2</warning></warning>) {} if (<warning descr="Condition 'i > 3' is always 'false'">i > 3</warning>) {} if (<warning descr="Condition 'i < 1' is always 'false'">i < 1</warning>) {} }