⬆️🐍 Update dependency ty to v0.0.44

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
ty (changelog)	==0.0.40 → ==0.0.44

---

Release Notes

astral-sh/ty (ty)

v0.0.44

Compare Source

Released on 2026-06-04.

Bug fixes

• Avoid treating sys.implementation.version like sys.version_info (#​25608)
• Fix anchor point for override diagnostics (#​25621)

LSP server

• Show type alias value on hover (#​25381)

Performance

• Add caching for pattern match narrowing (#​25613)
• Compact retained definition and expression identities (#​25606)
• Reuse expression cache for TypedDict union inference (#​25643)
• Upgrade Salsa (#​25545)

Core type checking

• Enable narrowing for unions of TypedDict (#​25188)

Contributors

• @​lerebear
• @​MichaReiser
• @​carljm
• @​pierrem964
• @​charliermarsh
• @​Hugo-Polloli

v0.0.43

Compare Source

Released on 2026-06-03.

Bug fixes

• Don't inject Unknown from non-callable elements of intersection call (#​25538)
• Don't needlessly disambiguate the same type alias (#​25563)
• Fix variance inference for nested type aliases (#​25567)
• Ignore rejected member annotations for synthesized bindings (#​25427)
• Normalize dynamic class literals in cycle recovery (#​25558)
• Register file roots for first-party search paths (#​25522)
• Treat union-bound typevars like unions for possibly-missing-attribute (#​25561)

LSP server

• Suppress importable completions that are already in scope (#​25479)

Performance

• Avoid retaining duplicate function signatures (#​25609)
• Compact retained definition inference results (#​25593)
• Compact retained definition kinds (#​25610)
• Compact retained definitions by node (#​25498)
• Consolidate AST ID reverse lookup (#​25455)
• Consolidate retained use-def definition maps (#​25499)
• Omit redundant definitions-by-node entries (#​25501)
• Reuse common protocol constraints for TypedDict unions (#​25598)

Diagnostics

• Improve error context for not-iterable diagnostics (#​24944)

Core type checking

• Detect disjointness due to incompatible generic specializations (#​24822)
• Distinguish typing.Callable from collections.abc.Callable (#​24954)
• Include nested global/nonlocal bindings in type inference (#​25387)
• Optional lower/upper bounds in individual constraints (#​25435)
• Preserve slice-bound types in subscript inference (#​25446)
• Reject Self in type aliases (#​25529)
• Require literal booleans for TypedDict flags (#​25594)
• Support narrowing on lengths (#​25347)
• Synthesize precise __len__ methods for literals (#​25600)
• Use callable type context to implicitly specialize generic class (#​25471)
• expand type aliases inside type context unions (#​25553)

Contributors

• @​carljm
• @​cheparity
• @​kouhe3
• @​sharkdp
• @​charliermarsh
• @​dcreager
• @​thejchap
• @​oconnor663

v0.0.42

Compare Source

Released on 2026-06-01.

Bug fixes

• Fix narrowing of enum literal unions by member identity (#​25520)
• Detect recursive expansion in constraint-set solving (#​25442)

Core type checking

• Support tagged-union narrowing for nominal types (#​24916)
• Extend Generator assignability workaround to Python 3.13+ (#​25472)
• Sync vendored typeshed stubs (#​25514). Typeshed diff

Performance

• Avoid redundant work for empty collection context (#​25527)
• Deduplicate retained use-def place states (#​25450)
• Compact retained semantic maps (#​25238)

Contributors

• @​aholyoke
• @​carljm
• @​charliermarsh
• @​sharkdp

v0.0.41

Compare Source

Released on 2026-05-31.

Bug fixes

• Avoid panic for deferred dataclass field annotations (#​25444)
• Avoid panic from cycle in function decorator inference (#​25475)
• Ignore rejected assignments for synthesized bindings (#​25340)
• Infer bool for not applied to dynamic values (#​25445)
• Use diagnostic message as tie-breaker when sorting (#​25424)

LSP server

• Add call hierarchy support (#​25338)
• Add function parentheses completion (#​25305)
• Display docs for matching parameter when hovering over the name of an argument passed by keyword (#​25283)
• Document completeFunctionParentheses editor setting (#​3513)

Diagnostics

• Introduce opt-in missing-override-decorator rule (#​25111)
• Improve diagnostics for syntax errors in forward annotations (#​25158)
• Improve diagnostic for failed assignment to a Callable type (#​25308)

Core type checking

• Narrow bound method overloads by receiver (#​24707)
• Add disjointness for protocol method members (#​25315)
• Avoid treating metaclass declarations as populated values (#​25432)
• Use TypeForm in ty_extensions (#​25421)

Performance

• Avoid storing redundant reachability indexes (#​25453)
• Compact retained semantic arrays (#​25454)
• Remove excess capacity from more Salsa cached collections (#​25411)
• Use compact sets for more immutable fields (#​25476)
• Use ThinVec for sparse kwargs bindings (#​25457)

Contributors

• @​sharkdp
• @​charliermarsh
• @​lerebear
• @​AlexWaygood
• @​MichaReiser
• @​mhuen
• @​jelle-openai

---

Configuration

📅 Schedule: (UTC)

• Branch creation
  • "every weekend"
• 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.