russell@unturf.com
0a580b313d
Authors: russell@unturf.com · brackishbert@gmail.com · foxhop.net · TimeHexOn.com Patches, unit tests, benchmarks, whitepaper, and outreach briefs. Public domain — no copyright claimed. Use freely.
24 lines
546 B
Java
24 lines
546 B
Java
/*
|
|
* @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 -> {}
|
|
}
|
|
}
|
|
}
|