1 /*

     2  * @test /nodynamiccopyright/

     3  * @bug 7015430

     4  *

     5  * @summary  Incorrect thrown type determined for unchecked invocations

     6  * @author Daniel Smith

     7  * @compile/fail/ref=T7015430.out -Xlint:unchecked -XDrawDiagnostics T7015430.java

     8  *

     9  */

    10 

    11 class T7015430 {

    12     static <E extends Exception> Iterable<E> empty(Iterable<E> arg) throws E {

    13         return null;

    14     }

    15 

    16     <E extends Exception> T7015430(Iterable<E> arg) throws E { }

    17 

    18     static <E extends Exception> Iterable<E> empty2(Iterable x) throws E {

    19         return null;

    20     }

    21 

    22     static class Foo<X extends Exception> {

    23         Foo() throws X {}

    24     }

    25 

    26     /**

    27     * Method invocation, no unchecked

    28     * inferred: RuntimeException - should pass

    29     */

    30     void m1() {

    31         Iterable<RuntimeException> i = java.util.Collections.emptyList();

    32         empty(i);

    33     }

    34 

    35     /**

    36     * Method invocation, unchecked, inferred arguments

    37     * inferred: Exception - should fail

    38     */

    39     void m2() {

    40         Iterable i = java.util.Collections.EMPTY_LIST;

    41         empty(i);

    42     }

    43 

    44     /**

    45     * Method invocation, unchecked, explicit arguments

    46     * inferred: RuntimeException - should pass

    47     */

    48     void m3() {

    49         Iterable i = java.util.Collections.EMPTY_LIST;

    50         T7015430.<RuntimeException>empty(i);

    51     }

    52 

    53     /**

    54     * Constructor invocation, no unchecked

    55     * inferred: RuntimeException - should pass

    56     */

    57     void m4() {

    58         Iterable<RuntimeException> i = java.util.Collections.emptyList();

    59         new T7015430(i);

    60     }

    61 

    62     /**

    63     * Constructor invocation, unchecked, inferred arguments

    64     * inferred: Exception - should fail

    65     */

    66     void m5() {

    67         Iterable i = java.util.Collections.EMPTY_LIST;

    68         new T7015430(i);

    69     }

    70 

    71     /**

    72     * Constructor invocation, unchecked, explicit arguments

    73     * inferred: RuntimeException - should pass

    74     */

    75     void m6() {

    76         Iterable i = java.util.Collections.EMPTY_LIST;

    77         new <RuntimeException>T7015430(i);

    78     }

    79 

    80     /**

    81     * Method invocation, no unchecked, inferred arguments

    82     * inferred: RuntimeException - should pass

    83     */

    84     void m7() {

    85         Iterable i = java.util.Collections.EMPTY_LIST;

    86         Iterable<RuntimeException> e = empty2(i);

    87     }

    88 

    89     /**

    90     * Method invocation, no unchecked, inferred arguments

    91     * inferred: Exception - should fail

    92     */

    93     void m8() {

    94         Iterable i = java.util.Collections.EMPTY_LIST;

    95         empty2(i);

    96     }

    97 

    98     /**

    99     * Constructor invocation, unchecked, explicit arguments

   100     * inferred: RuntimeException - should pass

   101     */

   102     void m9() {

   103         Iterable i = java.util.Collections.EMPTY_LIST;

   104         new <RuntimeException> T7015430(i);

   105     }

   106 

   107     /**

   108     * Constructor invocation, unchecked, inferred arguments

   109     * inferred: Exception - should fail

   110     */

   111     void m10() {

   112         Iterable i = java.util.Collections.EMPTY_LIST;

   113         new T7015430(i);

   114     }

   115 

   116     /**

   117     * Constructor invocation, no unchecked, inferred arguments (diamond)

   118     * inferred: RuntimeException - should pass

   119     */

   120     void m11() {

   121         Foo<RuntimeException>  o = new Foo<>();

   122     }

   123 

   124     /**

   125     * Constructor invocation, no unchecked, inferred arguments (diamond)

   126     * inferred: Exception - should fail

   127     */

   128     void m12() {

   129         new Foo<>();

   130     }

   131 }