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

[renovate]

This PR contains the following updates:

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

---

Warning

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

---

Release Notes

astral-sh/ty (ty)

v0.0.13

Compare Source

Released on 2026-01-21.

Bug fixes

• Fix --force-exclude when excluding entire directories (#​22595)
• Fix missing syntax highlighting for aliased import names (#​22675)
• Highlight interpolated-parts in t-strings (#​22674)
• Fix the inferred MRO of functional namedtuple classes (#​22722)
• Make special cases for subscript inference exhaustive, ensuring that the special casing for tuple subscripts is applied when a union of tuples or an alias to a tuple type is subscripted (#​22035)

LSP server

• Improve completion suggestions inside class definitions (#​22571)
• Improve performance of completions (#​22630)
• Remove completion suggestions for redundant re-exports that share the same top-most module (#​22581)

Core type checking

• Add basic support for overloads in ParamSpec (#​21946)
• Allow ... as a default value for any parameter if the function is in an if TYPE_CHECKING block (#​22624)
• Allow if type(x) is Y narrowing for types other than class-literal types (#​22729)
• Avoid overload errors when detecting dataclass-on-tuple (#​22687)
• Avoid reporting overload errors for successful union variants (#​22688)
• Ban NewTypes with generic bases (#​22653)
• Fix PEP 695 type aliases not expanding in overload resolution (#​22589)
• Fix the return type for synthesized NamedTuple.__new__ methods (#​22625)
• Emit diagnostics for NamedTuple, TypedDict, Enum or Protocol classes decorated with @dataclass (#​22672)
• Emit invalid-type-form diagnostics for stringified annotations where the quoted expression is invalid (#​22752)
• Infer the implicit type of cls in __new__ methods (#​22584)
• Make ModuleType and object attributes available on namespace packages (#​22606)
• Make NamedTuple(...) and namedtuple(...) calls stricter (#​22601)
• Narrow on bool and byte subscripts (#​22684)
• Narrow on negative subscript indexing (#​22682)
• Override __file__ to str when applicable on imported modules (#​22333)
• Add bidirectional inference for comprehensions (#​22564)
• Recognize string-literal types as subtypes of Sequence[Literal[chars]] (#​22415)
• Add right-hand-side narrowing for if Foo is type(x) expressions (#​22608)
• Add simple syntactic validation for the right-hand side of PEP-613 type aliases (#​22652)
• Add support for passing typename and field_names by keyword argument to collections.namedtuple() calls (#​22660)
• Add support for starred unpacking in class bases (#​22591)
• Validate constructor arguments when a class is used as a decorator (#​22377)
• Validate field names for typing.NamedTuple(...) (#​22599)
• Add diagnostic on overridden __setattr__ and __delattr__ in frozen dataclasses (#​21430)
• Fix unary operators on NewTypes of float or complex (#​22605)

Configuration

• Support overriding respect-type-ignore-comments (#​22615)

Diagnostics

• Don't add a subdiagnostic pointing to the TypeVar definition if the TypeVar is Self (#​22646)
• Show final search path instead of "and 1 more paths" (#​22776)
• Group type[] elements together when displaying union types (#​22592)

Performance

• Cache ClassType::nearest_disjoint_base (#​22065)

Other changes

• Sync vendored typeshed stubs (#​22590, Typeshed diff

Contributors

• @​bxff
• @​jhartum
• @​thejchap
• @​AlexWaygood
• @​charliermarsh
• @​RasmusNygren
• @​mswart
• @​MatthewMckee4
• @​11happy
• @​ibraheemdev
• @​sinon
• @​MichaReiser
• @​carljm
• @​BurntSushi
• @​dhruvmanila
• @​oconnor663
• @​zanieb

---

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.12 to 0.0.13

Summary

Renovate bot PR updating ty type-checker from >=0.0.12 to >=0.0.13. Minimal changes focused on version bumping.

Positives

• Patch update with bug fixes and improvements
• Only touches pyproject.toml and uv.lock - no code changes
• Follows project standards with >= versioning
• Changelog shows bug fixes for type checking, LSP improvements, performance enhancements

Observations

1. Binary size increase: ~300-400KB larger per platform
2. New type checking features: Stricter NamedTuple/namedtuple validation, better narrowing, improved overload handling
3. No breaking changes: All backward-compatible

Recommendations

1. Verify typecheck task passes with new version before merging
2. Consider pinning exact versions if stability critical

Verdict

LGTM - Safe to merge after CI passes. Routine dependency update with beneficial bug fixes.