mypy

[mypyc] ircheck: Check that integer comparisons have compatible signs

#20687

Merged