Annotation parsing incorrect when class scope defines same name as import

Bug Report

Given:

import uuid
class Bar:
    uuid: uuid.UUID = uuid.uuid4()
reveal_type(Bar().uuid)

mypy reports no errors and will inform the user that the type of the attribute is uuid.UUID.

However this isn't strictly correct and without lazy annotations enabled this code will actually error at runtime:

  File ".../demo.py", line 3, in Bar
    uuid: uuid.UUID = uuid.uuid4()
AttributeError: 'UUID' object has no attribute 'UUID'

Ideally mypy would report the missing attribute (UUID) along with a mention of the name overlap between the type name and the attribute name.

Cross-linking: a related issue was raised against pyflakes (that the import appeared unused; https://github.com/PyCQA/pyflakes/issues/682; https://github.com/PyCQA/pyflakes/issues/648), though rejected on the grounds that this code is indeed invalid. Unfortunately when this code is alongside other code it is easy for there not to be any linter errors.

Your Environment

• Mypy version used: 0.910, also tested 0.941
• Mypy command-line flags: none
• Mypy configuration options from mypy.ini (and other config files): none that matter
• Python version used: 3.9
• Operating system and version: Ubuntu 20.04

Reproduce el problema con el fragmento de Python proporcionado usando mypy sin indicadores de configuración y, después, sigue la resolución de nombres de anotaciones para el atributo de clase y el uuid importado. Añade cobertura para los diagnósticos missing-attribute y name-overlap y verifica el comportamiento con el ejemplo no válido en tiempo de ejecución.