Closed GoogleCodeExporter closed 9 years ago
The root cause was that we were not handling multiple type variables used in an
array initializer.
Original comment by mcart...@cs.washington.edu
on 26 Jan 2015 at 11:01
Fixed in release 1.8.10 of the Checker Framework.
Original comment by mcart...@cs.washington.edu
on 30 Jan 2015 at 10:57
Original issue reported on code.google.com by
mcart...@cs.washington.edu
on 23 Jan 2015 at 5:18