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

changeset 950
f5b5112ee1cc
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/test/tools/javac/generics/diamond/7030150/Neg03.java	Tue Mar 29 16:40:51 2011 +0100
     1.3 @@ -0,0 +1,17 @@
     1.4 +/*
     1.5 + * @test /nodynamiccopyright/
     1.6 + * @bug 7030150
     1.7 + * @summary Type inference for generic instance creation failed for formal type parameter
     1.8 + *          check that explicit type-argument that does not conform to bound is rejected
     1.9 + * @compile/fail/ref=Neg03.out -XDrawDiagnostics Neg03.java
    1.10 + */
    1.11 +
    1.12 +class Neg03 {
    1.13 +
    1.14 +    static class Foo<X> {
    1.15 +        <T extends Integer> Foo(T t) {}
    1.16 +    }
    1.17 +
    1.18 +    Foo<Integer> fi1 = new <String> Foo<>(1);
    1.19 +    Foo<Integer> fi2 = new <String> Foo<Integer>(1);
    1.20 +}

mercurial