> With unchecked exceptions, it's impossible to statically check that this is the case

Aren't checked exceptions just a hint to the programmer?

Also I don't see why static analyzers shouldn't be able to map out which functions throw which exceptions without having hints in the language itself, the information is in the code.

Lastly if the goal is as simple as catch all exceptions, can't you just enforce a catch all on the top level?