equal
deleted
inserted
replaced
23 |
23 |
24 /** |
24 /** |
25 * @test |
25 * @test |
26 * @bug 8214031 |
26 * @bug 8214031 |
27 * @summary Verify that definite assignment when true works (legal code) |
27 * @summary Verify that definite assignment when true works (legal code) |
28 * @compile --enable-preview --source 12 DefiniteAssignment1.java |
28 * @compile --enable-preview --source 13 DefiniteAssignment1.java |
29 * @run main/othervm --enable-preview DefiniteAssignment1 |
29 * @run main/othervm --enable-preview DefiniteAssignment1 |
30 */ |
30 */ |
31 public class DefiniteAssignment1 { |
31 public class DefiniteAssignment1 { |
32 public static void main(String[] args) { |
32 public static void main(String[] args) { |
33 int a = 0; |
33 int a = 0; |