Open GoogleCodeExporter opened 9 years ago
I have reproduced this error and created the test case:
checker/tests/nullness/Issue372.java
Original comment by mcart...@cs.washington.edu
on 19 Nov 2014 at 10:04
Original comment by mcart...@cs.washington.edu
on 19 Nov 2014 at 11:14
Original comment by mcart...@cs.washington.edu
on 19 Nov 2014 at 11:15
Original issue reported on code.google.com by
ClovisSe...@gmail.com
on 4 Oct 2014 at 10:48