test/tools/javac/generics/diamond/neg/Neg01.java

changeset 914
ca32f2986301
parent 543
97b6fa97b8dd
child 2525
2eb010b6cb22
     1.1 --- a/test/tools/javac/generics/diamond/neg/Neg01.java	Mon Mar 07 14:11:48 2011 +0000
     1.2 +++ b/test/tools/javac/generics/diamond/neg/Neg01.java	Mon Mar 07 14:31:50 2011 +0000
     1.3 @@ -1,8 +1,9 @@
     1.4  /*
     1.5   * @test /nodynamiccopyright/
     1.6 - * @bug 6939620
     1.7 + * @bug 6939620 7020044
     1.8   *
     1.9 - * @summary  Switch to 'complex' diamond inference scheme
    1.10 + * @summary  Check that diamond fails when inference violates declared bounds
    1.11 + *           (basic test with nested class, generic/non-generic constructors)
    1.12   * @author mcimadamore
    1.13   * @compile/fail/ref=Neg01.out Neg01.java -XDrawDiagnostics
    1.14   *
    1.15 @@ -20,19 +21,9 @@
    1.16          Neg01<?> n3 = new Neg01<>("");
    1.17          Neg01<? super String> n4 = new Neg01<>("");
    1.18  
    1.19 -        Neg01<String> n5 = new Neg01<>(""){};
    1.20 -        Neg01<? extends String> n6 = new Neg01<>(""){};
    1.21 -        Neg01<?> n7 = new Neg01<>(""){};
    1.22 -        Neg01<? super String> n8 = new Neg01<>(""){};
    1.23 -
    1.24 -        Neg01<String> n9 = new Neg01<>("", "");
    1.25 -        Neg01<? extends String> n10 = new Neg01<>("", "");
    1.26 -        Neg01<?> n11 = new Neg01<>("", "");
    1.27 -        Foo<? super String> n12 = new Neg01<>("", "");
    1.28 -
    1.29 -        Neg01<String> n13 = new Neg01<>("", ""){};
    1.30 -        Neg01<? extends String> n14 = new Neg01<>("", ""){};
    1.31 -        Neg01<?> n15 = new Neg01<>("", ""){};
    1.32 -        Neg01<? super String> n16 = new Neg01<>("", ""){};
    1.33 +        Neg01<String> n5 = new Neg01<>("", "");
    1.34 +        Neg01<? extends String> n6 = new Neg01<>("", "");
    1.35 +        Neg01<?> n7 = new Neg01<>("", "");
    1.36 +        Foo<? super String> n8 = new Neg01<>("", "");
    1.37      }
    1.38  }

mercurial