See https://github.com/JukkaL/mypy/issues/520
See #520