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
mcimadamore@1510 | 1 | TargetType39.java:19:13: compiler.err.prob.found.req: (compiler.misc.cyclic.inference: U) |
mcimadamore@1510 | 2 | TargetType39.java:20:13: compiler.err.prob.found.req: (compiler.misc.cyclic.inference: V) |
mcimadamore@1415 | 3 | 2 errors |