astral-sh/ty 0.0.53

on GitHub

Release Notes

Released on 2026-06-23.

Bug fixes

• Avoid bypassing lazy constraints for Divergent (#26288)
• Avoid recursion when projecting narrowing constraints (#26276)
• Fix ParamSpec callable signature extraction for callable instances (#26279)
• Make multi-arm TypeOf cycle recovery monotonic (#26275)

LSP server

• Document all special forms in ty_extensions (#26263)

Performance

• Avoid cloning fallback condition flow snapshots (#26203)
• Avoid constructing discarded speculative diagnostics (#26251)
• Avoid path lookups when sorting same-file diagnostics (#26257)
• Cache is_never_satisfied results (#26261)
• Defer applying type context to simple standalone expressions (#26252)

Core type checking

• Infer types for names bound in match patterns (#25940)
• Preserve regular kind for callable instances (#26253)
• Simplify intersections of invariant generic types with Any specializations (#26127)

Contributors

• @charliermarsh
• @MichaReiser
• @AlexWaygood
• @sharkdp
• @ibraheemdev
• @carljm

Install ty 0.0.53

Install prebuilt binaries via shell script

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

Install prebuilt binaries via powershell script

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

Download ty 0.0.53

Verifying GitHub Artifact Attestations

The artifacts in this release have attestations generated with GitHub Artifact Attestations. These can be verified by using the GitHub CLI:

gh attestation verify <file-path of downloaded artifact> --repo astral-sh/ty

You can also download the attestation from GitHub and verify against that directly:

gh attestation verify <file-path of downloaded artifact> --bundle <file-path of downloaded attestation>