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

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
ty (changelog)	==0.0.29 → ==0.0.31

---

Release Notes

astral-sh/ty (ty)

v0.0.31

Compare Source

Released on 2026-04-15.

Bug fixes

• Avoid panic from double inference for namedtuple(typename=T, field_names=x, **{}) (#​24641)
• Avoid panic from double inference with missing functional Enum(...) names (#​24638)
• Avoid panic from double inference with functional Enum(value=...) (#​24639)
• Fix cases where invalid-key fix doesn't converge, and override-of-final-method produces invalid syntax (#​24649)
• Fix unnecessary ty:ignore comments inserted by --add-ignore for diagnostics starting on the same line (#​24651)

CLI

• Add --fix mode to enable auto-fix for diagnostics (#​24097)

Performance

• Avoid excessive memory usage for dataclasses with many fields (#​24620)

Core type checking

• Check inherited NamedTuple field conflicts (#​24542)
• Error when duplicate keywords are provided to TypedDict constructors (#​24449)
• Respect mixed positional and keyword arguments in TypedDict constructor (#​24448)
• Respect subclass shadowing for inherited NamedTuple fields (#​24640)
• Skip EnumMeta.__call__ for enum constructor signatures (#​24513)

Contributors

• @​sharkdp
• @​Glyphack
• @​MichaReiser
• @​charliermarsh

v0.0.30

Compare Source

Released on 2026-04-13.

As of v0.0.30, ty no longer unions Unknown into most inferred types of unannotated attributes. For example:

class Foo:
    def __init__(self) -> None:
        self.value = 1

reveal_type(Foo().value)  # revealed: int
Foo().value = "x"  # error: [invalid-assignment]

In previous versions, reveal_type(Foo().value) would have included Unknown, so the assignment to "x" would not have been flagged. Since this can affect inferred attribute types throughout a codebase, upgrading may lead to both new and resolved diagnostics. Initializers of None and other non-literal singleton types remain exceptions. See #​24531 for details.

Bug fixes

• Disallow bare ParamSpec in Concatenate prefixes (#​24474)
• Ensure '/' parameter appears before '*' when rendering Callable types (#​24497)
• Ensure nested conditional blocks inherit TYPE_CHECKING state from outer blocks (#​24470)
• Fix bad diagnostic range for incorrect implicit __init_subclass__ calls (#​24541)
• Fix incorrect assignability of type[T] to a metaclass (#​24515)
• Fix stack overflows from recursive types (#​24413)
• Server: fix signature help for ParamSpec-specialized class calls (#​24399)
• Use TypedDict field types as type context to inform the inference of arguments passed to TypedDict constructors (#​24422)

LSP server

• Adjust semantic tokens implementation to ensure that type alias values have "type form" syntax highlighting in IDEs (#​24478)
• Completions: rank symbols from typing and collections higher than third party re-exports (#​23643)
• Ignore unsupported editor-selected Python versions (#​24498)
• Improve TypedDict constructor support in the LSP by synthesizing __init__ (#​24476, #​24522, #​24535)
• Return all attribute definitions for goto definition, rather than just the last definition in the given scope (#​24332)
• Show info subdiagnostics in LSP diagnostic messages (#​24328)
• Use the context of the kind of object a parameter is expected to receive to inform syntax highlighting of arguments passed to call expressions (#​23949)

Diagnostics

• Hide "Rule xyz is enabled"-style hints unless verbose mode was specified (#​24469)
• Improve consistency of pedantic lints complaining about badly named types (#​24575)
• Point to the first reachable declaration, rather than the first declaration, in declaration-based diagnostics (#​24564)

Core type checking

• Add support for functional Enum(...) syntax (#​23602, #​24570, #​24571)
• Allow Final variable assignments in __post_init__ (#​24529)
• Allow partially stringified type[...] annotations, e.g. type["MyClass"] (#​24518)
• Emit a diagnostic when attempting to inherit from a class with __init_subclass__ = None (#​24543)
• Fix TypeGuard and TypeIs narrowing for unbound method calls (#​24612)
• Fix assignability of intersections with bounded TypeVars (#​24502)
• Fix excess subscript argument inference for non-generic types so that list[int][0] leads to 1 diagnostic, rather than 2 (#​24354)
• Inherit dataclass_transform metadata from metaclass bases (#​24615)
• Lazily evaluate declaration reachability in field and enum filters (#​24451)
• Normalize explicit None accessors in manual property construction (#​24492)
• Reject deleting Final attributes (#​24508)
• Respect non-required keys in TypedDict unpacking (#​24446)
• Respect property deleters in attribute deletion checks (#​24500)
• Stop special-casing str constructor (#​24514)
• Stop unioning Unknown into types of un-annotated attributes (#​24531)
• Support super() in metaclass methods (#​24483)
• Tighten up a few edge cases in Concatenate type-expression parsing (#​24172)
• Use basic blocks for determining if a node is in an if TYPE_CHECKING block (#​24394)

Contributors

• @​charliermarsh
• @​Glyphack
• @​MichaReiser
• @​sharkdp
• @​carljm
• @​YilunAllenChen
• @​zanieb
• @​AlexWaygood
• @​thejchap

---

Configuration

📅 Schedule: (UTC)

• Branch creation
  • At any time (no schedule defined)
• Automerge
  • At any time (no schedule defined)

🚦 Automerge: Enabled.

♻ Rebasing: Whenever PR becomes conflicted, 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.12%. Comparing base (d99e38d) to head (6127ed1).
⚠️ Report is 2 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #1631   +/-   ##
=======================================
  Coverage   79.12%   79.12%           
=======================================
  Files         354      354           
  Lines       11701    11701           
  Branches      542      542           
=======================================
  Hits         9258     9258           
  Misses       2256     2256           
  Partials      187      187           

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

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.