globl "type: ignore" ignores too much

[socketpair]

Structure:

sample_proj/__init__.py:

from sample_proj.commons import some_const
from sample_proj.some_file import SomeClass

sample_proj/comons.py:

some_const = 'qwe'

sample_proj/some_file.py:

# type: ignore

from sample_proj.commons import some_const


class SomeClass:
    def fun(self, param=some_const):
        pass

$ mypy sample_proj
sample_proj/__init__.py:2: error: Module "sample_proj.some_file" has no attribute "SomeClass"
Found 1 error in 1 file (checked 3 source files)

I think it's a bug.

Removing # type: ignore[union-attr] helps. I wanted this comment to ignore only this exact error in the whole file.

$ mypy --version
mypy 0.942
$ python3 --version
Python 3.10.5

[hauntsaninja]

Duplicate of #12076

[socketpair]

@hauntsaninja seems it's another bug. It's not about ignoring specific rule. Please reopen

[socketpair]

@hauntsaninja I have checked. Yes, just global ignore line still reproduces the bug (and I edited the example). Who to trigger for this issue ?

[hauntsaninja]

I think this is just the documented behaviour? https://mypy.readthedocs.io/en/stable/common_issues.html#ignoring-a-whole-file

[socketpair]

@hauntsaninja I think no:

I understand as has the effect of ignoring [all type errors in] the entire module.

In my case, something different happens.

[hauntsaninja]

Yes, in your case mypy ignores that entire module.

You probably want the ignore_errors configuration:
https://mypy.readthedocs.io/en/stable/config_file.html#confval-ignore_errors
You can do this inline using:
https://mypy.readthedocs.io/en/stable/inline_config.html

So something like # mypy: ignore-errors should do what you want.

I agree that this is confusing, but not sure how to change in a backward compatible manner. (I'm also here for fun and am not personally motivated to fix confusing mypy configuration)

[socketpair]

OK I will try. But could you fix the documentation? I mean correcting the ambiguity of the phrase above.