Manu Sridharan
Manu Sridharan
> The stream handler is very specifically reasoning about "paths rooted at the argument of the filter that are re-rooted at the argument of the following stream operations", it is...
Thanks for the repro case, @Wolf2323, I see this behavior as well. Unfortunately fixing this issue will require better support for generics / [JSpecify](https://jspecify.dev); I don't we can easily fix...
Yeah, the JSpecify support will not work with the Jetbrains annotations right now. Once it's in better shape I can comment back and we can see if it's feasible for...
I think this was fixed by #958
Interesting use case. My immediate leaning is towards 1, possibly with some additional checks that validation will occur if configured correctly. E.g., I think the presence of the `@Valid` annotation...
Yes, NullAway doesn't properly parse annotations on arrays (or varargs); it interprets the `@Nullable` annotation in your example as pertaining to the reference to the array itself, not to the...
Wow @cpovirk that was _not_ expected. I am going to pull that out as a separate issue.
@cpovirk the issue you observed was fixed in #702
Thanks a lot @cpovirk! We will keep an eye out for that issue. I would have been very confused without your comment. I hope to get back to this issue...
Similar to https://github.com/uber/NullAway/pull/1010#issuecomment-2267595218 here is a table of expected behaviors with varargs annotations: | Annotation Type | Annotation Position | Mode | `@Nullable` varargs array | `@Nullable` array elements |...