Update dependency ty to v0.0.55

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
ty (changelog)	==0.0.52 → ==0.0.55

---

Release Notes

astral-sh/ty (ty)

v0.0.55

Compare Source

Released on 2026-06-26.

LSP server

• Render full diagnostics in color (#​26384)

Documentation

• Document colored diagnostic output (#​3858)

Performance

• Improve vendored filesystem concurrency (#​26408)
• Optimize enum comparisons in equality evaluation (#​26340)
• Remove redundant semantic index shrinks (#​26392)
• Use never-change durability for one-shot checks (#​26359)

Core type checking

• Correct enum alias detection and scalar constructors (#​26345)
• Fix structural pattern binding inference (#​26411)
• Improve variable-length tuple slicing (#​26151)
• Infer class and mapping pattern bindings (#​25941)
• Infer empty collection constructors from later uses (#​26389)
• Skip shadowed submodule bindings during import analysis (#​26385)
• Sync vendored typeshed stubs (#​26406). Typeshed diff
• Track literal iterable emptiness for reachability (#​25222)
• Validate positional class patterns against __match_args__ (#​26195)

Contributors

• @​charliermarsh
• @​carljm
• @​AlexWaygood
• @​MichaReiser
• @​mtshiba
• @​felixscherz

v0.0.54

Compare Source

Released on 2026-06-25.

Bug fixes

• Avoid duplicate configuration error output (#​26375)
• Avoid stack overflows in reachability analysis (#​26272)
• Fix divergent recursive tuple cycle handling in ty (#​26316)
• Fix panic from relation queries during cycle recovery (#​26335)
• Fix panics by reverting recursive TypeOf cycle recovery (#​26339)
• Support basic usages of __class__ closure cells in methods (#​26329)

LSP server

• Fix typealias token classification inconsistency (#​26255)
• Implement rust-analyzer's "Click for full compiler diagnostic" feature (#​26269)

Performance

• Co-locate retained definition usage state (#​26019)
• Use never-change durability for immutable file inputs (#​26353)

Diagnostics

• Reject undeclared protocol instance attributes (#​26336)

Core type checking

• Allow replacing ordinary methods with compatible functions (#​26158)
• Distinguish typing.TypedDict from typing_extensions.TypedDict (#​25843)
• Don't treat non-empty ranges as single-valued (#​26351)
• Handle TypeVar bounds over type[...] in attribute lookup (#​26146)
• Infer definite equality comparison results (#​26337)
• Infer mismatched literal comparisons (#​26313)
• match statements: make class-pattern fallthrough member-aware (#​26283)
• match statements: prove TypedDict structural patterns exhaustive (#​26285)
• match statements: resolve positional class-pattern exhaustiveness (#​26284)
• Model non-exhaustive enum member sets (enum.Flags) (#​26277)
• Reduce retained definition map storage (#​26348)
• Reuse equality semantics for membership compatibility (#​25955)
• Sync vendored typeshed stubs to support builtins.sentinel (#​26341)
• Treat non-empty range calls as non-empty for reachability (#​25220)
• Use assignability for divergent constraints (#​26334)
• Widen inferred class-valued instance attributes (#​26338)

Contributors

• @​carljm
• @​sqqueak
• @​AlexWaygood
• @​mtshiba
• @​charliermarsh
• @​MichaReiser

v0.0.53

Compare Source

Released on 2026-06-23.

Bug fixes

• Avoid bypassing lazy constraints for Divergent (#​26288)
• Avoid recursion when projecting narrowing constraints (#​26276)
• Fix ParamSpec callable signature extraction for callable instances (#​26279)
• Make multi-arm TypeOf cycle recovery monotonic (#​26275)

LSP server

• Document all special forms in ty_extensions (#​26263)

Performance

• Avoid cloning fallback condition flow snapshots (#​26203)
• Avoid constructing discarded speculative diagnostics (#​26251)
• Avoid path lookups when sorting same-file diagnostics (#​26257)
• Cache is_never_satisfied results (#​26261)
• Defer applying type context to simple standalone expressions (#​26252)

Core type checking

• Infer types for names bound in match patterns (#​25940)
• Preserve regular kind for callable instances (#​26253)
• Simplify intersections of invariant generic types with Any specializations (#​26127)

Contributors

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

---

Configuration

📅 Schedule: (UTC)

• Branch creation
  • Only on Sunday (* * * * 0)
• 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.

[github-actions]

Test Results

Test results:
test_noop: tests.test_noop
This test report was produced by the test-summary action.  Made with ❤️ in Cambridge.