[ty] Recurse into tuples and nested tuples when applying special-cased validation of `isinstance()` and `issubclass()` - #23607

Merged

AlexWaygood merged 7 commits into

mainfrom

claude/fix-isinstance-issubclass-diagnostics-NT9SK

Feb 27, 2026

Commits on Feb 27, 2026

[ty] Emit isinstance/issubclass protocol diagnostics for tuple arguments
claude
committed
7870b3b
[ty] Validate all classinfo elements in isinstance/issubclass recursively
claude
committed
f3d9e87
[ty] Precise annotation spans for UnionType nested in tuples, use let chains
claude
committed
01f0511
[ty] Validate classinfo elements even for non-literal tuples
claude
committed
f108649
[ty] Spell out union type in info diagnostic when secondary annotation is absent
claude
committed
6b31d2a
[ty] Add tests for nested tuple arguments in isinstance/issubclass
claude
committed
10c5d16
[ty] Fix panic on splatted isinstance/issubclass calls
claude
committed
06510e5