Java checked exceptions are (were?) a wonderful feature that was wrongly dissed for the same reason Java types and IDEs were dissed. It forced people to handle exceptions or pass them up the call stack but they had to be dealt with. And IDEs were aware of them so not catching or rethrowing was immediately flagged by the IDE.

I give it five years until Typescript and peers adds checked exceptions.