Skip to content

Error codes in # type: ignore don't suppress related notes #7384

@ilevkivskyi

Description

@ilevkivskyi

For example:

import nostubs  # type: ignore[import]

Causes

mypy/report.py:30: note: (Stub files are from https://github.com/python/typeshed)

and error code 1. I didn't check carefully, but I think this affects all error messages that also emit additional notes (there are quite many of them).

Metadata

Metadata

Assignees

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions