See https://github.com/python/mypy/issues/1642
See python/mypy#1642