Closed GoogleCodeExporter closed 9 years ago
This issue was closed by revision 7439163ff453.
Original comment by mcart...@cs.washington.edu
on 29 Jan 2015 at 8:10
David,
is this really reproducing this issue:
https://groups.google.com/d/msg/checker-framework-discuss/dnniR5fe52w/sL0HZE3oGw
EJ
?
This test case doesn't contain a diamond. The diamond would explain the
"unexpected context: Object [] (ARRAY)" in the stack trace.
Could you also add a case with "new ArrayList<>()" to ensure this is covered?
Original comment by wdi...@gmail.com
on 30 Jan 2015 at 2:02
Fixed in release 1.8.10 of the Checker Framework.
Original comment by mcart...@cs.washington.edu
on 30 Jan 2015 at 10:57
Werner,
I've changed the test case.
Original comment by mcart...@cs.washington.edu
on 30 Jan 2015 at 11:34
Original issue reported on code.google.com by
mcart...@cs.washington.edu
on 29 Jan 2015 at 7:47