NamedTuple with dependent default values causes unexpected 'Name is not defined' errors

Hi there,

When there is a NamedTuple with a default value that depends on one or more other default values, followed by a default value that should resolve into a NameError, all preceding default values get the Name <variable> is not defined error as well.

E.g.

from typing import NamedTuple

class Example(NamedTuple):
    a: int = 1
    b: int = 2
    c: int = a*b
    d: int = does_not_exist*5

Causes:

scratch.py:6: error: Name 'a' is not defined
scratch.py:6: error: Name 'b' is not defined
scratch.py:7: error: Name 'does_not_exist' is not defined

If I comment out line 6, I do, however, get the expected result.

from typing import NamedTuple

class Example(NamedTuple):
    a: int = 1
    b: int = 2
    # c: int = a*b
    d: int = does_not_exist*5

scratch.py:7: error: Name 'does_not_exist' is not defined

This was tried on version 0.760.

$ mypy --version
mypy 0.760

Commencez par reproduire le problème à partir de l’exemple de NamedTuple dans scratch.py avec mypy 0.760, puis examinez le chemin de vérification de types de NamedTuple responsable des valeurs par défaut. Comparez le cas de valeur par défaut dépendante avec la version dans laquelle c est commenté. Le travail est terminé lorsque le nom indéfini dans d est signalé sans erreurs parasites pour a, b ou c.