MyPy yield a false error with function(*args, x)

Bug Report

MyPy wrongly produce an error for "Too many argument" when calling a function with star syntax followed by an additional argument.

To Reproduce

def foo(a: int, b: int, c: int, d: int) -> None:
    return None

lst = [1, 2, 3]
foo(*lst, 4)

Expected Behavior
MyPy should not yield any error, and the types are fit.

Actual Behavior
An error occurs:

mypy_reproduce.py:6: error: Too many arguments for "foo"  [call-arg]

Your Environment

• Mypy version used:1.4.1
• Mypy command-line flags: No flags
• Mypy configuration options from mypy.ini (and other config files): No config
• Python version used: 3.7.3

提供された Python 再現コードから始め、アスタリスク付き引数とそれに続く位置引数を組み合わせた呼び出しに対する mypy の引数チェック経路を調査します。報告された結果を foo(*lst, 4) が受け入れられるという期待される動作と比較し、誤った "Too many arguments" エラーが生成されなくなっていることを確認します。