mypy should fail if the first element of the type has the same name as the variable

This example file.

import pathlib

class A:
    pathlib: pathlib.Path = pathlib.Path('/')

$ mypy test.py 
Success: no issues found in 1 source file

$ python3 test.py 
Traceback (most recent call last):
  File "/tmp/test.py", line 3, in <module>
    class A:
  File "/tmp/test.py", line 4, in A
    pathlib: pathlib.Path = pathlib.Path('/')
             ^^^^^^^^^^^^
AttributeError: 'PosixPath' object has no attribute 'Path'. Did you mean: 'match'?

Expected Behavior

I would expect mypy to fail, possibly explaining why.

Actual Behavior

It succeeds, even though the type annotations cause a failure.

Your Environment

• Mypy version used: mypy 1.10.0 (compiled: yes)
• Python version used: Python 3.11.9

I had thought incorrectly that it was an issue with attrs https://github.com/python-attrs/attrs/issues/1282 but @euresti provided the example to re-create the problem.

Inizia con il riproduttore in test.py ed esegui il comando mypy mostrato insieme a Python per confermare la discrepanza. Traccia il modo in cui mypy risolve l’annotazione e il lato destro all’interno della classe A, quindi aggiungi un test di regressione che mostri che l’esempio viene rifiutato con un errore esplicativo.