Correctly narrow types for tuple[type[X], ...] by sobolevn · Pull Request #15691 · python/mypy (original) (raw)

Because tuple has only one arg. FWIW the only real question here is whether we need to recurse, i.e. also support:

• tuple[tuple[type[A], type[B]], ...]
• tuple[tuple[type[A], ...], ...]

But TBH I don't really care, because it would be a corner case to already rare special case.