Manu Sridharan

Update: when I copy exactly the the config from @raviagarwal7's comment then it works! It would be cool if this were documented somewhere on the wiki, though. Also I'm still...

My issue is solved, but I'm leaving this issue open for better docs

@cushon just curious, does f8185d142a8a2e389ba1a37b92833809de4e3f12 fix this issue?

FWIW, we bumped NullAway to Checker Framework 3.21.1 to add support for switch expressions, and in our testing it's working fine.

FWIW with Lombok 1.18.22 and `disableWarningsInGeneratedCode` enabled, we no longer see crashes in this checker for NullAway tests. We should see if someone can actually repro with the latest Lombok...

I should say that we also set `lombok.addLombokGeneratedAnnotation = true` in `lombok.config` (docs [here](https://projectlombok.org/features/configuration)). Without that, I'm not sure Lombok will add `@lombok.Generated` annotations to the code it generates.

We don't have any significant implementation experience with lambdas and generic types yet. But I am convinced by @artempyanykh's comments that we (NullAway) would want JSpecify to at least not...

As the proposed resolution allows for writing explicit annotations alongside explicit lambda parameter types, it SGTM. I am also fine with not allowing nullness annotations on `var` lambda parameters for...

We've been working a bit on getting NullAway to run on these samples and thinking about how to do so. It'd be good to have a document at some point...

I personally don't have a strong opinion here right now. We don't currently support such casts in NullAway and I don't immediately see why we would need to. Something might...