test/langtools/tools/javac/ConditionalWithVoid.java
author dmarkov
Mon, 23 Sep 2019 17:18:03 +0100
changeset 58328 fe46ee1d42ee
parent 53878 4584d0331318
child 59021 cfc7bb9a5a92
permissions -rw-r--r--
8230782: Robot.createScreenCapture() fails if “awt.robot.gtk” is set to false Reviewed-by: prr, serb
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
10
06bc494ca11e Initial load
duke
parents:
diff changeset
     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
06bc494ca11e Initial load
duke
parents:
diff changeset
     4
 * @summary The compiler was allowing void types in its parsing of conditional expressions.
06bc494ca11e Initial load
duke
parents:
diff changeset
     5
 * @author tball
06bc494ca11e Initial load
duke
parents:
diff changeset
     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
06bc494ca11e Initial load
duke
parents:
diff changeset
     8
 */
06bc494ca11e Initial load
duke
parents:
diff changeset
     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
06bc494ca11e Initial load
duke
parents:
diff changeset
    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
06bc494ca11e Initial load
duke
parents:
diff changeset
    19
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
    20
}