Error with code [attr-defined] when type ignoring the entire file

[sh1ma]

Hello! I want judge if this is a bug.

Directory tree

helloworld
├── __init__.py
└── a.py

a.py

# type: ignore


class Something:
    pass

__init__.py

from .a import Something

mypy output

❯ mypy helloworld
helloworld/__init__.py:1: error: Module 'helloworld.a' has no attribute 'Something'
Found 1 error in 1 file (checked 2 source files)

However, when I removed # type: ignore on the first line of a.py

mypy output

❯ mypy helloworld
Success: no issues found in 2 source files

Is this a bug?

Thank you!

[gvanrossum]

No, it's as designed. The special marker # type: ignore at the top of a file means the file is not processed at all.

[dpinol]

Related to #9318