Right 'is' operand not type checked

[JukkaL]

Mypy produces no error for this program, even though it clearly should:

1 is 1()