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) 

Inizia riproducendo i due esempi di TypedDict con mypy, concentrandoti su .pop() seguito dal keyword unpacking e sulla gestione di Unpack. Traccia i percorsi esistenti per il tracciamento delle chiavi di TypedDict e per la diagnosi delle chiavi duplicate; il lavoro è completato quando il codice valido che usa la chiave rimossa non segnala più un argomento keyword duplicato, mentre i casi non validi continuano a essere diagnosticati.