| /* |
| * @test /nodynamiccopyright/ |
| * @bug 6939620 7020044 8062373 |
| * |
| * @summary Check that diamond fails when inference violates declared bounds |
| * (basic test with nested class, generic/non-generic constructors) |
| * @author mcimadamore |
| * @compile/fail/ref=Neg01.out Neg01.java -XDrawDiagnostics |
| * |
| */ |
| |
| class Neg01<X extends Number> { |
| |
| Neg01(X x) {} |
| |
| <Z> Neg01(X x, Z z) {} |
| |
| void test() { |
| Neg01<String> n1 = new Neg01<>(""); |
| Neg01<? extends String> n2 = new Neg01<>(""); |
| Neg01<?> n3 = new Neg01<>(""); |
| Neg01<? super String> n4 = new Neg01<>(""); |
| |
| Neg01<String> n5 = new Neg01<>("", ""); |
| Neg01<? extends String> n6 = new Neg01<>("", ""); |
| Neg01<?> n7 = new Neg01<>("", ""); |
| Foo<? super String> n8 = new Neg01<>("", ""); |
| |
| Neg01<String> n9 = new Neg01<>("", ""){}; |
| Neg01<? extends String> n10 = new Neg01<>("", ""){}; |
| Neg01<?> n11 = new Neg01<>("", ""){}; |
| Neg01<? super String> n12 = new Neg01<>("", ""){}; |
| |
| Neg01<String> n13 = new Neg01<>(""){}; |
| Neg01<? extends String> n14 = new Neg01<>(""){}; |
| Neg01<?> n15 = new Neg01<>(""){}; |
| Neg01<? super String> n16 = new Neg01<>(""){}; |
| |
| } |
| } |