ruff
[ty] Validate type variable defaults don't reference later type parameters or type parameters out of scope
#23623

Merged

[ty] Validate type variable defaults don't reference later type parameters or type parameters out of scope #23623

AlexWaygood merged 13 commits into main from claude/fix-type-variable-ordering-LHT8Z

[ty] Reject PEP 695 type variable defaults that reference later type …

c39b1cd9

Make diagnostic messages more concise

756cc902

Shorten diagnostic message further

e22c402f

Avoid unnecessary collect() by cloning the iterator

53d1f86d

Check type variable default forward-references for legacy generics too

52e86f79

add snapshots

234f8f65

AlexWaygood added ty

AlexWaygood added ecosystem-analyzer

[ty] Detect typevar defaults referencing typevars not in the class's …

a3ec7985

[ty] Shorten diagnostic for typevar default referencing non-parameter…

c3cf4d3c

[ty] Use "out-of-scope" wording in typevar default diagnostic

2fff7fcb

[ty] Only annotate the bad-default typevar when referenced typevar is…

515c2d55

AlexWaygood changed the title ~~[ty] Validate type variable defaults don't reference later type parameters~~ [ty] Validate type variable defaults don't reference later type parameters or type parameters out of scope 3 days ago

AlexWaygood marked this pull request as ready for review 3 days ago

AlexWaygood requested a review from

carljm 3 days ago

AlexWaygood requested a review from

sharkdp 3 days ago

AlexWaygood requested a review from

dcreager 3 days ago

AlexWaygood requested a review from

ibraheemdev 3 days ago

astral-sh-bot assigned

ibraheemdev 3 days ago

carljm removed review request from

carljm 3 days ago

charliermarsh approved these changes on 2026-02-28

generalize

17528d36

Claude just really wants to `.collect()`, huh

3c0a8104

2e3852da

AlexWaygood merged 7015ea74 into main 2 days ago

AlexWaygood deleted the claude/fix-type-variable-ordering-LHT8Z branch 2 days ago

Reviewers

charliermarsh

sharkdp

dcreager

ibraheemdev

Assignees

ibraheemdev

Labels

ty ecosystem-analyzer

Milestone

No milestone

ruff [ty] Validate type variable defaults don't reference later type parameters or type parameters out of scope #23623 Merged

[ty] Validate type variable defaults don't reference later type parameters or type parameters out of scope #23623

ruff
[ty] Validate type variable defaults don't reference later type parameters or type parameters out of scope
#23623

Merged