Release Notes
Released on 2026-10-22.
Bug fixes
- Improve generics solving when an intersection is passed into a generic call to prefer solving the call to a more precise type when it is safe to do so (#29578)
- Fix recursive type materialization (#29532)
- Infer return intersections from correlated call specializations (#28303)
- Preserve
Selfwhen checking universal protocols (#29207) - Fix stack overflows involving recursive descriptor setter types (#29148)
- Preserve the namespace-package fallback in module discovery when the namespace-package fallback is obscured by a partial stub package (#29559)
- Report all missing
@overridedecorators together (#29557) - Fix false-positive
invalid-argument-typediagnostics when inferring constrained type variables from callbacks that return an invariant generic with a gradual type argument (#29577)
Performance improvements
- Compare protocol receiver restrictions before binding (#29443)
LSP server
- Avoid cancelling requests for unrelated file changes (#29604)
Core type checking
- Generics solving: check for unsatisfiable bodies before existentially quantifying (#29504)
- Liskov diagnostics: Check inherited attribute conflicts (#28559)
- Return type inference: eneralize nested types in inferred return types (#29488)
Contributors
Install ty 0.0.91
Install prebuilt binaries via shell script
curl --proto '=https' --tlsv1.2 -LsSf https://releases.astral.sh/github/ty/releases/download/0.0.91/ty-installer.sh | shInstall prebuilt binaries via powershell script
powershell -ExecutionPolicy Bypass -c "irm https://releases.astral.sh/github/ty/releases/download/0.0.91/ty-installer.ps1 | iex"Download ty 0.0.91
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/tyYou 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>