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
