Manu Sridharan

Hi @graememorgan thanks! I saw #4873 which I think will fix the issue at runtime, but the new code still won't compile on JDK 17 due to the non-reflective call...

Ok, at some point I might write some docs on how to import into IntelliJ since it's slightly non-trivial. I can document changing the compiler version required there.

Like @leaskc I'm also seeing this issue on Sequoia 15.6 with Espanso 2.2.3, and downgrading to 2.2.1 fixed the issue. Should we open a separate issue for the Sequoia problem,...

In case it's helpful, the workaround of running `espanso service start --unmanaged` did _not_ work for me on Sequoia 15.6 (I still saw the same dialog).

Thanks for the report @bystc. As you've observed WALA's slicer does not detect the contradiction in your example and eliminate dead code. I feel for cases like this, one might...

Note that the body of the `identity` method should not type check, as returning `this` won't always return an `Inner` with a `@Nullable` type argument. But this checking of generic...

This would take some work as we do not yet track an unknown nullness state. We may need to do so eventually for better JSpecify support. Possibly we could carve...

Thanks for the offer @raccoonback! Here is the code that emits this error: https://github.com/uber/NullAway/blob/7b64688ae693825c350b31a20c9a3ba9bfdbdf89/nullaway/src/main/java/com/uber/nullaway/NullAway.java#L2059-L2078 The simplest change I can think of would be to check if the actual parameter `actual`...

@raccoonback are you able to take this one on?

Thanks for the report. This doesn't work because we need to run a dataflow analysis within the lambda body to figure out that `s == null ? null : s`...