[mise] ty to v0.0.81

[renovate]

This PR contains the following updates:

Package	Type	Update	Change	Pending
ty	tools	patch	0.0.78 → 0.0.81	0.0.83 (+1)

---

Release Notes

astral-sh/ty (ty)

v0.0.81

Compare Source

Released on 2026-09-14.

Bug fixes

• Escape glob characters in anchored directory paths (#​28518)
• Ignore divergent markers when detecting descriptors (#​28514)

CLI

• Anchor default exclude patterns at the project root (#​28463)

Core type checking

• Avoid rebinding extracted method calls (#​28469)
• Default-specialize class objects in meta-protocol checks (#​28265)
• Fix MRO ordering for generic bases (#​28172)
• Fix assignability of bounded typevars to intersection types (#​28479)
• Fix variadic partial signature reduction (#​28586)
• Handle gradual metaclass ancestry and conflicts (#​28474)
• Preserve recursive metadata in union transformations (#​28497)
• Preserve runtime comparison semantics when narrowing tagged unions (#​28053)
• Preserve wrapped signatures in nominal descriptor checks (#​28466)
• Reject reassignment of enum members (#​28462)
• Report override conflicts introduced by new bases (#​28530)
• Resolve dependencies within correlated inference alternatives (#​28252)
• Respect instance dictionary storage for slotted classes (#​27749)
• Validate explicitly overridden constructor signatures (#​28115)

Performance

• Avoid redundant superclass member inference (#​28587)
• Reuse rendered union elements when displaying types (#​28494)

Memory usage improvements

• Reduce retained AST memory by shrinking expressions (#​28335)
• Share strings in dependency metadata (#​28141)

Contributors

• @​sharkdp
• @​ibraheemdev
• @​MichaReiser
• @​zsol
• @​zanieb
• @​charliermarsh
• @​mtshiba
• @​carljm

v0.0.80

Compare Source

Released on 2026-09-09.

Bug fixes

• Fix --force-exclude for directories with an excluded ancestor (#​28451)
• Preserve metaclass candidates after conflicts (#​28461)

LSP server

• Give existing autofixes descriptive titles (#​28456)
• Prevent LSP hangs during inlay hint bursts (#​28390)

Diagnostic improvements

• Preserve redundant-condition diagnostics with unreachable operands (#​28374)

Core type checking

• Check captured receivers when calling wrapped classmethods (#​28467)
• Fix cached classmethods on generic classes (#​28207)
• Fix disjointness of type guards and boolean literals (#​28363)
• Infer tuple variance from the full tuple spec (#​28446)
• Infer tuple variance more precisely (#​28426)
• Preserve callable identity across specialized types (#​28409)
• Preserve callback type context through ParamSpec forwarding (#​28439)
• Preserve wrapped functions in precise functools.partial relations (#​28460)
• Respect descriptor protocol for __set__ itself (#​28408)
• Respect type-variable bounds in argument context (#​28448)
• Unwrap union alternatives in overload implementations (#​28468)

Performance

• Distribute len inference over unions (#​28470)
• Fast-path concrete literal intersections (#​28348)

Memory usage improvements

• Avoid excess capacity in multi-binding tables (#​28412)
• Share equivalent place tables within a file (#​28319)
• Share names in synthesized constructor parameters (#​28398)

Contributors

• @​sharkdp
• @​charliermarsh
• @​ibraheemdev
• @​AlexWaygood
• @​MichaReiser

v0.0.79

Compare Source

Released on 2026-09-07.

Bug fixes

• Avoid dict keyword-call panics when typing is shadowed (#​28292)
• Discover configs in models derived from legacy generic classes (#​28397)
• Normalize recursive collection-use constraints (#​28332)
• Recover cycles when constructing known class instances (#​28289)

CLI

• Embed archive checksums in the shell installer (#​4458)

Diagnostic improvements

• Add Literal fixes for diagnostics flagging invalid type annotations (#​28185)
• Add await fixes for redundant conditions (#​28169)
• Add assert_never fixes for redundant final elif branches (#​28178)
• Add defensive assertion fallback for redundant elif fixes (#​28179)
• Add rules to detect always-truthy and always-falsy conditions (#​28034)
• Preserve deprecations on decorated callables (#​28256)
• Require a direct dependency for reveal_type backport fixes (#​28177)
• Suggest variable-length tuple annotations for redundant conditions (#​28168)

Core type checking

• Align TypeIs and isinstance narrowing (#​28193)
• Avoid falling back to Unknown when collecting type context constraints (#​28297)
• Ensure f is identity(f) evaluates to Literal[True] (#​28360)
• Fix callable specialization with union-valued ParamSpec (#​28085)
• Infer variance through recursive protocols (#​28077)
• Narrow types with ordered length comparisons (#​28264)
• Preserve gradual type context during generic call inference (#​28091)
• Preserve nominal subtyping for top-materialized protocols (#​28271)
• Preserve outer type variables during ParamSpec inference (#​28306)
• Preserve protocol intersections when narrowing gradual types (#​28391)
• Promote literals in nested (non-covariant) positions (#​28389)
• Reject missing attributes on type[] aliases (#​28267)
• Solve formal unions using constraint-sets (#​28312)
• Sync vendored typeshed stubs (#​28331). Typeshed diff

Performance

• Avoid unnecessary work when building specializations (#​28369)
• Bypass materialization queries for simple types (#​28367)
• Cache exception suppression for context managers (#​28376)
• Intern statement call predicates (#​28373)
• Lazily compute argument-context specializations (#​28378)
• Pre-size packed AST index chunks (#​28372)
• Reduce repeated work in use-def merges (#​28365)
• Skip decorator flags query for undecorated methods (#​28338)

Memory usage improvements

• Avoid caching simple type specializations (#​28333)
• Box cached MRO error details (#​28351)
• Reuse generic aliases as MRO query keys (#​28350)
• Reuse interned bound method signatures (#​28346)
• Reuse stored function signatures without caching duplicates (#​28347)
• Share retained use-def tables across scopes (#​28313)
• Store single narrowing operations inline (#​28345)
• Store uncommon signature metadata out of line (#​28339)

Other changes

• Declare support for Python 3.15 (#​4476)

Contributors

• @​carljm
• @​sharkdp
• @​charliemarsh-oai
• @​zsol
• @​charliermarsh
• @​ibraheemdev
• @​AlexWaygood

---

Configuration

📅 Schedule: (UTC)

• Branch creation
  • Between 12:00 AM and 03:59 AM (* 0-3 * * *)
• Automerge
  • At any time (no schedule defined)

🚦 Automerge: Enabled.

♻ Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.