Special-case .pop() on TypedDict

Mypy doesn't respect TypedDict object changes. As an example, the following snippet

from typing import TypedDict

class A(TypedDict, total=False):
    a: str

def func(a: str) -> None:
    pass

data: A = {"a": "a"}
a = data.pop("a", "")
func(a, **data)

Raises the error:

error: "func" gets multiple values for keyword argument "a" [misc]

Formally, it is correctly, but it will be nice if mypy respects object keys changes. Especially in Unpack case:

from typing import Unpack, TypedDict

class A(TypedDict, total=False):
    a: str
    
def func(a: str) -> None:
    pass
    
def func2(**data: Unpack[A]) -> None:
    a = data.pop("a", "")
    func(a, **data) 

まず、2つの TypedDict の例を mypy で再現し、.pop() に続くキーワード展開と Unpack の処理に焦点を当てます。既存の TypedDict のキー追跡および重複キー診断の経路を追跡します。完了条件は、削除されたキーを使用する有効なコードで重複キーワード引数が報告されなくなり、無効なケースでは引き続き診断されることです。