Dict comprehensions fail in NamedTuple

from typing import Dict, Any, NamedTuple

def out() -> str:
    return "out"

d = {"x": 0, "y": 1}

class Test(NamedTuple):
    qwer: Dict[str, Any] = {k: v for k, v in d}

Fails mypy with error:

main.py:13: error: Name 'k' is not defined
main.py:13: error: Name 'v' is not defined
Found 2 errors in 1 file (checked 1 source file)

Oddly, removing the out function makes type checking work again:

from typing import Dict, Any, NamedTuple


d = {"x": 0, "y": 1}


class Test(NamedTuple):
    qwer: Dict[str, Any] = {k: v for k, v in d}

Success: no issues found in 1 source file

Playground URL: https://mypy-play.net/?mypy=latest&python=3.8&gist=aa715bc0f6d14152487d753f3fa64885

Commencez par reproduire l’exemple fourni de NamedTuple et de compréhension de dictionnaire avec la configuration mypy-play liée. Suivez la manière dont le vérificateur de types gère les valeurs par défaut de NamedTuple et la portée des compréhensions, puis ajoutez un test de régression ; le travail est terminé lorsque l’exemple est vérifié par le système de types sans erreurs undefined-name.