Manu Sridharan

This is a really cool PR! Is there any idea what the performance impact will be? In NullAway, local type inference is one of the most expensive parts of checking,...

Not sure if you tried it already but it looks like there is an `-e` option that might lead to stack traces being printed

> I traced this emptiness all the way up the stack trace; in AbstractTypeProcessor.java, around 180, the TaskEvent that the Checker Framework gets from javac contains a compilation unit that...

@kelloggm I did a bit more debugging of this case and here is what I found. `AbstractTypeProcessor.AttributionTaskListener#finished` gets called _twice_ for `CMAExample1.java`, corresponding to the two top-level classes in the...

> I would like to develop a checker that can execute over the program, just like another analysis/compiler pass, which also has access to the system's own data structures (not...

@skehrli does this issue relate to the defaulting changes you and @mernst were proposing for type variables? Maybe we could pull in that change separate from your other work?

Hrm, I can't repro this one; tried a couple different ways. Any way you could make a standalone github project with the same issue?

Can I ask where the error gets reported? If it's getting reported at the `foo.isNull()` call then that is definitely a bug. I agree with you that if/when we do...

Hi @beatbrot thanks for the report. We currently have no support for generic methods in JSpecify mode, only generic classes. See further details here: https://github.com/uber/NullAway/wiki/JSpecify-Support We are actively working on...

I'm happy to report that with the latest fixes from @haewiful the test case in this issue now passes in JSpecify mode! See #1074. Note that the test only passes...