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

Inizia riproducendo l'esempio fornito di NamedTuple e dict-comprehension con la configurazione mypy-play collegata. Traccia il modo in cui il type checker gestisce i valori predefiniti di NamedTuple e lo scope delle comprehension, quindi aggiungi un test di regressione; il lavoro è completato quando l'esempio supera il type checking senza errori undefined-name.