1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
/*
* @test /nodynamiccopyright/
* @summary Testing record patterns against the null constant (14.30.2 Pattern Matching)
*/
public class NullsInDeconstructionPatterns {
class Super {}
class Sub extends Super {}
record R(Super s) {}
public static void main(String[] args) {
R r = new R(null);
if (r instanceof R(Super s1)) {
System.out.println("R(Super s1) is resolved to the R(any pattern) and does match");
} else {
throw new AssertionError("broken");
}
if (r instanceof R(Object o)) {
System.out.println("R(Object) is resolved to the R(any pattern) and does match");
} else {
throw new AssertionError("broken");
}
if (r instanceof R(Sub s2)) {
throw new AssertionError("broken");
} else {
System.out.println("R(Sub s2) is resolved to the pattern R(Sub s) and does not match");
}
}
}
|
