Closed GoogleCodeExporter closed 9 years ago
Hi Liam,
thanks for the report.
I cannot reproduce the issue with the current trunk version. Are you using the
last release I assume?
I guess this issue was caused by not correctly inferring a type argument for
verifyNotNull, which then confused the CFG generation for enhanced-for.
Jonathan recently pushed many improvements to type arg inference.
With trunk, I get:
Issue419.java:5: error: [return.type.incompatible] incompatible types in return.
return o;
^
found : T[ extends @Initialized @Nullable Object super @FBCBottom @Nullable Void]
required: T[ extends @Initialized @NonNull Object super @FBCBottom @NonNull Void]
1 error
Which seems like the right error, as your verify method doesn't verify anything
:-)
Can you by any chance try running with the trunk version? Other things might
break and we would appreciate the feedback before the next release.
Original comment by wdi...@gmail.com
on 23 Mar 2015 at 10:40
Hi Werner,
Yes, this was with the 1.8.11 release. The error produced by trunk looks good
to me, I realize the repro code is silly in a few ways :)
I'm testing against trunk now, and will let you know once I have results.
Thanks!
Original comment by cus...@google.com
on 24 Mar 2015 at 9:46
I added the test case to make sure the issue doesn't return.
https://code.google.com/p/checker-framework/source/detail?r=3f2c6bccbbf05716b7cd
bf28c9fedeb18e718271
Thanks,
cu, WMD.
Original comment by wdi...@gmail.com
on 25 Mar 2015 at 9:35
Original issue reported on code.google.com by
cus...@google.com
on 23 Mar 2015 at 3:37