Brought up last week: What if function definitions could tell the caller "I raise Exceptions"?
And last month: Extend type hints to cover exceptions
as well as numerous times before that over the years.
The answer is pretty definitively “not going to happen” at this point.