Is it possible to not use try or catch unreachable if the error set is known to be error{}? It seems like that should be equivalent to just not having an error set.
This is kind of silly if all the code is hand-written, since you can just remove the error{}!, but there are types generic over the error set, and it might be that some uses do not generate any errors, thus obviating the need for error handling.