that just means the language isn't being understood, in a very basic and very dangerous way.

you don't need to check the call tree. without `finally`, it is not "always", period. we can debate at length about if that leads to desirable outcomes or not, but the behavior is unambiguous.