So it seems that mypy treats the externally-defined return type as a potential alias for None or Any, but this is very rare. (Even when it happens, mypy can assume it is going to be called again with ...