fix(deps): update dependency ty to v0.0.22

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
ty (changelog)	==0.0.21 → ==0.0.22

---

Release Notes

astral-sh/ty (ty)

v0.0.22

Compare Source

Released on 2026-03-12.

Bug fixes

• Fix issue where variables could be inferred as Divergent if they were assigned using tuple unpacking in loops (#​23812)
• Allow error = "all" in a root pyproject.toml file to be overridden using tool.ty.overrides in a subdirectory's pyproject.toml file (#​23712)
• Only unsoundly upcast type[] types to their constructor Callable type during assignability checks, not during redundancy/subtyping checks (#​23834, #​23901)
• Fix stack overflow that could occur with certain recursive protocols (#​23870)

LSP server

• Improve syntax highlighting by fixing semantic token classification for generic class members in annotations (#​23811)

CLI

• Add ty explain <RULE> CLI command (#​23766)

Core type checking

• Add validation for type parameters with defaults after TypeVarTuple parameters (#​23807)
• Allow subtypes of LiteralString to be narrowed using equality checks (#​23794)
• Detect invalid partially stringified PEP-604 unions (#​23285)
• Disambiguate duplicate-looking overloaded callables in union display (#​23907)
• Don't promote module-literal types to types.ModuleType (#​23786)
• Improve type context support for __setitem__ dunder calls (#​23800)
• Infer t | {"foo": int} as TD if t is an instance of a TypedDict td with a foo: int key (#​23806)
• Narrow T to T & str rather than str if T is a constrained TypeVar with str as one of its constraints (#​23850)
• Promote None to None | Unknown in invariant contexts (#​23790)
• Reject type[Callable] in type annotations (#​23753)
• Support enum member access through enum instances and members (#​23772)
• Eagerly narrow the type associated with keys of heterogeneous dict literals even when a dict literal appears as a subexpression inside a list or tuple literals (#​23569)
• Ensure that T & ~S is always inferred as a subtype of U during generic inference if T is understood as a subtype of U (#​23728)
• Optimize and improve cycle recovery by preventing "tainted" unions in cycle normalization (#​23563)

Installer

• Prefer downloading releases from Astral's mirror over GitHub (#​2980)

Contributors

• @​charliermarsh
• @​MichaReiser
• @​mtshiba
• @​AlexWaygood
• @​ibraheemdev
• @​ntBre
• @​oconnor663
• @​zsol

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), 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 these updates again.

---

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

---

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

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 79.15%. Comparing base (f9c8afa) to head (63c3fab).
⚠️ Report is 1 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #1606   +/-   ##
=======================================
  Coverage   79.15%   79.15%           
=======================================
  Files         354      354           
  Lines       11658    11658           
  Branches      536      536           
=======================================
  Hits         9228     9228           
  Misses       2245     2245           
  Partials      185      185           

Flag	Coverage Δ
unittests	79.15% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.