equal
deleted
inserted
replaced
23 |
23 |
24 /** |
24 /** |
25 * @test |
25 * @test |
26 * @bug 8214031 8221413 |
26 * @bug 8214031 8221413 |
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 ${jdk.version} DefiniteAssignment1.java |
28 * @compile DefiniteAssignment1.java |
29 * @run main/othervm --enable-preview DefiniteAssignment1 |
29 * @run main 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; |
34 boolean b = true; |
34 boolean b = true; |