I'm curious about how you plan to work on checked exceptions.

If it's just about ignoring forced exception management, Lombok provides the @SneakyThrows annotation.

I would need something more before I add a new type of extension. Maybe if you could solve the null-check issue.

i.e. rewriting

    var x = a.getFoo()?.getBar()

to

    var x = a.getFoo() != null ? a.getFoo().getBar() : null

In that case I may consider it for my personal projects, and then potentially recommend it at work once it becomes more widespread and has IDE support.

I don't know yet. I'm already using some of my own variations of sneakyThrows, but what I really want is just to disable the whole damn thing in the compiler (checked exceptions are a compiler feature, not a JVM feature). I won't be changing the Java syntax though, sorry!

I believe Manifold already does this.

https://github.com/manifold-systems/manifold/tree/master/man...

sweet