Manu Sridharan
Manu Sridharan
Thanks for the feedback @moaxcp. I've re-opened this issue to track the task of improving the documentation and sample as you suggest.
@cushon it may be good to add in the 2.43.0 release notes that Error Prone now requires JDK 21+.
Linking this comment on the previous PR so it doesn't get lost (regarding overhead): https://github.com/typetools/checker-framework/pull/6661#issuecomment-2297482333
I can reproduce this and I think we should handle it. It'll take a bit of time to do the implementation required.
@agrieve getting back to this one after a while. How important is fixing this for you all? I have a tentative fix but I'm a bit concerned about performance overhead....
Ok, since this just leads to false positives and it seems to come up rarely, I'm going to de-prioritize it for now. Happy to look again if someone else hits...
Sorry for the slow response. I think this is in a similar category to #98 and #1112. Here, I think the issue is that the dataflow analysis does not prune...
Interesting! How often does this come up in your code base? The bug is that we use the environment from the program point just before the lambda is created to...
One question here. Using the Gradle Tooling API seems like a great way to accurately detect dependencies for a Gradle project. But when a dependency is out of date, there...
You are correct, we should allow such assignments to `@MonotonicNonNull` fields in the constructor.