Not finding type specifications in make_dataclass

Given the following script:

from typing import NamedTuple
from dataclasses import make_dataclass, dataclass

Emp1 = NamedTuple('Emp1', [('name', str), ('id', int)])
r1 = Emp1('raymond', 'xyz')

Emp2 = make_dataclass('Emp2', [('name', str), ('id', int)])
r2 = Emp2('raymond', 'xyz')

class Emp3(NamedTuple):
    name: str
    id: int

r3 = Emp3('raymond', 'xyz')

@dataclass
class Emp4:
    name: str
    id: int

r4 = Emp4('raymond', 'xyz')

mypy only finds three of the four type errors:

$ mypy --version
mypy 0.650
$ mypy nt_example.py
nt_example.py:5: error: Argument 2 to "Emp1" has incompatible type "str"; expected "int"
nt_example.py:14: error: Argument 2 to "Emp3" has incompatible type "str"; expected "int"
nt_example.py:21: error: Argument 2 to "Emp4" has incompatible type "str"; expected "int"

mypy 0.650 でこの例を再現し、make_dataclass の呼び出しと、それが生成するコンストラクターに焦点を当てます。mypy が dataclasses.make_dataclass をどのように処理するかを追跡し、その後、スクリプトに基づくリグレッションテストを追加します。完了条件は、Emp2 の無効な文字列引数が他の 3 つのエラーとともに報告されることです。