Bump ty from 0.0.21 to 0.0.22

[dependabot]

Bumps ty from 0.0.21 to 0.0.22.

Release notes

Sourced from ty's releases.

0.0.22

Release Notes

Released on 2026-03-12.

Bug fixes

• Fix issue where variables could be inferred as Divergent if they were assigned using tuple unpacking in loops (#23812)
• Allow error = "all" in a root pyproject.toml file to be overridden using tool.ty.overrides in a subdirectory's pyproject.toml file (#23712)
• Only unsoundly upcast type[] types to their constructor Callable type during assignability checks, not during redundancy/subtyping checks (#23834, #23901)
• Fix stack overflow that could occur with certain recursive protocols (#23870)

LSP server

• Improve syntax highlighting by fixing semantic token classification for generic class members in annotations (#23811)

CLI

• Add ty explain <RULE> CLI command (#23766)

Core type checking

• Add validation for type parameters with defaults after TypeVarTuple parameters (#23807)
• Allow subtypes of LiteralString to be narrowed using equality checks (#23794)
• Detect invalid partially stringified PEP-604 unions (#23285)
• Disambiguate duplicate-looking overloaded callables in union display (#23907)
• Don't promote module-literal types to types.ModuleType (#23786)
• Improve type context support for __setitem__ dunder calls (#23800)
• Infer t | {"foo": int} as TD if t is an instance of a TypedDict td with a foo: int key (#23806)
• Narrow T to T & str rather than str if T is a constrained TypeVar with str as one of its constraints (#23850)
• Promote None to None | Unknown in invariant contexts (#23790)
• Reject type[Callable] in type annotations (#23753)
• Support enum member access through enum instances and members (#23772)
• Eagerly narrow the type associated with keys of heterogeneous dict literals even when a dict literal appears as a subexpression inside a list or tuple literals (#23569)
• Ensure that T & ~S is always inferred as a subtype of U during generic inference if T is understood as a subtype of U (#23728)
• Optimize and improve cycle recovery by preventing "tainted" unions in cycle normalization (#23563)

Installer

• Prefer downloading releases from Astral's mirror over GitHub (#2980)

Contributors

• @​charliermarsh
• @​MichaReiser
• @​mtshiba
• @​AlexWaygood
• @​ibraheemdev
• @​ntBre
• @​oconnor663

... (truncated)

Changelog

Sourced from ty's changelog.

0.0.22

Released on 2026-03-12.

Bug fixes

• Fix issue where variables could be inferred as Divergent if they were assigned using tuple unpacking in loops (#23812)
• Allow error = "all" in a root pyproject.toml file to be overridden using tool.ty.overrides in a subdirectory's pyproject.toml file (#23712)
• Only unsoundly upcast type[] types to their constructor Callable type during assignability checks, not during redundancy/subtyping checks (#23834, #23901)
• Fix stack overflow that could occur with certain recursive protocols (#23870)

LSP server

• Improve syntax highlighting by fixing semantic token classification for generic class members in annotations (#23811)

CLI

• Add ty explain <RULE> CLI command (#23766)

Core type checking

• Add validation for type parameters with defaults after TypeVarTuple parameters (#23807)
• Allow subtypes of LiteralString to be narrowed using equality checks (#23794)
• Detect invalid partially stringified PEP-604 unions (#23285)
• Disambiguate duplicate-looking overloaded callables in union display (#23907)
• Don't promote module-literal types to types.ModuleType (#23786)
• Improve type context support for __setitem__ dunder calls (#23800)
• Infer t | {"foo": int} as TD if t is an instance of a TypedDict td with a foo: int key (#23806)
• Narrow T to T & str rather than str if T is a constrained TypeVar with str as one of its constraints (#23850)
• Promote None to None | Unknown in invariant contexts (#23790)
• Reject type[Callable] in type annotations (#23753)
• Support enum member access through enum instances and members (#23772)
• Eagerly narrow the type associated with keys of heterogeneous dict literals even when a dict literal appears as a subexpression inside a list or tuple literals (#23569)
• Ensure that T & ~S is always inferred as a subtype of U during generic inference if T is understood as a subtype of U (#23728)
• Optimize and improve cycle recovery by preventing "tainted" unions in cycle normalization (#23563)

Installer

• Prefer downloading releases from Astral's mirror over GitHub (#2980)

Contributors

• @​charliermarsh
• @​MichaReiser
• @​mtshiba
• @​AlexWaygood
• @​ibraheemdev
• @​ntBre
• @​oconnor663
• @​zsol

Commits

• eda1e71 Bump version to 0.0.22 (#3031)
• b4abf2b Update Artifact GitHub Actions dependencies (#2996)
• 842b8b5 Update PyO3/maturin-action action to v1.50.1 (#2995)
• 6c04a8e Update prek dependencies (#2994)
• 1557849 installers: Download releases from Astral's mirror first (#2980)
• 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 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)