Sourced from ty's releases.

0.0.1-alpha.29

Release Notes

Released on 2025年11月28日.

Bug Fix

• Fix multiple panics due to recursive type definitions (#20566)

Type inference

• Support type[T] where T is a type variable (#21650)
• More precise inference for a failed specialization of a generic type (#21651)
• Detect invalid overrides of methods that are marked as typing.final (#21646)
• Fix subtyping of type[Any] / type[T] and protocols (#21678)
• Added generics support for implicit and explicit (typing.TypeAlias) type aliases (#21553)

LSP server

• Add import ... code action for unresolved references (#21629)
• Include all members on type in autocompletion suggestions for type[] types (#21670)
• Mark comprehension targets as definitions in semantic highlighting (#21636)
• Add IDE autofixes for two "Did you mean...?" suggestions (#21667)
• Prettier rendering of code:: lang in docstrings (#21665)
• Support go-to for patterns and typevars (#21671)

Diagnostics

• Add subdiagnostic hint if a variable with type Never is used in a type expression (#21660)
• Improve diagnostic messages for invalid type arguments during explicit specialization (#21635)

Contributors

• @​lucach
• @​carljm
• @​ibraheemdev
• @​Gankra
• @​AlexWaygood
• @​mtshiba
• @​oconnor663
• @​sharkdp

Install ty 0.0.1-alpha.29

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/astral-sh/ty/releases/download/0.0.1-alpha.29/ty-installer.sh | sh

... (truncated)

Sourced from ty's changelog.

Changelog

0.0.1-alpha.29

Released on 2025年11月28日.

Bug Fix

• Fix multiple panics due to recursive type definitions (#20566)

Type inference

• Support type[T] where T is a type variable (#21650)
• More precise inference for a failed specialization of a generic type (#21651)
• Detect invalid overrides of methods that are marked as typing.final (#21646)
• Fix subtyping of type[Any] / type[T] and protocols (#21678)
• Added generics support for implicit and explicit (typing.TypeAlias) type aliases (#21553)

LSP server

• Add import ... code action for unresolved references (#21629)
• Include all members on type in autocompletion suggestions for type[] types (#21670)
• Mark comprehension targets as definitions in semantic highlighting (#21636)
• Add IDE autofixes for two "Did you mean...?" suggestions (#21667)
• Prettier rendering of code:: lang in docstrings (#21665)
• Support go-to for patterns and typevars (#21671)

Diagnostics

• Add subdiagnostic hint if a variable with type Never is used in a type expression (#21660)
• Improve diagnostic messages for invalid type arguments during explicit specialization (#21635)

Contributors

• @​lucach
• @​carljm
• @​ibraheemdev
• @​Gankra
• @​AlexWaygood
• @​mtshiba
• @​oconnor663
• @​sharkdp

0.0.1-alpha.28

Released on 2025年11月25日.

Bug fixes

• Fix panic for unclosed string literal in type annotation position (#21592)

... (truncated)

• 0c3cae4 Bump version to 0.0.1.a29 (#1663)
• cdfb690 remove the suggestion that updating ty-vscode is optional (#1639)
• 8c34249 Release 0.0.1-alpha.28 (#1638)
• b6c5a47 Update actions/checkout digest to 1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 ...
• 7d614bc Update actions/checkout action to v6 (#1617)
• e4b7b56 Update astral-sh/setup-uv action to v7.1.4 (#1616)
• f2e0909 Update pre-commit dependencies (#1618)
• 7a6b79d Small documentation improvements (#1606)
• 72ed4e7 Add IO errors to exit code documentation (#1589)
• See full diff in compare view

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)