Bumps [ty](https://github.com/astral-sh/ty) from 0.0.29 to 0.0.30. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/astral-sh/ty/releases">ty's releases</a>.</em></p> <blockquote> <h2>0.0.30</h2> <h2>Release Notes</h2> <p>Released on 2026-04-13.</p> <p>As of v0.0.30, ty no longer unions <code>Unknown</code> into most inferred types of unannotated attributes. For example:</p> <pre lang="python"><code>class Foo: def __init__(self) -> None: self.value = 1 <p>reveal_type(Foo().value) # revealed: int Foo().value = "x" # error: [invalid-assignment] </code></pre></p> <p>In previous versions, <code>reveal_type(Foo().value)</code> would have included <code>Unknown</code>, so the assignment to <code>"x"</code> 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 <code>None</code> and other non-literal singleton types remain exceptions. See <a href="https://redirect.github.com/astral-sh/ruff/pull/24531">#24531</a> for details.</p> <h3>Bug fixes</h3> <ul> <li>Disallow bare <code>ParamSpec</code> in <code>Concatenate</code> prefixes (<a href="https://redirect.github.com/astral-sh/ruff/pull/24474">#24474</a>)</li> <li>Ensure '/' parameter appears before '*' when rendering <code>Callable</code> types (<a href="https://redirect.github.com/astral-sh/ruff/pull/24497">#24497</a>)</li> <li>Ensure nested conditional blocks inherit <code>TYPE_CHECKING</code> state from outer blocks (<a href="https://redirect.github.com/astral-sh/ruff/pull/24470">#24470</a>)</li> <li>Fix bad diagnostic range for incorrect implicit <code>__init_subclass__</code> calls (<a href="https://redirect.github.com/astral-sh/ruff/pull/24541">#24541</a>)</li> <li>Fix incorrect assignability of <code>type[T]</code> to a metaclass (<a href="https://redirect.github.com/astral-sh/ruff/pull/24515">#24515</a>)</li> <li>Fix stack overflows from recursive types (<a href="https://redirect.github.com/astral-sh/ruff/pull/24413">#24413</a>)</li> <li>Server: fix signature help for <code>ParamSpec</code>-specialized class calls (<a href="https://redirect.github.com/astral-sh/ruff/pull/24399">#24399</a>)</li> <li>Use <code>TypedDict</code> field types as type context to inform the inference of arguments passed to <code>TypedDict</code> constructors (<a href="https://redirect.github.com/astral-sh/ruff/pull/24422">#24422</a>)</li> </ul> <h3>LSP server</h3> <ul> <li>Adjust semantic tokens implementation to ensure that type alias values have "type form" syntax highlighting in IDEs (<a href="https://redirect.github.com/astral-sh/ruff/pull/24478">#24478</a>)</li> <li>Completions: rank symbols from <code>typing</code> and <code>collections</code> higher than third party re-exports (<a href="https://redirect.github.com/astral-sh/ruff/pull/23643">#23643</a>)</li> <li>Ignore unsupported editor-selected Python versions (<a href="https://redirect.github.com/astral-sh/ruff/pull/24498">#24498</a>)</li> <li>Improve <code>TypedDict</code> constructor support in the LSP by synthesizing <code>__init__</code> (<a href="https://redirect.github.com/astral-sh/ruff/pull/24476">#24476</a>, <a href="https://redirect.github.com/astral-sh/ruff/pull/24522">#24522</a>, <a href="https://redirect.github.com/astral-sh/ruff/pull/24535">#24535</a>)</li> <li>Return all attribute definitions for goto definition, rather than just the last definition in the given scope (<a href="https://redirect.github.com/astral-sh/ruff/pull/24332">#24332</a>)</li> <li>Show <code>info</code> subdiagnostics in LSP diagnostic messages (<a href="https://redirect.github.com/astral-sh/ruff/pull/24328">#24328</a>)</li> <li>Use the context of the kind of object a parameter is expected to receive to inform syntax highlighting of arguments passed to call expressions (<a href="https://redirect.github.com/astral-sh/ruff/pull/23949">#23949</a>)</li> </ul> <h3>Diagnostics</h3> <ul> <li>Hide "Rule xyz is enabled"-style hints unless verbose mode was specified (<a href="https://redirect.github.com/astral-sh/ruff/pull/24469">#24469</a>)</li> <li>Improve consistency of pedantic lints complaining about badly named types (<a href="https://redirect.github.com/astral-sh/ruff/pull/24575">#24575</a>)</li> <li>Point to the first <em>reachable</em> declaration, rather than the first declaration, in declaration-based diagnostics (<a href="https://redirect.github.com/astral-sh/ruff/pull/24564">#24564</a>)</li> </ul> <h3>Core type checking</h3> <ul> <li>Add support for functional <code>Enum(...)</code> syntax (<a href="https://redirect.github.com/astral-sh/ruff/pull/23602">#23602</a>, <a href="https://redirect.github.com/astral-sh/ruff/pull/24570">#24570</a>, <a href="https://redirect.github.com/astral-sh/ruff/pull/24571">#24571</a>)</li> <li>Allow <code>Final</code> variable assignments in <code>__post_init__</code> (<a href="https://redirect.github.com/astral-sh/ruff/pull/24529">#24529</a>)</li> <li>Allow partially stringified <code>type[...]</code> annotations, e.g. <code>type["MyClass"]</code> (<a href="https://redirect.github.com/astral-sh/ruff/pull/24518">#24518</a>)</li> </ul>  </blockquote> <p>... (truncated)</p> </details> <details> <summary>Changelog</summary> <p><em>Sourced from <a href="https://github.com/astral-sh/ty/blob/main/CHANGELOG.md">ty's changelog</a>.</em></p> <blockquote> <h2>0.0.30</h2> <p>Released on 2026-04-13.</p> <p>As of v0.0.30, ty no longer unions <code>Unknown</code> into most inferred types of unannotated attributes. For example:</p> <pre lang="python"><code>class Foo: def __init__(self) -> None: self.value = 1 <p>reveal_type(Foo().value) # revealed: int Foo().value = "x" # error: [invalid-assignment] </code></pre></p> <p>In previous versions, <code>reveal_type(Foo().value)</code> would have included <code>Unknown</code>, so the assignment to <code>"x"</code> 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 <code>None</code> and other non-literal singleton types remain exceptions. See <a href="https://redirect.github.com/astral-sh/ruff/pull/24531">#24531</a> for details.</p> <h3>Bug fixes</h3> <ul> <li>Disallow bare <code>ParamSpec</code> in <code>Concatenate</code> prefixes (<a href="https://redirect.github.com/astral-sh/ruff/pull/24474">#24474</a>)</li> <li>Ensure '/' parameter appears before '*' when rendering <code>Callable</code> types (<a href="https://redirect.github.com/astral-sh/ruff/pull/24497">#24497</a>)</li> <li>Ensure nested conditional blocks inherit <code>TYPE_CHECKING</code> state from outer blocks (<a href="https://redirect.github.com/astral-sh/ruff/pull/24470">#24470</a>)</li> <li>Fix bad diagnostic range for incorrect implicit <code>__init_subclass__</code> calls (<a href="https://redirect.github.com/astral-sh/ruff/pull/24541">#24541</a>)</li> <li>Fix incorrect assignability of <code>type[T]</code> to a metaclass (<a href="https://redirect.github.com/astral-sh/ruff/pull/24515">#24515</a>)</li> <li>Fix stack overflows from recursive types (<a href="https://redirect.github.com/astral-sh/ruff/pull/24413">#24413</a>)</li> <li>Server: fix signature help for <code>ParamSpec</code>-specialized class calls (<a href="https://redirect.github.com/astral-sh/ruff/pull/24399">#24399</a>)</li> <li>Use <code>TypedDict</code> field types as type context to inform the inference of arguments passed to <code>TypedDict</code> constructors (<a href="https://redirect.github.com/astral-sh/ruff/pull/24422">#24422</a>)</li> </ul> <h3>LSP server</h3> <ul> <li>Adjust semantic tokens implementation to ensure that type alias values have "type form" syntax highlighting in IDEs (<a href="https://redirect.github.com/astral-sh/ruff/pull/24478">#24478</a>)</li> <li>Completions: rank symbols from <code>typing</code> and <code>collections</code> higher than third party re-exports (<a href="https://redirect.github.com/astral-sh/ruff/pull/23643">#23643</a>)</li> <li>Ignore unsupported editor-selected Python versions (<a href="https://redirect.github.com/astral-sh/ruff/pull/24498">#24498</a>)</li> <li>Improve <code>TypedDict</code> constructor support in the LSP by synthesizing <code>__init__</code> (<a href="https://redirect.github.com/astral-sh/ruff/pull/24476">#24476</a>, <a href="https://redirect.github.com/astral-sh/ruff/pull/24522">#24522</a>, <a href="https://redirect.github.com/astral-sh/ruff/pull/24535">#24535</a>)</li> <li>Return all attribute definitions for goto definition, rather than just the last definition in the given scope (<a href="https://redirect.github.com/astral-sh/ruff/pull/24332">#24332</a>)</li> <li>Show <code>info</code> subdiagnostics in LSP diagnostic messages (<a href="https://redirect.github.com/astral-sh/ruff/pull/24328">#24328</a>)</li> <li>Use the context of the kind of object a parameter is expected to receive to inform syntax highlighting of arguments passed to call expressions (<a href="https://redirect.github.com/astral-sh/ruff/pull/23949">#23949</a>)</li> </ul> <h3>Diagnostics</h3> <ul> <li>Hide "Rule xyz is enabled"-style hints unless verbose mode was specified (<a href="https://redirect.github.com/astral-sh/ruff/pull/24469">#24469</a>)</li> <li>Improve consistency of pedantic lints complaining about badly named types (<a href="https://redirect.github.com/astral-sh/ruff/pull/24575">#24575</a>)</li> <li>Point to the first <em>reachable</em> declaration, rather than the first declaration, in declaration-based diagnostics (<a href="https://redirect.github.com/astral-sh/ruff/pull/24564">#24564</a>)</li> </ul> <h3>Core type checking</h3> <ul> <li>Add support for functional <code>Enum(...)</code> syntax (<a href="https://redirect.github.com/astral-sh/ruff/pull/23602">#23602</a>, <a href="https://redirect.github.com/astral-sh/ruff/pull/24570">#24570</a>, <a href="https://redirect.github.com/astral-sh/ruff/pull/24571">#24571</a>)</li> <li>Allow <code>Final</code> variable assignments in <code>__post_init__</code> (<a href="https://redirect.github.com/astral-sh/ruff/pull/24529">#24529</a>)</li> <li>Allow partially stringified <code>type[...]</code> annotations, e.g. <code>type["MyClass"]</code> (<a href="https://redirect.github.com/astral-sh/ruff/pull/24518">#24518</a>)</li> <li>Emit a diagnostic when attempting to inherit from a class with <code>__init_subclass__ = None</code> (<a href="https://redirect.github.com/astral-sh/ruff/pull/24543">#24543</a>)</li> </ul>  </blockquote> <p>... (truncated)</p> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/astral-sh/ty/commit/12e86b58b5034a29266268195afc16feeab6e3ea"><code>12e86b5</code></a> Bump version to 0.0.30 (<a href="https://redirect.github.com/astral-sh/ty/issues/3270">#3270</a>)</li> <li><a href="https://github.com/astral-sh/ty/commit/67077ad5fbde5adc1df0e3169525040ad1139dab"><code>67077ad</code></a> Reorder sections in FAQ (<a href="https://redirect.github.com/astral-sh/ty/issues/3267">#3267</a>)</li> <li><a href="https://github.com/astral-sh/ty/commit/01144db2dc10e0e8dbf1665fbb7faf1a545d0df4"><code>01144db</code></a> Update docker/login-action action to v4.1.0 (<a href="https://redirect.github.com/astral-sh/ty/issues/3262">#3262</a>)</li> <li><a href="https://github.com/astral-sh/ty/commit/48b3fe3d5636f8ac337f0e9cf014c80190a1b427"><code>48b3fe3</code></a> Update prek dependencies (<a href="https://redirect.github.com/astral-sh/ty/issues/3261">#3261</a>)</li> <li><a href="https://github.com/astral-sh/ty/commit/7c8133816405d504c81651f341b833ae12c9574b"><code>7c81338</code></a> Create a "deployment" for the release-gate job (<a href="https://redirect.github.com/astral-sh/ty/issues/3239">#3239</a>)</li> <li><a href="https://github.com/astral-sh/ty/commit/a447e03aa5a8147aa69ed9eac5d68d36198d6237"><code>a447e03</code></a> Add a "release-gate" step to the release workflow (<a href="https://redirect.github.com/astral-sh/ty/issues/3205">#3205</a>)</li> <li><a href="https://github.com/astral-sh/ty/commit/5131a0e5c26d3cb4daf5fb489ddd54beca8e4a61"><code>5131a0e</code></a> Update prek dependencies (<a href="https://redirect.github.com/astral-sh/ty/issues/3221">#3221</a>)</li> <li>See full diff in <a href="https://github.com/astral-sh/ty/compare/0.0.29...0.0.30">compare view</a></li> </ul> </details> <br /> [![Dependabot compatibility score](https://dependabot-badges.githubapp.com/badges/compatibility_score?dependency-name=ty&package-manager=uv&previous-version=0.0.29&new-version=0.0.30)](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) 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-automerge-start) [//]: # (dependabot-automerge-end) --- <details> <summary>Dependabot commands and options</summary> <br /> 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) </details> Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>