Release Notes
Released on 2026-06-08.
Bug fixes
- Avoid treating dynamic class attributes as instance attributes (#25678)
- Fix divergence in recursive inference due to ambiguous overload (#25548)
- Preserve literal promotion for mixed bounds (#25648)
Diagnostics
- Add
missing-type-argumentlint rule (#25617)
Core type checking
- Add support for narrowing on tuple match cases (#25493)
- Check implicit open TypedDict extra items (#25628)
- Create fresh copies of generic callable typevars (#24949)
- Preserve deprecation on replacement functions (#25688)
- Preserve intersection receivers during attribute lookup (#25626)
- Preserve transparent callable decorators (#25030)
Performance
- Avoid AST load for callable description names (#25728)
- Avoid caching absent class decorators and type parameters (#25689)
- Avoid caching atomic type specializations (#25663)
- Avoid caching constant constraint relations (#25656)
- Avoid caching missing implicit attributes (#25649)
- Avoid caching trivial class-header queries (#25692)
- Avoid caching trivial member lookups (#25661)
- Bypass member lookup for module imports (#25723)
- Cache constraint implication checks (#25714)
- Cache upper-bound satisfiability (#25710)
- Compact retained function type signatures (#25669)
- Compact retained use-def bindings (#25682)
- Consolidate retained narrowing constraints (#25660)
- Construct trivial constraint sets directly (#25659)
- Resolve function descriptors directly (#25675)
- Share code-generator classification across specializations (#25701)
- Share parameter lists with
Arc(#25735) - Use same-file expression inference in reachability (#25694)
Contributors
Install ty 0.0.45
Install prebuilt binaries via shell script
curl --proto '=https' --tlsv1.2 -LsSf https://releases.astral.sh/github/ty/releases/download/0.0.45/ty-installer.sh | shInstall prebuilt binaries via powershell script
powershell -ExecutionPolicy Bypass -c "irm https://releases.astral.sh/github/ty/releases/download/0.0.45/ty-installer.ps1 | iex"Download ty 0.0.45
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>