Skip to content

chore(deps): update dependency ty to >=0.0.35#542

Open
renovate[bot] wants to merge 1 commit intomainfrom
renovate/ty-0.x
Open

chore(deps): update dependency ty to >=0.0.35#542
renovate[bot] wants to merge 1 commit intomainfrom
renovate/ty-0.x

Conversation

@renovate
Copy link
Copy Markdown
Contributor

@renovate renovate Bot commented May 10, 2026

This PR contains the following updates:

Package Change Age Confidence
ty (changelog) >=0.0.32 → >=0.0.35 age confidence

Warning

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

Release Notes

astral-sh/ty (ty)

v0.0.35

Compare Source

Released on 2026-05-10.

Bug fixes
  • Allow ParamSpec specialization through unioned generic classes (#​24826)
  • Fix cross-file find-references for keyword arguments (#​25043)
  • Fix comparison between negative and positive literal integers (#​25023)
  • Reject dataclass decorator parameters based on supported Python version (#​25029)
LSP server
  • Adjust start of block folding range to preserve visible header for character-precise LSP clients. (#​24917)
  • Emit folding ranges from the language server for multi-line block headers. (#​24978)
  • Skip global search for references if identifier is not externally visible (#​25033)
  • Speed-up find-references by using multithreading for cross-file searches (#​25042)
CLI
  • Include severity in JUnit diagnostics (#​25080)
Core type checking
  • Check non-generic overload implementations (#​24936)
  • Expand support for narrowing within walruses (#​24968)
  • Filter overloads based on return type for ParamSpec mapping (#​24769)
  • Improve support for recursive types (#​24773)
  • Include TypedDict type context when inferring mixed constructors (#​25039)
  • Include TypedDict type context when inferring string keys (#​25037)
  • Preserve NewType and TypeAliasType in implicit aliases (#​25072)
  • Provide type cntext for generator expression yields (#​25069)
  • Provide type context for boolean operands (#​25070)
  • Selectively promote a union of homogeneous fixed-length tuples to a single variadic tuple (#​24705)
  • Support narrowing on __class__ checks (#​24997)
  • Use more precise exception types when catching a union (#​25076)
Diagnostics
  • Include error context for overload consistency diagnostics (#​24950)
Performance
  • Cache results in desperate module resolution (#​24977)
  • Lazily initialize builder when transforming a union type (#​24929)
  • Project reachability constraints before narrowing (#​24982)
  • Skip parameter accumulation for object variadics (#​24976)
Contributors

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

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

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

0 participants