jdk-24/test/langtools/tools/javac/patterns/T8314632.java
Aggelos Biboudis c9d23c3940 8315532: Compiler Implementation for Unnamed Variables & Patterns
8317221: Implementation for javax.lang.model for Unnamed Variables & Patterns

Co-authored-by: Jan Lahoda <jlahoda@openjdk.org>
Co-authored-by: Maurizio Cimadamore <mcimadamore@openjdk.org>
Co-authored-by: Gavin Bierman <gbierman@openjdk.org>
Co-authored-by: Brian Goetz <briangoetz@openjdk.org>
Co-authored-by: Joe Darcy <darcy@openjdk.org>
Co-authored-by: Aggelos Biboudis <abimpoudis@openjdk.org>
Reviewed-by: jlahoda, mcimadamore
2023-10-30 10:28:48 +00:00

41 lines
1.4 KiB
Java

/*
* @test /nodynamiccopyright/
* @bug 8314632
* @summary Intra-case dominance check fails in the presence of a guard
* @compile/fail/ref=T8314632.out -XDrawDiagnostics T8314632.java
*/
public class T8314632 {
void test1(Object obj) {
switch (obj) {
case Float _ -> {}
case Integer _, CharSequence _, String _ when obj.hashCode() > 0 -> { } // error
default -> throw new IllegalStateException("Unexpected value: " + obj);
}
}
void test2(Object obj) {
switch (obj) {
case Float _ -> {}
case Integer _, CharSequence _, String _ -> { }
default -> throw new IllegalStateException("Unexpected value: " + obj); // error
}
}
void test3(Object obj) {
switch (obj) {
case Float _, CharSequence _ when obj.hashCode() > 0 -> { } // OK
case Integer _, String _ when obj.hashCode() > 0 -> { } // OK, since the previous case is guarded
default -> throw new IllegalStateException("Unexpected value: " + obj);
}
}
void test4(Object obj) {
switch (obj) {
case Float _, CharSequence _ -> { } // OK
case Integer _, String _ when obj.hashCode() > 0 -> { } // error, since the previous case is unguarded
default -> throw new IllegalStateException("Unexpected value: " + obj);
}
}
}