See https://github.com/python/mypy/actions/runs/5543841136/jobs/10120428158 Refs https://github.com/python/mypy/pull/15386 CC @ikonst