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

まず、リンクされた mypy-play 設定を使って、提示された NamedTuple と dict-comprehension の例を再現します。type checker が NamedTuple のデフォルト値と comprehension のスコープをどのように処理するかを追跡し、その後 regression test を追加します。完了の条件は、例が undefined-name エラーなしで type-check されることです。