Manu Sridharan

Wasn't sure whether to comment on #98 or here, but I'll go ahead here for now. With NullAway, we're at the point where it would be pretty useful to be...

Thanks so much, @cpovirk that's really helpful! We'll have to think about how we could adopt such an approach for NullAway. At the very least, though, we will almost certainly...

Confirmed fixed in 6.6.1, thanks!

It looks like the MODULE target can also cause problems with javadoc: https://github.com/wala/WALA/actions/runs/3634061250/jobs/6131766621#step:5:253 I see #351 actually removed `@Target(MODULE)` from `@NullUnmarked`. @cpovirk any chance we could get an `0.3.0-alpha-3` release...

Thanks a lot @cpovirk I think the alpha 3 release should fix it!

> Seen in the wild: https://stackoverflow.com/a/76254522/28465 If we ever get any further info, I'd be curious to know the use case for writing `@NullMarked` on a method (though of course...

The CI failure here is due to a certicate issue: ``` Checking homepage URL (https://people.computing.clemson.edu/~ioannis/) ERROR: An exception occurred: HTTPSConnectionPool(host='people.computing.clemson.edu', port=443): Max retries exceeded with url: /~ioannis/ (Caused by SSLError(SSLCertVerificationError(1,...

IMO we can close this as long as #674 tracks the remaining known issues with our handling of varargs. We should track reporting the Kotlin issue separatley.

@alxhill this is an interesting example. We basically want to learn that after the `filter`, all values in the resulting stream are contained in some map. I think we have...

> It might be possible to extend the stream handler to also propagate facts belonging to the shared closure of all lambdas in the stream, but I am not sure...