astral-sh/ty 0.0.1-alpha.29

on GitHub

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

Install prebuilt binaries via powershell script

powershell -ExecutionPolicy Bypass -c "irm https://github.com/astral-sh/ty/releases/download/0.0.1-alpha.29/ty-installer.ps1 | iex"

Download ty 0.0.1-alpha.29