René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Conformance Tests directives_type_ignore should probably allow Mypy-like type ignores","articleBody":"The conformance test `directives_type_ignore` feels a bit weird since it disallows the Mypy syntax:\n\n```\nz: int = \"\"  # type: ignore[\u003csome-error-code\u003e]\n# It has the following line where the violation should be suppressed:\nz: int = \"\"  # type: ignore[additional_stuff]\n```\n\nThe [documentation](https://typing.python.org/en/latest/spec/directives.html#type-ignore-comments) says:\n\n\u003e In some cases, linting tools or other comments may be needed on the same line as a type comment. In these cases, the type comment should be before other comments and linting markers:\n\u003e \n\u003e ```   # type: ignore # \u003ccomment or other marker\u003e ```\n\nI feel it is therefore not really clear if the conformance tests are correct or not and I would really like to avoid adding a flag to Zuban with the name `--make-conformance-tests-pass`. ` # type: ignore[misc]` can also be found in numerous places in Typeshed.\n\nI would just suggest allowing an error there.\n\n----\n\nThere's also this line that should be ignored to the conformance tests:\n\n```\ny: int = \"\"  # type: ignore - additional stuff\n```\n\nwhere I'm not sure if it's better to allow an error there, but I don't have an opinion there really. It might be useful to generate an error that the ` - additional stuff` is not conformant with the spec that says we should use an additional comment. Mypy for example has the error `Invalid \"type: ignore\" comment  [syntax]`. I'm however totally fine if the conformance tests disallow this.\n\ncc @erictraut since you wrote these tests AFAIK.","author":{"url":"https://github.com/davidhalter","@type":"Person","name":"davidhalter"},"datePublished":"2025-12-09T22:49:39.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":1},"url":"https://github.com/2126/typing/issues/2126"}