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 5009937
4 * @summary hiding versus generics versus binary compatibility
5 * @author Maurizio Cimadamore
6 *
7 * @compile/fail/ref=T5009937.out -XDrawDiagnostics T5009937.java
8 */
10 public class T5009937<X> {
11 static class A {
12 static void m(T5009937<String> l) {}
13 }
15 static class B extends A {
16 static void m(T5009937<Integer> l) {}
17 }
18 }