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

Riproduci il problema con lo snippet Python fornito usando mypy senza flag di configurazione, quindi traccia la risoluzione dei nomi delle annotazioni per l’attributo di classe e l’uuid importato. Aggiungi la copertura per le diagnostiche missing-attribute e name-overlap e verifica il comportamento rispetto all’esempio non valido a runtime.