> The current standard for error handling, when writing a crate, is to define one error enum per module…

Excuse me what?

> This means, that a function will return an error enum, containing error variants that the function cannot even produce.

The same problem happens with exceptions.