Mercurial > jdk8-mips64-public > langtools / file revision

• file
• revisions
• annotate
• diff
• comparison
• raw

test/tools/javac/generics/diamond/7030150/Neg03.java@f5b5112ee1cc

test/tools/javac/generics/diamond/7030150/Neg03.java

Tue, 29 Mar 2011 16:40:51 +0100

author

mcimadamore

date

Tue, 29 Mar 2011 16:40:51 +0100

changeset 950

f5b5112ee1cc

permissions

-rw-r--r--

7030150: Type inference for generic instance creation failed for formal type parameter
Summary: Problem when explicit generic constructor type-arguments are used in conjunction with diamond
Reviewed-by: jjg

 /*

  * @test /nodynamiccopyright/

  * @bug 7030150

  * @summary Type inference for generic instance creation failed for formal type parameter

  *          check that explicit type-argument that does not conform to bound is rejected

  * @compile/fail/ref=Neg03.out -XDrawDiagnostics Neg03.java

  */

 class Neg03 {

     static class Foo<X> {

         <T extends Integer> Foo(T t) {}

     }

     Foo<Integer> fi1 = new <String> Foo<>(1);

     Foo<Integer> fi2 = new <String> Foo<Integer>(1);

 }