Fri, 22 Mar 2013 12:43:09 +0000
8010303: Graph inference: missing incorporation step causes spurious inference error
Summary: Multiple equality constraints on inference vars are not used to generate new inference constraints
Reviewed-by: jjg
1 /*
2 * @test /nodynamiccopyright/
3 * @bug 7022054
4 *
5 * @summary Invalid compiler error on covariant overriding methods with the same erasure
6 * @compile/fail/ref=T7022054neg1.out -XDrawDiagnostics T7022054neg1.java
7 *
8 */
10 class T7022054neg1 {
11 static class A {
12 A m(String s) { return null; }
13 }
14 static class B extends A {
15 <X extends String> A m(X s) { return null; }
16 }
17 }