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 package p;
2
3 class Outer {
4 class Super {}
5 }