2015-07-01 09:51:48 +02:00
|
|
|
/**
|
|
|
|
* @test /nodynamiccopyright/
|
|
|
|
* @bug 8072480
|
2022-10-18 07:45:23 +00:00
|
|
|
* @summary Verify that javac rejects Java 17 program with --release 11
|
2015-07-01 09:51:48 +02:00
|
|
|
* @compile ReleaseOption.java
|
2022-10-18 07:45:23 +00:00
|
|
|
* @compile/fail/ref=ReleaseOption.out -XDrawDiagnostics --release 11 ReleaseOption.java
|
2015-07-01 09:51:48 +02:00
|
|
|
*/
|
|
|
|
|
2022-10-18 07:45:23 +00:00
|
|
|
interface ReleaseOption extends java.util.random.RandomGenerator {
|
2015-07-01 09:51:48 +02:00
|
|
|
}
|