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

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
ty (changelog)	>=0.0.28 → >=0.0.34

---

Release Notes

astral-sh/ty (ty)

v0.0.34

Compare Source

Released on 2026-05-01.

Bug fixes

• Avoid panic in recursive protocol signature comparisons (#​24665)
• Avoid panics for syntax error targets in invalid unpacking assignments (#​24663)
• Fix unbounded type growth in nested-typevar substitutions (#​24803)
• Prevent string annotation tokens from leaking across notebook cells (#​24919)
• Support reference finding in stringified annotations (#​24956)

LSP server

• Add hover support for PEP 695 type aliases (#​24926)
• Offer string literal completion suggestions based on expected type (#​24555)
• Support Go-to Definition, Go-To Declaration, and Find References for TypedDict and NamedTuple initializers (#​24897)
• Support Annotated metadata in semantic tokens (#​24890)

Core type checking

• Add support for functools.partial (#​24582)
• Fix ParamSpec defaults and alias variance (#​24479)
• Fix TypeIs assignability with gradual types (#​24928)
• Infer dict(**TypedDict) in TypedDict context (#​24709)
• Support infer_variance for legacy TypeVar (#​24930)
• Support variance keywords in ParamSpec (#​24927)
• Sync vendored typeshed stubs (#​24952). Typeshed diff
• Unpack Union of TypedDict in various sites (#​24958)

Diagnostics

• Add missing error context node for protocol to protocol assignability (#​24905)
• Show a diagnostic for unsupported inferred Python version (#​24581)

Performance

• Lazily build TypeVar accumulations (#​24782)

Contributors

• @​sharkdp
• @​MichaReiser
• @​lerebear
• @​MatthewMckee4
• @​charliermarsh
• @​mtshiba
• @​Minibrams
• @​denyszhak

v0.0.33

Compare Source

Released on 2026-04-28.

Notable changes

• ty now prefers the declared type of an annotated assignment in more situations (#​24802).
  Consider this example:

  from some_library import untyped_function
  
  threshold: int | None = 0
  result: str = untyped_function()

  ty previously favored the inferred type of the right hand side expression when threshold and result were used. This is useful for threshold, as it allows something like threshold += 1 to work without an error: we know that threshold could later become None, but right now, we see that it is an int. However, for result, the inferred type is Unknown. This is not a useful type and it can lead to false negatives. Starting with this release, ty will therefore prefer
  the declared type if the inferred and declared types are mutually assignable. In the above example, threshold will still be inferred as int (or rather Literal[1]), but result will now be inferred as str. If you previously added casts to work around this behavior, you should be able to remove them after upgrading.

Bug fixes

• Fix reporting of annotation-only locals as unused (#​24811)
• Fix project and workspace selection (#​24824)
• Fix go-to definition for generic classes (#​24714)
• Fix receiver coloring for aliased decorators (#​24884)

LSP server

• Add support for go-to definition in literal enum member inlay hints (#​24792)
• Add support for "baking" keyword argument inlay hints into the source code (#​24667)
• Don't allow inlay hint edits when introducing a non global scope symbol (#​24797)
• Omit semantic highlighting for unresolved symbols (#​24718)

Core type checking

• Support narrowing with aliased conditional expressions (#​24302)
• Model short-circuiting control flow in Boolean expressions (#​24458)
• Handle finally blocks where all try/except blocks are terminal (#​24882)
• Detect invalid ClassVar vs instance-attribute overrides (#​24767)
• Emit diagnostic for invalid uses of Unpack[...] (#​24868)
• Infer lambda parameter types with Callable type context (#​24317)
• Support ** unpacking of TypedDict in dict-literal assignments (#​24703)
• Support Unpack[TypedDict] in **kwargs signatures (#​24653)
• Treat [*xs] as an irrefutable pattern when matching on Sequence (#​24787)
• Improve generics solving for unions in invariant positions (#​24698)
• Improve generics solving for unions when matching against protocols (#​24837)

Diagnostics

• Add error context to invalid-return-type diagnostics, invalid-yield diagnostics, attribute assignment diagnostics (#​24770, #​24771)
• Add error context for invalid TypedDict assignments (#​24790)
• Add error context for invalid intersection type assignments (#​24772)
• Improve TypedDict to dict assignment error diagnostics (#​24768)
• Add contextual secondary annotations in more places (#​24696)
• Include full type in invalid-key diagnostics for unions of TypedDicts (#​24693)
• Emit more specific diagnostics for "possibly unbound" errors from context manager dunder methods invoked on a union. (#​24662)
• Remove duplicate invalid-type-form diagnostics for PEP-613 type alias values (#​24760)
• Improve diagnostics for implicit calls to a possibly unbound unary operator (#​24816)
• Improve diagnostics for possibly-unbound errors from implicit dunder calls on unions (#​24676)

Performance

• Optimize signature checking based on number of arguments (#​24674)
• Defer union of parameter types (#​24756)
• Skip checks for gradual vararg calls (#​24748)

Other changes

• Fix notifications about watched changes for entities outside any workspace (#​24775)

Contributors

• @​MatthewMckee4
• @​lerebear
• @​tonyxwz
• @​sharkdp
• @​felixscherz
• @​MichaReiser
• @​tamird
• @​ibraheemdev
• @​AlexWaygood
• @​denyszhak
• @​charliermarsh
• @​mtshiba
• @​EliteTK
• @​carljm

v0.0.32

Compare Source

Released on 2026-04-20.

Bug fixes

• Fix panic when __get__ uses Concatenate self-type and wraps a __call__ (#​24692)
• Avoid panicking on overloaded Callable type context (#​24661)
• Expand class bases in per-base lint checks (#​24695, #​24699)
• Fix stack overflow for binary operator inference involving recursive types (#​24551)

LSP server

• Dim out unreachable code in IDEs (#​24580)
• Do not suggest argument completion when typing the value of a keyword argument (#​24669)
• Retrieve the docstring from the overload implementation if an @overload-decorated function has no docstring (#​23920)

Core type checking

• Allow if statements in TypedDict bodies (#​24702)
• Disallow @disjoint_base on TypedDicts and Protocols (#​24671)
• Do not consider a subclass of a @dataclass_transform-decorated class to have dataclass-like semantics if it has type in its MRO (#​24679)
• Reject using properties with Never setters or deleters (#​24510)
• Sync vendored typeshed stubs (#​24646). Typeshed diff

Diagnostics

• Show error context for assignability diagnostics (#​24309)
• Use partially qualified names when reporting diagnostics regarding bad calls to methods (#​24560)
• Reduce source code context window to zero (#​24689)
• Merge same-file annotations if there is only a single line separating them (#​24694)

Performance

• Memoize binary operator return types (#​24700)
• Gate protocol compatibility on member count (#​24684)

Contributors

• @​JelleZijlstra
• @​kc0506
• @​denyszhak
• @​carljm
• @​dcreager
• @​AlexWaygood
• @​dylwil3
• @​charliermarsh
• @​sharkdp
• @​ibraheemdev

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

v0.0.29

Compare Source

Released on 2026-04-05.

Bug fixes

• Avoid special-casing for dataclasses.field if it's not in field_specifiers (#​24397)
• Reject unsupported environment.python-version values in configuration files (#​24402)
• Respect supported lower bounds from requires-python (#​24401)

Core type checking

• Add support for types.new_class (#​23144)
• Fix PEP 695 type aliases in with statement (#​24395)
• Respect __new__ and metaclass __call__ return types (#​24357)
• Treat enum attributes with type annotations as members (#​23776)

Contributors

• @​charliermarsh
• @​carljm

---

Configuration

📅 Schedule: (UTC)

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

[deepsource-io]

DeepSource Code Review

We reviewed changes in a4ccdc8...34793c4 on this pull request. Below is the summary for the review, and you can see the individual issues we found as inline review comments.

See full review on DeepSource ↗

PR Report Card

Overall Grade

Security   Reliability   Complexity   Hygiene

Code Review Summary

Analyzer	Status	Updated (UTC)	Details
Python		May 2, 2026 1:43a.m.	Review ↗
Secrets		May 2, 2026 1:43a.m.	Review ↗

---

Important

AI Review is run only on demand for your team. We're only showing results of static analysis review right now. To trigger AI Review, comment @deepsourcebot review on this thread.

[kilo-code-bot]

Code Review Summary

Status: No Issues Found | Recommendation: Merge

Files Reviewed (2 files)

• pyproject.toml - No issues
• uv.lock - No issues (generated lock file)

This is a straightforward dependency update (ty: 0.0.33 → 0.0.34) with no code changes.

---

_{Reviewed by minimax-m2.5-20260211 · 256,213 tokens}

---

_{Reviewed by ling-2.6-1t-20260423:free · 343,447 tokens}

[mergify]

Merge Queue Status

• ✅ Entered queue — 2026-04-06 21:01 UTC · Rule: Python Dependency Updates
• ✅ Checks started · on draft merge queue: embarking main (8980236) and #336 together #351
• 🚫 Left the queue — 2026-04-09 21:05 UTC · at db46eb671af64b8f04733cc33a49c41e79dcbd2e

This pull request spent 3 days 3 minutes 40 seconds in the queue, with no time running CI.

Required conditions to merge

• check-success = Test Image / API Test
• any of [🛡 GitHub repository ruleset rule main]:
  • check-neutral = Mergify Merge Protections
  • check-skipped = Mergify Merge Protections
  • check-success = Mergify Merge Protections

Reason

The pull request #336 has been manually updated

Hint

If you want to requeue this pull request, you can post a @mergifyio queue comment.

[mergify]

Merge Queue Status

• ✅ Entered queue — 2026-04-09 21:15 UTC · Rule: Python Dependency Updates
• 🚫 Left the queue — 2026-04-09 21:16 UTC · at ff9b1fa7a262f5126d9a6d00dd9fb48bedd0fce3

This pull request spent 35 seconds in the queue, with no time running CI.

Reason

The pull request conflicts with pull requests ahead in queue: #348, #349

Hint

There is nothing you can do for now. If the pull request ahead in the queue is merged, this pull request will become conflicting and you'll have to update it.
If the pull request ahead is not merged, you can requeue this pull request with a @mergifyio queue comment.

[mergify]

Hey @renovate[bot], your pull request has been dequeued due to the following reason: CONFLICT_WITH_PULL_AHEAD. Sorry about that, but you can requeue the PR by using @mergifyio requeue if you think this was a mistake.

[mergify]

Merge Queue Status

• ✅ Entered queue — 2026-04-14 17:56 UTC · Rule: Python Dependency Updates
• 🚫 Left the queue — 2026-04-16 11:34 UTC · at 81e77ad2979b3e5f505c508e6b0e3590878d97a6

This pull request spent 1 day 17 hours 38 minutes 29 seconds in the queue, with no time running CI.

Reason

The pull request #336 has been manually updated

Hint

If you want to requeue this pull request, you can post a @mergifyio queue comment.

[mergify]

Merge Queue Status

• ✅ Entered queue — 2026-04-16 11:36 UTC · Rule: Python Dependency Updates
• 🚫 Left the queue — 2026-04-16 23:35 UTC · at 12ee52516171ee00a06f2e3339de8e2f10b6f036

This pull request spent 11 hours 58 minutes 22 seconds in the queue, with no time running CI.

Reason

The pull request conflicts with pull requests ahead in queue: #348, #337, #344, #370, #371, #372, #373, #369

Hint

There is nothing you can do for now. If the pull request ahead in the queue is merged, this pull request will become conflicting and you'll have to update it.
If the pull request ahead is not merged, you can requeue this pull request with a @mergifyio queue comment.

[mergify]

Hey @renovate[bot], your pull request has been dequeued due to the following reason: CONFLICT_WITH_PULL_AHEAD. Sorry about that, but you can requeue the PR by using @mergifyio requeue if you think this was a mistake.

[socket-security]

Review the following changes in direct dependencies. Learn more about Socket for GitHub.

Diff	Package	Supply Chain Security	Vulnerability	Quality	Maintenance	License
	ty@​0.0.28 ⏵ 0.0.34

View full report

[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