fromtypingimportLiteral,Mapping,Iterabledeffunc(a:int,b:int)->None: ...classGOOD_KW:defkeys(self)->Iterable[Literal["a","b"]]: ...def__getitem__(self,key:str)->int: ...classBAD_KW:defkeys(self)->Iterable[Literal["one",1]]: ...def__getitem__(self,key:str)->int: ...deftest(good_kw:GOOD_KW,bad_kw:BAD_KW,good_dict:dict[Literal["a","b"],int],bad_dict:dict[Literal["one",1],int],good_mapping:Mapping[Literal["a","b"],int],bad_mapping:Mapping[Literal["one",1],int],)->None:func(**good_kw)func(**bad_kw)# E: Argument after ** must have string keysfunc(**good_dict)func(**bad_dict)# E: Argument after ** must have string keysfunc(**good_mapping)# ❌️ False positivefunc(**bad_mapping)# E: Argument after ** must have string keys