Manu Sridharan

I can't reproduce this. I cloned the repo and checked out the `external/bug/ep` branch, and this is what I see: ``` $ ./gradlew compileJava --console=plain Reusing configuration cache. > Task...

Interesting. I cannot repro locally on a Mac building with JDK 11, 17, or 21. Not sure what's happening. In any case I expect the issue is with the Var...

> hmm... I run linux locally, and so does the builder... I wonder if it could secretly have to do with Java on Linux... any chance you have the ability...

@xenoterracide this is due to the fact that NullAway's support for generic types is still a WIP. We're slowly approaching something usable but I'd say it's not quite there yet....

I think you're just running into shortcomings / missing features of our implementation. Can you point me at the source for the `Try` class?

But bottom line our support for JSpecify is not ready for real-world use yet. The only open implementation I know of that would probably work is https://github.com/jspecify/jspecify-reference-checker. But these test...

> It's vavr ... https://github.com/vavr-io/vavr Ok, so there are multiple things going on here. First, let's assume you've made `io.vavr` an annotated package in your NullAway config. Here is the...

So for libraries outside of annotated packages, like vavr, to me the most sensible JSpecify behavior is to treat them as `@NullUnmarked` absent some explicit `@NullMarked` annotation somewhere. With that...

Our plan for detection of annotated libraries is as follows: * We will continue to support the annotated packages option. If the library code is in an annotated package, it...

> If there aren't module/package annotations we can set a library to marked ourselves? presumably like I do my own. Yes, by just using the [annotated packages option](https://github.com/uber/NullAway/wiki/Configuration#annotated-packages). > Is...