chore(uv): update ty requirement from >=0.0.14 to >=0.0.30

[dependabot]

Updates the requirements on ty to permit the latest version.

Release notes

Sourced from ty's releases.

0.0.30

Release Notes

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)

... (truncated)

Changelog

Sourced from ty's changelog.

0.0.30

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)

... (truncated)

Commits

• 12e86b5 Bump version to 0.0.30 (#3270)
• 67077ad Reorder sections in FAQ (#3267)
• 01144db Update docker/login-action action to v4.1.0 (#3262)
• 48b3fe3 Update prek dependencies (#3261)
• 7c81338 Create a "deployment" for the release-gate job (#3239)
• a447e03 Add a "release-gate" step to the release workflow (#3205)
• 5131a0e Update prek dependencies (#3221)
• 438a78d Bump version to 0.0.29 (#3218)
• 927aad2 Bump version to 0.0.28 (#3206)
• 29d288e Publish installers to /installers/ty/latest on the mirror (#3202)
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 100.00%. Comparing base (29b9d55) to head (772a66e).
✅ All tests successful. No failed tests found.

Additional details and impacted files

@@            Coverage Diff            @@
##           develop      #214   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files            9         9           
  Lines          103       103           
  Branches         1         1           
=========================================
  Hits           103       103           

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

Flags with carried forward coverage won't be shown. Click here to find out more.

---

Continue to review full report in Codecov by Sentry.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 29b9d55...772a66e. Read the comment docs.