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@95 | 1 | [attribute Y] |
mcimadamore@95 | 2 | [flow Y] |
mcimadamore@95 | 3 | [attribute W] |
mcimadamore@95 | 4 | [flow W] |
mcimadamore@95 | 5 | [attribute Z] |
mcimadamore@95 | 6 | [flow Z] |
jjg@384 | 7 | T6734819c.java:15:11: compiler.err.unreachable.stmt |
mcimadamore@95 | 8 | 1 error |