Bump ty from 0.0.17 to 0.0.20

[dependabot]

Bumps ty from 0.0.17 to 0.0.20.

Release notes

Sourced from ty's releases.

0.0.20

Release Notes

Released on 2026-03-02.

Bug fixes

• Disallow negative narrowing for isinstance() or issubclass() checks involving type[] types (#23598)
• Fix binary operations between an instance of a NewType of float and an instance of Any/Unknown (#23620)
• Fix bug where ty would think that a Callable with a variadic positional parameter could be a subtype of a Callable with a positional-or-keyword parameter (#23610)
• Fix inference of t.__mro__ if t is an instance of type[Any] (#23632)
• Fix overloaded callable assignability for unary Callable targets (#23277)
• Limit recursion depth when displaying self-referential function types (#23647)
• Ensure that python -m ty works even when ty was installed into an ephemeral virtual environment (#2852)

LSP server

• Add support for the LSP protocol's "type hierarchy" feature (#23566)

Type checking

• Add more ParamSpec validation for P.args and P.kwargs (#23640)
• Ban nested Required/NotRequired, and ban them both outside of TypedDict fields (#23627)
• Detect inconsistent generic base class specializations that appear in the same MRO (#23615)
• Detect invalid uses of @final on non-methods (#23604)
• Add partial support and validation for Unpack when used with tuple types (#23651)
• Recurse into tuples and nested tuples when applying special-cased validation of arguments passed to isinstance() and issubclass() (#23607)
• Reject ellipsis literals in odd places in type/annotation expressions (#23611)
• Reject functions with PEP-695 type parameters that shadow type parameters from enclosing scopes (#23619)
• Reject generic metaclasses parameterized by type variables (#23628)
• Treat dataclass_transform dataclasses as neither frozen nor non-frozen (#23366)
• Validate that type variable defaults don't reference later type parameters or type parameters out of scope (#23623)

Typeshed

• Sync vendored typeshed stubs (#23642). Typeshed diff

Contributors

• @​Hugo-Polloli
• @​zanieb
• @​sharkdp
• @​mtshiba
• @​carljm
• @​charliermarsh
• @​sinon
• @​BurntSushi
• @​oconnor663
• @​AlexWaygood
• @​zsol

... (truncated)

Changelog

Sourced from ty's changelog.

0.0.20

Released on 2026-03-02.

Bug fixes

• Disallow negative narrowing for isinstance() or issubclass() checks involving type[] types (#23598)
• Fix binary operations between an instance of a NewType of float and an instance of Any/Unknown (#23620)
• Fix bug where ty would think that a Callable with a variadic positional parameter could be a subtype of a Callable with a positional-or-keyword parameter (#23610)
• Fix inference of t.__mro__ if t is an instance of type[Any] (#23632)
• Fix overloaded callable assignability for unary Callable targets (#23277)
• Limit recursion depth when displaying self-referential function types (#23647)
• Ensure that python -m ty works even when ty was installed into an ephemeral virtual environment (#2852)

LSP server

• Add support for the LSP protocol's "type hierarchy" feature (#23566)

Type checking

• Add more ParamSpec validation for P.args and P.kwargs (#23640)
• Ban nested Required/NotRequired, and ban them both outside of TypedDict fields (#23627)
• Detect inconsistent generic base class specializations that appear in the same MRO (#23615)
• Detect invalid uses of @final on non-methods (#23604)
• Add partial support and validation for Unpack when used with tuple types (#23651)
• Recurse into tuples and nested tuples when applying special-cased validation of arguments passed to isinstance() and issubclass() (#23607)
• Reject ellipsis literals in odd places in type/annotation expressions (#23611)
• Reject functions with PEP-695 type parameters that shadow type parameters from enclosing scopes (#23619)
• Reject generic metaclasses parameterized by type variables (#23628)
• Treat dataclass_transform dataclasses as neither frozen nor non-frozen (#23366)
• Validate that type variable defaults don't reference later type parameters or type parameters out of scope (#23623)

Typeshed

• Sync vendored typeshed stubs (#23642). Typeshed diff

Contributors

• @​Hugo-Polloli
• @​zanieb
• @​sharkdp
• @​mtshiba
• @​carljm
• @​charliermarsh
• @​sinon
• @​BurntSushi
• @​oconnor663
• @​AlexWaygood
• @​zsol

... (truncated)

Commits

• 2bd0252 Bump version to 0.0.20 (#2939)
• 08f4e9f Publish releases to Astral mirror (#2921)
• 983105f Update prek dependencies (#2936)
• ece21b6 Update astral-sh/setup-uv action to v7.3.1 (#2935)
• 885c2f3 Bump cargo-dist to 0.31.0 (#2920)
• f906491 Update the Python module (notably find_ty_bin) for parity with uv (#2852)
• e7676a8 Fix header levels in 0.0.19 changelog (#2909)
• ae10022 Bump version to 0.0.19 (#2908)
• 6bdb7d7 Update Fathom code for ty (#2890)
• d207424 Update docker/build-push-action action to v6.19.2 (#2880)
• 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)