Context: JuliaLang/julia#60344
Since we already have exceptions in Julia with the try-catch mechanism, adding something like this which is similar to but works different from them adds cognitive burden on the user. I think the gain here outweighs that, but it's worth minimizing that burden and not accidentally adding to that in design decisions and communication: For eg., Except{...} syntax or an except keyword would be misleading or at the least unnecessarily confusing.
This feature neatly separates expected error types from truly exceptional, unexpected errors, and reserving the "exception" terminology to only the latter, would let that clearly come through.
The name "declared exceptions" also made more sense in Stefan's original context, but with this (or similar) implementation, "declared error returns" would be a better name: despite Exception being the supertype for these error return types, it's useful to clearly distinguish betwee