[tadfisher]

The difference is you can just call

    val a = a();

And start the stack unwinding. The `try/catch` is not mandatory to call a().

[vips7L]

You definitely just don't know how checked exceptions work. This is not true at all. The compiler will not let you call a(); without handling the exception or checking it up the stack. The same way results work.