mypy

Fixes `misc/proper_plugin` crash on `isinstance(1)`

#11136

Merged