⬆️ Update dependency ty to v0.0.14

[renovate]

This PR contains the following updates:

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

---

Release Notes

astral-sh/ty (ty)

v0.0.14

Compare Source

Released on 2026-01-26.

Bug fixes

• Consider keyword arguments when unpacking a variadic argument (#​22796)
• Fix binary operator false-positive for constrained TypeVars (#​22782)
• Fix docstring rendering for literal blocks after doctests (#​22676)
• Fix false-positive unsupported-operator for "symmetric" TypeVars (#​22756)
• Fix panic when overriding a final method using an assignment (#​22831)
• Fix unary operator false-positive for constrained TypeVars (#​22783)
• Fix generic functions with a generic (ParamSpec) decorator (#​22544)
• Fix memo.changed_at assertion panics (#​22498)

LSP server

• Look up attributes on metaclasses for Go to Definition (#​22758)
• Suppress type inlay hints for leading-underscore assignments (#​22855)

Configuration

• Add allowed-unresolved-imports setting (#​22800)

Other changes

• Add assert-type-unspellable-subtype diagnostic, for failed assert_type() where the actual type is a subtype of the named type that can't be spelled in a type expression (#​22815)
• Add a new empty-body return code for functions with stub bodies that have non-None return annotations (#​22846)
• Add diagnostic disambiguation for different type aliases with the same name (#​22852)
• Add support for dict literals and dict() calls as default values for parameters with TypedDict types (#​22161)
• Add support for subscripts on intersections (#​22654)
• Avoid duplicate syntax errors for await outside functions (#​22826)
• Emit an error if the same type parameter appears more than once in a Generic[] subscript (#​22738)
• Emit diagnostic for unimplemented abstract method on @​final class (#​22753)
• Fix GitLab Code Quality output format for empty diagnostics (#​22833)
• Fix assignment in decorated method causing Unknown fallback (#​22778)
• Fix false negative when using a non-runtime-checkable protocol in a match class pattern (#​22836)
• Improve completion rankings for raise-from/except contexts (#​22775)
• Improve invalid assignment diagnostics with type context (#​22643)
• Improve support for kwarg splats in dictionary literals (#​22781)
• Infer TypedDict types with >=1 required key as being always truthy (#​22808)
• Point to an overload with an invalid @final decoator when emitting invalid-overload errors for invalid @final decorators (#​22812)
• Require both *args and **kwargs when calling a ParamSpec callable (#​22820)
• Stricter validation of TypedDict definitions (#​22811)
• Support recursive and stringified annotations in functional typing.NamedTuples (#​22718)
• Support solving generics involving PEP 695 type aliases (#​22678)
• Use a more lenient fallback type for failed namedtuple() and NamedTuple calls (#​22765)
• Use type context from augmented assignment dunder calls (#​22540)
• Check that starred arguments in function calls are iterable (#​22805)

Contributors

• @​AlexWaygood
• @​maifeeulasad
• @​RasmusNygren
• @​ntBre
• @​Imbuzi
• @​dhruvmanila
• @​ibraheemdev
• @​carljm
• @​Hugo-Polloli
• @​charliermarsh
• @​MichaReiser
• @​bxff
• @​felixscherz
• @​denyszhak

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

[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

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 99.88%. Comparing base (7a33f65) to head (09f6d81).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #1329   +/-   ##
=======================================
  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.