Open GoogleCodeExporter opened 9 years ago
Thanks for the bug report! I agree that this behavior is incorrect. I have
added a new test case, checkers/tests/nullness/generics/InferMethod.java, on
the dff branch. I regret that no fix will be ready by the May 1 release of the
Checker Framework.
Original comment by michael.ernst@gmail.com
on 1 May 2013 at 3:01
Original issue reported on code.google.com by
kaspervd...@gmail.com
on 27 Apr 2013 at 7:02Attachments: