author | dmarkov |
Mon, 23 Sep 2019 17:18:03 +0100 | |
changeset 58328 | fe46ee1d42ee |
parent 53878 | 4584d0331318 |
child 59021 | cfc7bb9a5a92 |
permissions | -rw-r--r-- |
10 | 1 |
/* |
26528
a1a7ad15183e
8055075: Group 9b: golden files for tests in tools/javac dir
sogoel
parents:
5520
diff
changeset
|
2 |
* @test /nodynamiccopyright/ |
27551
14a74a56c4a0
8064464: regression with type inference of conditional expression
mcimadamore
parents:
26528
diff
changeset
|
3 |
* @bug 4974927 8064464 |
10 | 4 |
* @summary The compiler was allowing void types in its parsing of conditional expressions. |
5 |
* @author tball |
|
6 |
* |
|
53878
4584d0331318
8219254: Update explicit uses of latest source/target in langtools tests to a property
darcy
parents:
53023
diff
changeset
|
7 |
* @compile/fail/ref=ConditionalWithVoid.out --enable-preview -source ${jdk.version} -XDrawDiagnostics ConditionalWithVoid.java |
10 | 8 |
*/ |
9 |
public class ConditionalWithVoid { |
|
51563
de411d537aae
8206986: Compiler support for Switch Expressions (Preview)
jlahoda
parents:
47216
diff
changeset
|
10 |
public void test(Object o, String s) { |
27551
14a74a56c4a0
8064464: regression with type inference of conditional expression
mcimadamore
parents:
26528
diff
changeset
|
11 |
// Should fail to compile since Object.wait() has a void return type. Poly case. |
10 | 12 |
System.out.println(o instanceof String ? o.hashCode() : o.wait()); |
27551
14a74a56c4a0
8064464: regression with type inference of conditional expression
mcimadamore
parents:
26528
diff
changeset
|
13 |
// Should fail to compile since Object.wait() has a void return type. Standalone case. |
14a74a56c4a0
8064464: regression with type inference of conditional expression
mcimadamore
parents:
26528
diff
changeset
|
14 |
(o instanceof String ? o.hashCode() : o.wait()).toString(); |
51563
de411d537aae
8206986: Compiler support for Switch Expressions (Preview)
jlahoda
parents:
47216
diff
changeset
|
15 |
// Should fail to compile since Object.wait() has a void return type. Poly case. |
de411d537aae
8206986: Compiler support for Switch Expressions (Preview)
jlahoda
parents:
47216
diff
changeset
|
16 |
System.out.println(switch (s) {case "" -> o.hashCode(); default -> o.wait();}); |
de411d537aae
8206986: Compiler support for Switch Expressions (Preview)
jlahoda
parents:
47216
diff
changeset
|
17 |
// Should fail to compile since Object.wait() has a void return type. Standalone case. |
de411d537aae
8206986: Compiler support for Switch Expressions (Preview)
jlahoda
parents:
47216
diff
changeset
|
18 |
(switch (s) {case "" -> o.hashCode(); default -> o.wait();}).toString(); |
10 | 19 |
} |
20 |
} |