astral-sh/ty 0.0.62

on GitHub

Release Notes

Released on 2026-07-21.

Bug fixes

• Guard recursive Protocol and TypedDict relations (#26990)
• Prevent stack overflows in recursive type relation checks (#26503)
• Recover from cancelled file indexing (#26876)

Diagnostics

• Avoid editing ignore comments with trailing reasons (#26939)
• Prefer innermost inline suppressions (#26940)
• Remove unused own-line ignore comments (#27013)
• Reuse applicable own-line suppressions in --add-ignore (#26925)

Configuration

• Respect rules and analysis in PEP 723 script metadata configurations (#26671)

Core type checking

• Accept gradual constrained TypeVar solutions (#26965)
• Avoid recursive TypeVarTuple alias expansion (#27032)
• Check inherited method conflicts via the MRO (#27019)
• Contextually infer custom __setattr__ assignments (#27015)
• Fix Callable isinstance reachability (#26970)
• Fix Just[float] protocol matching (#27053)
• Fix Self binding for classmethod __new__ constructors (#27030)
• Fix nested short-circuit flow snapshots (#26956)
• Gate TypedDict PEP 728 parameters by Python version (#26968)
• Improve match reachability inference around value-pattern branches (#26979)
• Make membership and equality narrowing consistent (#26982)
• Preserve constrained TypeVar equality narrowing (#26988)
• Preserve constrained TypeVar inequality narrowing (#26995)
• Preserve unsatisfiable generic call constraints (#26964)
• Respect bounded typevars in union inference (#27023)
• Respect metaclass __setattr__ for class attributes (#27000)

Performance

• Cache non-terminal-call reachability prefixes (#26810)
• Cache protocol Self binding (#26997)
• Cache sparse reachability checkpoints (#26811)
• Defer statement-call narrowing gates (#26793)

Contributors

• @charliermarsh
• @MichaReiser
• @carljm
• @AlexWaygood
• @mtshiba

Install ty 0.0.62

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://releases.astral.sh/github/ty/releases/download/0.0.62/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.62/ty-installer.ps1 | iex"

Download ty 0.0.62

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>