`file.py`: ```python 1 \ + '2' # type: ignore ``` gives output ``` file.py:1: error: Unsupported operand types for + ("int" and "str") ``` which is wrong IMO.