Comment by vips7L

There are plenty of errors/exceptions that don't need to be bubbled up the call stack. I don't think that's the main issue with them. Like you say the issue with checked exceptions is that there is no escape hatch to shut the compiler up and panic if you can't handle an error or its not possible. They desperately need a short hand like Rust's ?, Swift's try?, or Kotlin's !!.

    A a;
    try {
        a = someFnToGetA();
    } catch (AException aex) {
        // not possible in this situation
        throw new RuntimeException(aex);
    }

In a modern language that has checked errors that just becomes something like:

    val a = try! someFnToGetA();
    val a = someFnToGetA()!!