chore(deps): update dependency ty to >=0.0.12

[renovate]

This PR contains the following updates:

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

---

Warning

Some dependencies could not be looked up. Check the Dependency Dashboard for more information.

---

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

[claude]

PR Review: Dependency Update - ty 0.0.11 → 0.0.12

✅ Approval Summary

This dependency update is safe to merge. It is a minor version bump of the ty type checker (dev dependency) with bug fixes and improvements.

Key Points

What changed:

• Updated ty from >=0.0.11 to >=0.0.12 in dev dependencies
• Lock file updated with new wheel distributions

Quality assessment:

• ✅ Scope: Minimal - only affects type checking, not runtime
• ✅ Risk: Very low - dev dependency, backward compatible bug fixes
• ✅ Breaking changes: None
• ✅ Security: No concerns

Notable improvements in 0.0.12:

• Fixed panic when casting to TypedDict unions
• Better type narrowing for if type(x) == y
• Stack overflow fix with recursive type aliases
• Enhanced support for dynamic classes and namedtuples

Recommendation

LGTM - Merge when ready. The update contains only bug fixes and type checking improvements that will benefit the codebase.