Yeah, I totally understand that! That’s more or less the reason why I didn’t push my proposal about extracting kwargs from function signatures further. Hope this project and related debates will progress quickly and lead so exciting features!
Do you think special-casing tuple[SomeType, Literal[int]] could still be relevant? Or even tuple[SomeType, TypeVar(bound=Literal[int])], which is AFAIK not doable today!