See https://github.com/python/mypy/issues/20726#issuecomment-4084425034 by @JukkaL
See python/mypy#20726 (comment) by @JukkaL