Bumps [ty](https://github.com/astral-sh/ty) from 0.0.18 to 0.0.20. <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.20</h2> <h2>Release Notes</h2> <p>Released on 2026-03-02.</p> <h3>Bug fixes</h3> <ul> <li>Disallow negative narrowing for <code>isinstance()</code> or <code>issubclass()</code> checks involving <code>type[]</code> types (<a href="https://redirect.github.com/astral-sh/ruff/pull/23598">#23598</a>)</li> <li>Fix binary operations between an instance of a <code>NewType</code> of <code>float</code> and an instance of <code>Any</code>/<code>Unknown</code> (<a href="https://redirect.github.com/astral-sh/ruff/pull/23620">#23620</a>)</li> <li>Fix bug where ty would think that a <code>Callable</code> with a variadic positional parameter could be a subtype of a <code>Callable</code> with a positional-or-keyword parameter (<a href="https://redirect.github.com/astral-sh/ruff/pull/23610">#23610</a>)</li> <li>Fix inference of <code>t.__mro__</code> if <code>t</code> is an instance of <code>type[Any]</code> (<a href="https://redirect.github.com/astral-sh/ruff/pull/23632">#23632</a>)</li> <li>Fix overloaded callable assignability for unary <code>Callable</code> targets (<a href="https://redirect.github.com/astral-sh/ruff/pull/23277">#23277</a>)</li> <li>Limit recursion depth when displaying self-referential function types (<a href="https://redirect.github.com/astral-sh/ruff/pull/23647">#23647</a>)</li> <li>Ensure that <code>python -m ty</code> works even when ty was installed into an ephemeral virtual environment (<a href="https://redirect.github.com/astral-sh/ty/pull/2852">#2852</a>)</li> </ul> <h3>LSP server</h3> <ul> <li>Add support for the LSP protocol's "type hierarchy" feature (<a href="https://redirect.github.com/astral-sh/ruff/pull/23566">#23566</a>)</li> </ul> <h3>Type checking</h3> <ul> <li>Add more ParamSpec validation for <code>P.args</code> and <code>P.kwargs</code> (<a href="https://redirect.github.com/astral-sh/ruff/pull/23640">#23640</a>)</li> <li>Ban nested <code>Required</code>/<code>NotRequired</code>, and ban them both outside of <code>TypedDict</code> fields (<a href="https://redirect.github.com/astral-sh/ruff/pull/23627">#23627</a>)</li> <li>Detect inconsistent generic base class specializations that appear in the same MRO (<a href="https://redirect.github.com/astral-sh/ruff/pull/23615">#23615</a>)</li> <li>Detect invalid uses of <code>@Final</code> on non-methods (<a href="https://redirect.github.com/astral-sh/ruff/pull/23604">#23604</a>)</li> <li>Add partial support and validation for <code>Unpack</code> when used with tuple types (<a href="https://redirect.github.com/astral-sh/ruff/pull/23651">#23651</a>)</li> <li>Recurse into tuples and nested tuples when applying special-cased validation of arguments passed to <code>isinstance()</code> and <code>issubclass()</code> (<a href="https://redirect.github.com/astral-sh/ruff/pull/23607">#23607</a>)</li> <li>Reject ellipsis literals in odd places in type/annotation expressions (<a href="https://redirect.github.com/astral-sh/ruff/pull/23611">#23611</a>)</li> <li>Reject functions with PEP-695 type parameters that shadow type parameters from enclosing scopes (<a href="https://redirect.github.com/astral-sh/ruff/pull/23619">#23619</a>)</li> <li>Reject generic metaclasses parameterized by type variables (<a href="https://redirect.github.com/astral-sh/ruff/pull/23628">#23628</a>)</li> <li>Treat <code>dataclass_transform</code> dataclasses as neither frozen nor non-frozen (<a href="https://redirect.github.com/astral-sh/ruff/pull/23366">#23366</a>)</li> <li>Validate that type variable defaults don't reference later type parameters or type parameters out of scope (<a href="https://redirect.github.com/astral-sh/ruff/pull/23623">#23623</a>)</li> </ul> <h3>Typeshed</h3> <ul> <li>Sync vendored typeshed stubs (<a href="https://redirect.github.com/astral-sh/ruff/pull/23642">#23642</a>). <a href="https://github.com/python/typeshed/compare/1b3cec156330a93f6bb22b6636bca38c27f8f721...843c1fd5a148da85e523c1b4ee680226f89986aa">Typeshed diff</a></li> </ul> <h3>Contributors</h3> <ul> <li><a href="https://github.com/Hugo-Polloli"><code>@Hugo-Polloli</code></a></li> <li><a href="https://github.com/zanieb"><code>@zanieb</code></a></li> <li><a href="https://github.com/sharkdp"><code>@sharkdp</code></a></li> <li><a href="https://github.com/mtshiba"><code>@mtshiba</code></a></li> <li><a href="https://github.com/carljm"><code>@carljm</code></a></li> <li><a href="https://github.com/charliermarsh"><code>@charliermarsh</code></a></li> <li><a href="https://github.com/sinon"><code>@sinon</code></a></li> <li><a href="https://github.com/BurntSushi"><code>@BurntSushi</code></a></li> <li><a href="https://github.com/oconnor663"><code>@oconnor663</code></a></li> <li><a href="https://github.com/AlexWaygood"><code>@AlexWaygood</code></a></li> <li><a href="https://github.com/zsol"><code>@zsol</code></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.20</h2> <p>Released on 2026-03-02.</p> <h3>Bug fixes</h3> <ul> <li>Disallow negative narrowing for <code>isinstance()</code> or <code>issubclass()</code> checks involving <code>type[]</code> types (<a href="https://redirect.github.com/astral-sh/ruff/pull/23598">#23598</a>)</li> <li>Fix binary operations between an instance of a <code>NewType</code> of <code>float</code> and an instance of <code>Any</code>/<code>Unknown</code> (<a href="https://redirect.github.com/astral-sh/ruff/pull/23620">#23620</a>)</li> <li>Fix bug where ty would think that a <code>Callable</code> with a variadic positional parameter could be a subtype of a <code>Callable</code> with a positional-or-keyword parameter (<a href="https://redirect.github.com/astral-sh/ruff/pull/23610">#23610</a>)</li> <li>Fix inference of <code>t.__mro__</code> if <code>t</code> is an instance of <code>type[Any]</code> (<a href="https://redirect.github.com/astral-sh/ruff/pull/23632">#23632</a>)</li> <li>Fix overloaded callable assignability for unary <code>Callable</code> targets (<a href="https://redirect.github.com/astral-sh/ruff/pull/23277">#23277</a>)</li> <li>Limit recursion depth when displaying self-referential function types (<a href="https://redirect.github.com/astral-sh/ruff/pull/23647">#23647</a>)</li> <li>Ensure that <code>python -m ty</code> works even when ty was installed into an ephemeral virtual environment (<a href="https://redirect.github.com/astral-sh/ty/pull/2852">#2852</a>)</li> </ul> <h3>LSP server</h3> <ul> <li>Add support for the LSP protocol's "type hierarchy" feature (<a href="https://redirect.github.com/astral-sh/ruff/pull/23566">#23566</a>)</li> </ul> <h3>Type checking</h3> <ul> <li>Add more ParamSpec validation for <code>P.args</code> and <code>P.kwargs</code> (<a href="https://redirect.github.com/astral-sh/ruff/pull/23640">#23640</a>)</li> <li>Ban nested <code>Required</code>/<code>NotRequired</code>, and ban them both outside of <code>TypedDict</code> fields (<a href="https://redirect.github.com/astral-sh/ruff/pull/23627">#23627</a>)</li> <li>Detect inconsistent generic base class specializations that appear in the same MRO (<a href="https://redirect.github.com/astral-sh/ruff/pull/23615">#23615</a>)</li> <li>Detect invalid uses of <code>@Final</code> on non-methods (<a href="https://redirect.github.com/astral-sh/ruff/pull/23604">#23604</a>)</li> <li>Add partial support and validation for <code>Unpack</code> when used with tuple types (<a href="https://redirect.github.com/astral-sh/ruff/pull/23651">#23651</a>)</li> <li>Recurse into tuples and nested tuples when applying special-cased validation of arguments passed to <code>isinstance()</code> and <code>issubclass()</code> (<a href="https://redirect.github.com/astral-sh/ruff/pull/23607">#23607</a>)</li> <li>Reject ellipsis literals in odd places in type/annotation expressions (<a href="https://redirect.github.com/astral-sh/ruff/pull/23611">#23611</a>)</li> <li>Reject functions with PEP-695 type parameters that shadow type parameters from enclosing scopes (<a href="https://redirect.github.com/astral-sh/ruff/pull/23619">#23619</a>)</li> <li>Reject generic metaclasses parameterized by type variables (<a href="https://redirect.github.com/astral-sh/ruff/pull/23628">#23628</a>)</li> <li>Treat <code>dataclass_transform</code> dataclasses as neither frozen nor non-frozen (<a href="https://redirect.github.com/astral-sh/ruff/pull/23366">#23366</a>)</li> <li>Validate that type variable defaults don't reference later type parameters or type parameters out of scope (<a href="https://redirect.github.com/astral-sh/ruff/pull/23623">#23623</a>)</li> </ul> <h3>Typeshed</h3> <ul> <li>Sync vendored typeshed stubs (<a href="https://redirect.github.com/astral-sh/ruff/pull/23642">#23642</a>). <a href="https://github.com/python/typeshed/compare/1b3cec156330a93f6bb22b6636bca38c27f8f721...843c1fd5a148da85e523c1b4ee680226f89986aa">Typeshed diff</a></li> </ul> <h3>Contributors</h3> <ul> <li><a href="https://github.com/Hugo-Polloli"><code>@Hugo-Polloli</code></a></li> <li><a href="https://github.com/zanieb"><code>@zanieb</code></a></li> <li><a href="https://github.com/sharkdp"><code>@sharkdp</code></a></li> <li><a href="https://github.com/mtshiba"><code>@mtshiba</code></a></li> <li><a href="https://github.com/carljm"><code>@carljm</code></a></li> <li><a href="https://github.com/charliermarsh"><code>@charliermarsh</code></a></li> <li><a href="https://github.com/sinon"><code>@sinon</code></a></li> <li><a href="https://github.com/BurntSushi"><code>@BurntSushi</code></a></li> <li><a href="https://github.com/oconnor663"><code>@oconnor663</code></a></li> <li><a href="https://github.com/AlexWaygood"><code>@AlexWaygood</code></a></li> <li><a href="https://github.com/zsol"><code>@zsol</code></a></li> </ul>  </blockquote> <p>... (truncated)</p> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/astral-sh/ty/commit/2bd0252435a1ad19b91863f37beab60bb8e68a14"><code>2bd0252</code></a> Bump version to 0.0.20 (<a href="https://redirect.github.com/astral-sh/ty/issues/2939">#2939</a>)</li> <li><a href="https://github.com/astral-sh/ty/commit/08f4e9f152431bbacd956a62c5145255d0241a25"><code>08f4e9f</code></a> Publish releases to Astral mirror (<a href="https://redirect.github.com/astral-sh/ty/issues/2921">#2921</a>)</li> <li><a href="https://github.com/astral-sh/ty/commit/983105f032ab355347a66a107e53f3fe75b6a616"><code>983105f</code></a> Update prek dependencies (<a href="https://redirect.github.com/astral-sh/ty/issues/2936">#2936</a>)</li> <li><a href="https://github.com/astral-sh/ty/commit/ece21b6c8eeab4bc889ed88ea0f86cbc504757ff"><code>ece21b6</code></a> Update astral-sh/setup-uv action to v7.3.1 (<a href="https://redirect.github.com/astral-sh/ty/issues/2935">#2935</a>)</li> <li><a href="https://github.com/astral-sh/ty/commit/885c2f3a57223dd74032725cfcecf6eeaefc904b"><code>885c2f3</code></a> Bump cargo-dist to 0.31.0 (<a href="https://redirect.github.com/astral-sh/ty/issues/2920">#2920</a>)</li> <li><a href="https://github.com/astral-sh/ty/commit/f906491c4de3ceb783fb8d095088bb179d034d4b"><code>f906491</code></a> Update the Python module (notably <code>find_ty_bin</code>) for parity with uv (<a href="https://redirect.github.com/astral-sh/ty/issues/2852">#2852</a>)</li> <li><a href="https://github.com/astral-sh/ty/commit/e7676a85db6fd9619b7c807115d4b25d45e5ff88"><code>e7676a8</code></a> Fix header levels in 0.0.19 changelog (<a href="https://redirect.github.com/astral-sh/ty/issues/2909">#2909</a>)</li> <li><a href="https://github.com/astral-sh/ty/commit/ae10022c2068c28fd8da34416740d62416e1d4ee"><code>ae10022</code></a> Bump version to 0.0.19 (<a href="https://redirect.github.com/astral-sh/ty/issues/2908">#2908</a>)</li> <li><a href="https://github.com/astral-sh/ty/commit/6bdb7d7f455cf706b67d34e2868853c8e8f6426d"><code>6bdb7d7</code></a> Update Fathom code for ty (<a href="https://redirect.github.com/astral-sh/ty/issues/2890">#2890</a>)</li> <li><a href="https://github.com/astral-sh/ty/commit/d2074244c04f58fc595f62bc941be598ca4c1f4e"><code>d207424</code></a> Update docker/build-push-action action to v6.19.2 (<a href="https://redirect.github.com/astral-sh/ty/issues/2880">#2880</a>)</li> <li>Additional commits viewable in <a href="https://github.com/astral-sh/ty/compare/0.0.18...0.0.20">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.18&new-version=0.0.20)](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>