import json

value = json.loads("1") + "x"  # type: ignore[operator]
other = len(3)  # type: ignore[arg-type]  # third-party stub is wrong
text = "# type: ignore inside a string is not a comment"
