I think there is also a niche for checked exceptions, which kind of fall in the middle between those two approaches.

A checked-exception forces the programmer to notice and make a design-decision.

At the same time, if the designer chooses to merely propagate it up the stack, that's extremely easy to do just by editing the function signature.