[ty] Support typevar-specialized dynamic types in generic type aliases by sharkdp · Pull Request #21730 · astral-sh/ruff (original) (raw)

added the ty

Multi-file analysis & type inference

label

Dec 1, 2025

sharkdp changed the title[ty] Support generic type aliases involving unknown generic classes [ty] Support typevar-specialized dynamic types in generic type aliases

Dec 2, 2025

sharkdp marked this pull request as ready for review

December 2, 2025 16:40

sharkdp deleted the david/fix-specialized-unknown branch

December 3, 2025 09:00

dcreager added a commit that referenced this pull request

Dec 3, 2025

• origin/main: [ty] Improve @override, @final and Liskov checks in cases where there are multiple reachable definitions (#21767) [ty] Extend invalid-explicit-override to also cover properties decorated with @override that do not override anything (#21756) [ty] Enable LRU collection for parsed module (#21749) [ty] Support typevar-specialized dynamic types in generic type aliases (#21730) Add token based parenthesized_ranges implementation (#21738) [ty] Default-specialization of generic type aliases (#21765) [ty] Suppress false positives when dataclasses.dataclass(...)(cls) is called imperatively (#21729) [syntax-error] Default type parameter followed by non-default type parameter (#21657) new module for parsing ranged suppressions (#21441) [ty] type[T] is assignable to an inferable typevar (#21766) Fix syntax error false positives for await outside functions (#21763) [ty] Improve diagnostics for unsupported comparison operations (#21737) Move Token, TokenKind and Tokens to ruff-python-ast (#21760) [ty] Don't confuse multiple occurrences of typing.Self when binding bound methods (#21754) Use our org-wide Renovate preset (#21759) Delete my-script.py (#21751) [ty] Move all_members, and related types/routines, out of ide_support.rs (#21695)

dcreager added a commit that referenced this pull request

Dec 3, 2025

• origin/main: [ty] Reachability constraints: minor documentation fixes (#21774) [ty] Fix non-determinism in ConstraintSet.specialize_constrained (#21744) [ty] Improve @override, @final and Liskov checks in cases where there are multiple reachable definitions (#21767) [ty] Extend invalid-explicit-override to also cover properties decorated with @override that do not override anything (#21756) [ty] Enable LRU collection for parsed module (#21749) [ty] Support typevar-specialized dynamic types in generic type aliases (#21730) Add token based parenthesized_ranges implementation (#21738) [ty] Default-specialization of generic type aliases (#21765) [ty] Suppress false positives when dataclasses.dataclass(...)(cls) is called imperatively (#21729) [syntax-error] Default type parameter followed by non-default type parameter (#21657)

This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.Learn more about bidirectional Unicode characters

[ Show hidden characters]({{ revealButtonHref }})