The latest WIP version is in https://github.com/python/mypy/pull/5522/commits/66fdbc835c3890201fa21281c24a580c841a1fdc