This is a follow-up for https://github.com/python/mypy/pull/7425
Activity