mypy

7ac5a199 - Unify a codepath in typevarlike semanal (#12480)