File: T8317300.java

package info (click to toggle)
openjdk-25 25.0.1%2B8-1~deb13u1
  • links: PTS, VCS
  • area: main
  • in suites: trixie
  • size: 825,408 kB
  • sloc: java: 5,585,680; cpp: 1,333,948; xml: 1,321,242; ansic: 488,034; asm: 404,003; objc: 21,088; sh: 15,106; javascript: 13,265; python: 8,319; makefile: 2,518; perl: 357; awk: 351; pascal: 103; exp: 83; sed: 72; jsp: 24
file content (24 lines) | stat: -rw-r--r-- 546 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
 
/*
 * @test /nodynamiccopyright/
 * @bug 8317300
 * @summary javac erroneously allows "final" in front of a record pattern
 * @compile/fail/ref=T8317300.out -XDrawDiagnostics T8317300.java
 */
public class T8317300 {
    record Foo (int x) {}
    record Bar (Foo x) {}

    void test1(Object obj) {
        switch (obj) {
            case final Foo(int x) -> {}
            default -> {}
        }
    }

    void test2(Object obj) {
        switch (obj) {
            case Bar(final Foo(int x)) -> {}
            default -> {}
        }
    }
}