Bump ty from 0.0.19 to 0.0.20 in the qa group

[dependabot]

Bumps the qa group with 1 update: ty.

Updates ty from 0.0.19 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

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)
• See full diff 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 <dependency name> major version will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)
• @dependabot ignore <dependency name> minor version will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)
• @dependabot ignore <dependency name> will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)
• @dependabot unignore <dependency name> will remove all of the ignore conditions of the specified dependency
• @dependabot unignore <dependency name> <ignore condition> will remove the ignore condition of the specified dependency and ignore conditions