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

Empieza reproduciendo el ejemplo proporcionado de NamedTuple y comprensión de diccionarios con la configuración de mypy-play enlazada. Sigue cómo el comprobador de tipos gestiona los valores predeterminados de NamedTuple y el ámbito de las comprensiones, y después añade una prueba de regresión; la tarea estará terminada cuando el ejemplo pase la comprobación de tipos sin errores de undefined-name.