Tue, 12 Mar 2013 16:02:43 +0000
8009545: Graph inference: dependencies between inference variables should be set during incorporation
Summary: Move all transitivity checks into the incorporation round
Reviewed-by: jjg
mcimadamore@1510 | 1 | TargetType10.java:17:18: compiler.err.prob.found.req: (compiler.misc.cyclic.inference: B,A) |
mcimadamore@1415 | 2 | 1 error |