> So, if a person would like to use a library method - proc canOverflow() > {.raises: ErrorCode.} he may assume that any sort of exception, including > that HTTP 404 could be thrown from that proc?
1. HTTP 404 is not a possible value of ErrorCode. The value is called `NameNotFound` and is more general. 2. Yes `canOverflow` can produce `NameNotFound` in theory. But you don't "assume" that, you assume that `canOverflow` can fail for sort of possible reasons including reasons that currently are impossible but due to implementation changes can expand. Don't enumerate the error cases.