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 37 days ago

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

AlexWaygood requested a review from

carljm 37 days ago

AlexWaygood requested a review from

sharkdp 37 days ago

AlexWaygood requested a review from

dcreager 37 days ago

AlexWaygood requested a review from

ibraheemdev 37 days ago

astral-sh-bot assigned

ibraheemdev 37 days ago

carljm removed review request from

carljm 37 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 36 days ago

AlexWaygood deleted the claude/fix-type-variable-ordering-LHT8Z branch 36 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