PR #25240 [ty] Support `TypeVarTuple` and `Unpack`

dhruvmanila added ty

dhruvmanila changed the title ~~[ty] Add initial TypeVarTuple support~~ [ty] Add initial `TypeVarTuple` support 163 days ago

dhruvmanila force pushed from 81058e69 to c9b3969f 163 days ago

dhruvmanila force pushed from c9b3969f to 4479d6b9 163 days ago

dhruvmanila force pushed from 4479d6b9 to 09ceda63 163 days ago

dhruvmanila force pushed from 09ceda63 to f0dc84f4 162 days ago

dhruvmanila force pushed from f0dc84f4 to 37e80250 160 days ago

dhruvmanila force pushed from 37e80250 to fc2e4d04 155 days ago

dhruvmanila force pushed from 245d0e9b to db0c6675 147 days ago

dhruvmanila force pushed from 5ce47240 to 24c84634 146 days ago

dhruvmanila changed the title ~~[ty] Add initial `TypeVarTuple` support~~ [ty] Support `TypeVarTuple` and `Unpack` 146 days ago

dhruvmanila force pushed from f764d130 to 3241dcad 146 days ago

dhruvmanila force pushed from 3241dcad to 9dad1bfa 143 days ago

dhruvmanila force pushed from 7bdd9462 to 5d80af02 142 days ago

dhruvmanila force pushed from 8c800ba3 to 8f8d1c33 140 days ago

dhruvmanila force pushed from 8f8d1c33 to b2d1bf67 140 days ago

dhruvmanila force pushed from b2d1bf67 to 23676d24 140 days ago

dhruvmanila force pushed from 23676d24 to 3422a91c 140 days ago

dhruvmanila force pushed from 3422a91c to 66d18784 140 days ago

dhruvmanila force pushed from 66d18784 to 4760148e 140 days ago

dhruvmanila force pushed from 4760148e to cedc5f64 140 days ago

dhruvmanila force pushed from 18b9e554 to bdc7d838 135 days ago

dhruvmanila force pushed from 7ee3b8c2 to 2a3b709f 133 days ago

dhruvmanila force pushed from 755f5d89 to 151752fa 126 days ago

dhruvmanila requested a review from

carljm 126 days ago

dhruvmanila marked this pull request as ready for review 126 days ago

dhruvmanila requested a review 126 days ago

carljm requested changes on 2026-06-26

dhruvmanila marked this pull request as draft 113 days ago

dhruvmanila force pushed from 7df43081 to 4d77ba28 113 days ago

dhruvmanila marked this pull request as ready for review 113 days ago

astral-sh-bot requested a review from

sharkdp 113 days ago

dhruvmanila requested a review from

carljm 113 days ago

dhruvmanila removed review request from

sharkdp 113 days ago

dhruvmanila force pushed from 1fbb5421 to 20337ff2 108 days ago

carljm approved these changes on 2026-07-15

carljm commented on 2026-07-15

astral-sh deleted a comment from dhruvmanila-oai on 2026-07-15

MichaReiser commented on 2026-07-15

carljm commented on 2026-07-15

[ty] Support TypeVarTuple and Unpack type forms

318702ce

[ty] Infer TypeVarTuple specializations with the legacy solver

2763a941

[ty] Avoid TypeVarTuple exception-handler recovery panics

5bb18692

[ty] Infer ParamSpec after unpacked variadic prefixes

a2e2d95c

Fix and expand test cases

e08513f1

[ty] Mark unsupported TypeVarTuple test expectations

10d9b933

[ty] Preserve mixed tuples in TypeVarTuple inference

e74f049a

[ty] Infer callable TypeVarTuples with constraints

f5c429fa

[ty] Infer callable TypeVarTuples during positional matching

b31d853b

[ty] Reuse tuple resizing for TypeVarTuple inference

58ce2f47

[ty] Encapsulate tuple inference resizing

41bb5112

[ty] Simplify tuple inference resizing

40c5346e

[ty] Inline TypeVarTuple tuple inference

325988b8

[ty] Constrain TypeVarTuple from tuple relations

88d41220

[ty] Infer callable TypeVarTuple returns through constraints

25605a0a

[ty] Integrate callable TypeVarTuple parameter matching

a45cea6a

[ty] Simplify TypeVarTuple relation inference

afcff8b1

[ty] Rename legacy TypeVarTuple kind

1fe16720

[ty] Resolve TypeVarTuple on older Python

b9bcac75

[ty] Simplify TypeVarTuple inference branches

4dbb56cb

[ty] Explain TypeVarTuple signature fast paths

54a4c084

[ty] Borrow parameters when expanding starred annotations

91fd67ba

[ty] Document nested callable unpack limitation

9f247194

[ty] Add nested callable unpack regression test

82c6168c

[ty] Precompute callable TypeVarTuple captures

2522d8e7

[ty] Defer TypeVarTuple call binding inference

8b7313e4

[ty] Restore precise TypeVarTuple TODOs

8ef0d69b

[ty] Defer starred tuple call validation

fe4c5f5c

[ty] Adapt TypeVarTuple parameter expansion

7b5da484

[ty] Represent TypeVarTuple tuple segments explicitly

2f96c8c6

[ty] Reject TypeVarTuple union unpacking

cae9f78f

[ty] Reject multiple legacy TypeVarTuples

489d82b0

[ty] Fix TypeVarTuple shadowing diagnostic

26aae725

[ty] Add legacy TypeVarTuple alias coverage

7fb90aba

[ty] Document TypeVarTuple validation boundary

33fc4044

[ty] Clarify multiple TypeVarTuple diagnostic

0e0db01b

[ty] Defer unsupported TypeVarTuple callable checks

a3e3ca33

[ty] Remove TypeVarTuple assignability coverage

626ff755

[ty] Document deferred TypeVarTuple diagnostics

411b99fd

[ty] Update TypeVarTuple segment for Salsa 0.28

5f5ca8c4

[ty] Add TypeVarTuple review regression coverage

af78b06f

[ty] Repair TypeVarTuple runtime element semantics

938c6a76

[ty] Preserve TypeVarTuple callable captures

f214f092

[ty] Preserve TypeVarTuple slices exactly

dc2b2b86

[ty] Fix TypeVarTuple validation edge cases

beb5ed9b

[ty] Fix Rust 1.97 Clippy warnings

b03c2901

[ty] Preserve TypeVarTuple callable captures

f214f092

[ty] Preserve TypeVarTuple slices exactly

dc2b2b86

[ty] Fix TypeVarTuple validation edge cases

beb5ed9b

dhruvmanila force pushed from 47f2096e to 6ebc623b 105 days ago

[ty] Avoid rebuilding ordinary tuple specializations

e7050524

dhruvmanila merged 54acbcde into main 105 days ago

dhruvmanila deleted the dhruv/codex/typevartuple-support branch 105 days ago

ruff
[ty] Support `TypeVarTuple` and `Unpack`
#25240

Merged

[ty] Support `TypeVarTuple` and `Unpack` #25240

ruff [ty] Support `TypeVarTuple` and `Unpack` #25240 Merged

[ty] Support `TypeVarTuple` and `Unpack` #25240

ruff
[ty] Support `TypeVarTuple` and `Unpack`
#25240

Merged