"Wrong" Special Form

[HexDecimal (Kyle Benesch)]

I like the idea of annotating raised exceptions at first, but it appears this idea has been discussed before and rejected.

Extend type hints to cover exceptions

PEP 484 introduced type hints, at this time documenting exceptions was left to docstrings. I seek to suggest a reason this feature might be desirable along with how it might be used. Error handling in python does an excellent job of keeping the error-path out of the way when writing the normal flow of logic, however for larger code bases it is not always clear what exceptions may be caused by calling existing code. Since these cases are easily missed they may reach a higher level than intended …

Not even the first time this was brought up in relation to Never according to the backlinked discussions.