Files
Mikhail Pyltsin d64809acc7 [java-highlighting] IDEA-324586 Highlight duplicated values with casts in java 21. Fix for null
GitOrigin-RevId: 85c0a0e8608267502c300b150fa9c5df23521efb
2023-07-08 13:45:02 +00:00

18 lines
613 B
Java

import java.util.Random;
class DuplicatedWithCast {
void m(String... args) {
final byte b = 127;
switch (new Random().nextInt()) {
case <error descr="Duplicate label '127'">b</error> -> System.out.println("b=" + b + ";");
case <error descr="Duplicate label '127'">127</error>-> System.out.println("sweet spot");
}
switch (args[0]) {
case <error descr="Duplicate label 'null'">null</error> -> System.out.println("null1");
case <error descr="Duplicate label 'null'">null</error> -> System.out.println("null2");
default -> System.out.println("default");
}
}
}