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

changeset 950
f5b5112ee1cc
equal deleted inserted replaced
949:ddec8c712e85 950:f5b5112ee1cc
1 /*
2 * @test /nodynamiccopyright/
3 * @bug 7030150
4 * @summary Type inference for generic instance creation failed for formal type parameter
5 * check that explicit type-argument that does not conform to bound is rejected
6 * @compile/fail/ref=Neg03.out -XDrawDiagnostics Neg03.java
7 */
8
9 class Neg03 {
10
11 static class Foo<X> {
12 <T extends Integer> Foo(T t) {}
13 }
14
15 Foo<Integer> fi1 = new <String> Foo<>(1);
16 Foo<Integer> fi2 = new <String> Foo<Integer>(1);
17 }

mercurial