Closed GoogleCodeExporter closed 9 years ago
I reproduced this using the head of code.google.com/p/checker-framework.
For developers:
This issues appears to be fixed in the type-variable fixup repo.
Original comment by Jonathan...@gmail.com
on 18 Nov 2014 at 8:14
That's great that the type-variable fixup repo has already corrected this issue.
For Liam and others who may be interested: We have done a great deal of work
to correct long-standing and subtle issues with how the Checker Framework
handles type variables. These changes are a great improvement, but they aren't
ready for general release yet. We plan to merge those changes into the
mainline Checker Framework repository in December, so they will appear in the
January 1 release.
I realize that doesn't help you in the short term, but at least you know that a
fix is on the way.
(To the developers: could someone please commit this as a test case that
mentions this issue, leave a comment here saying what the test case is, and
disable the test case for now? Thanks.)
Original comment by michael.ernst@gmail.com
on 19 Nov 2014 at 4:28
Original comment by Jonathan...@gmail.com
on 8 Apr 2015 at 9:04
Original comment by jtha...@cs.washington.edu
on 18 Apr 2015 at 6:42
Original issue reported on code.google.com by
cus...@google.com
on 18 Nov 2014 at 5:57Attachments: