chore(deps): update dependency ty to v0.0.80

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
ty (changelog)	==0.0.78 → ==0.0.80

---

Release Notes

astral-sh/ty (ty)

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
  • At any time (no schedule defined)
• Automerge
  • At any time (no schedule defined)

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, 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.