The Icon programming language (from 1977) has something like this. Functions have an implicit "success" or "failure" return value in addition to regular return values. The success/failure status can be used in control flow or bubbled up the stack.

https://en.wikipedia.org/wiki/Icon_%28programming_language%2...