However, it wouldn't have prior to https://github.com/python/mypy/pull/13579 See: https://github.com/python/typeshed/pull/9058 https://github.com/python/mypy/pull/13977 https://github.com/python/typeshed/pull/8977
However, it wouldn't have prior to #13579
See:
python/typeshed#9058
#13977
python/typeshed#8977