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
duke@1 | 1 | T6214885.java:11 cannot find symbol |
duke@1 | 2 | x = 1; |
duke@1 | 3 | ^ |
mcimadamore@221 | 4 | symbol: variable x |
mcimadamore@221 | 5 | location: class T6214885 |
duke@1 | 6 | 1 error |