Manu Sridharan

Also, for varargs, we do have the unchecked `@EnsuresCalledMethodsVarArgs`, docs [here](https://checkerframework.org/api/org/checkerframework/checker/calledmethods/qual/EnsuresCalledMethodsVarArgs.html). This can be useful for utility routines like [`IOUtils.closeQuietly`](https://commons.apache.org/proper/commons-io/apidocs/org/apache/commons/io/IOUtils.html#closeQuietly-java.io.Closeable...-) that are guaranteed to invoke `close()` on all of their...

One nasty issue we need to think through here is mutation. Consider: ```java class Closeables implements Closeable { final @Owning Closeable[] res; Closeables(@Owning Closeable... r) { res = r; }...

@jacek-lewandowski this latest issue looks like a separate bug to me. I am not sure of the root cause. Could you file it as a distinct issue from this one?

> I'm sorry, I know that Apache Cassandra is a demanding project for this kind of tools but we believe your tool will help use significantly improve the code :)...

@kelloggm > I took a look at this example. I don't think it indicates a bug in the checker per se: rather, I think the issue here is that the...

Also, while the checker may not report any warnings for @kelloggm's updated example, I'm not sure it is verifying the intended property. In particular: 1. We have `@InheritableMustCall({"removeAll"})` on `ResourcesMap`,...

Hi @jacek-lewandowski, > Let me say that my words: > > ```java > @MustCall({"a", "b"}) > class Test { > void a(); > void b(); > void c(); > }...

I think this should be closed? JavaParser now supports these keywords

I think it would be good for `CheckerMain` to emit a warning message whenever an arg file is used, so users don't have to go look up the documentation to...

@haewiful CI is failing: https://github.com/uber/NullAway/actions/runs/9507798037/job/26207945224?pr=958#step:6:506 You can run `./gradlew :nullaway:buildWithNullAway` to reproduce. It's failing when we try to run NullAway on itself.