⬆️ Update dependency ty to v0.0.12

[renovate]

This PR contains the following updates:

Package	Change	Age	Adoption	Passing	Confidence
ty (changelog)	==0.0.11 → ==0.0.12

---

Release Notes

astral-sh/ty (ty)

v0.0.12

Compare Source

Released on 2026-01-14.

Bug fixes

• Avoid panic that could occur when casting an object to a TypedDict or union of TypedDicts (#​22509)
• Fix incorrect narrowing for if type(x) == y (#​22531)
• Fix stack overflow with recursive type aliases containing tuple types (#​22543)
• functools.total_ordering: ensure the signatures of generated methods reflect the signature of the user-provided method (#​22496)
• Support dataclass_transform as a function call (#​22378)
• Use the top materialization of classes for if type(x) is y narrowing. For example, if type(x) is tuple will cause the type of x to be intersected with tuple[object, ...] rather than tuple[Unknown, ...]. (#​22553)
• Avoid emitting Liskov violations with respect to a grandparent class if such violations could not be fixed without introducing Liskov violations with respect to a parent class (#​22484)
• Fix interaction between classmethod, contextmanager, and Self (#​22407)
• Check contravariant type variable bounds contravariantly in specialization inference (#​22488)
• Fix false positive for bounded type parameters with NewType (#​22542)

Type checking

• Add support for dynamic type() classes (#​22291, #​22499, #​22537, #​22480)
• Add support for functional namedtuple creation (#​22327, #​22573, #​22575, #​22574)
• Add a diagnostic for non-decorator uses of final (#​22555)
• Add diagnostic to catch generic enums (#​22482)
• Add diagnostics for __init_subclass__ argument mismatch (#​22185)
• Add diagnostics to validate TypeIs and TypeGuard definitions (#​22300)
• Apply type narrowing to walrus targets (#​22369)
• Detect invalid @total_ordering applications in non-decorator contexts (#​22486)
• Fix @Todo type for starred expressions (#​22503)
• Improve disambiguation of types in diagnostics (#​22547)
• Include type parameters in the display for generic Callable types (#​22435)
• Infer type[Unknown] for calls to type() when overload evaluation is ambiguous (#​22569)
• Support assignment to unions of TypedDicts (#​22294)
• Use the key and value parameter types as type context for __setitem__ dunder calls (#​22148)
• Narrow the right-hand side of ==, !=, is and is not conditions when the left-hand side is not narrowable (#​22511)

LSP server

• Fix __file__ type in completions to show str instead of str | None when the inferred type is str (#​22510)
• Improve rendering of ReST directives in docstrings (#​22512)

Contributors

• @​eclbg
• @​RasmusNygren
• @​carljm
• @​drbh
• @​AryanBagade
• @​bxff
• @​ibraheemdev
• @​charliermarsh
• @​AlexWaygood

---

Configuration

📅 Schedule: Branch creation - "before 2am" (UTC), Automerge - At any time (no schedule defined).

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

♻ 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.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 99.88%. Comparing base (943e5d2) to head (5b77327).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #1318   +/-   ##
=======================================
  Coverage   99.88%   99.88%           
=======================================
  Files           6        6           
  Lines         892      892           
  Branches      124      124           
=======================================
  Hits          891      891           
  Partials        1        1           

☔ 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.

[sonarqubecloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud