equal
deleted
inserted
replaced
1 /** |
1 /** |
2 * @test /nodynamiccopyright/ |
2 * @test /nodynamiccopyright/ |
3 * @bug 8214031 |
3 * @bug 8214031 |
4 * @summary Verify that definite assignment when true works (illegal code) |
4 * @summary Verify that definite assignment when true works (illegal code) |
5 * @compile/fail/ref=DefiniteAssignment2.out --enable-preview --source 13 -XDrawDiagnostics DefiniteAssignment2.java |
5 * @compile/fail/ref=DefiniteAssignment2.out --enable-preview --source ${jdk.version} -XDrawDiagnostics DefiniteAssignment2.java |
6 */ |
6 */ |
7 public class DefiniteAssignment2 { |
7 public class DefiniteAssignment2 { |
8 |
8 |
9 public static void main(String[] args) { |
9 public static void main(String[] args) { |
10 int a = 0; |
10 int a = 0; |