mypy

03691dce - New semantic analyzer: refactoring and polish (#6887)