build(deps): bump ty from 0.0.1a20 to 0.0.1a22

[dependabot]

Bumps ty from 0.0.1a20 to 0.0.1a22.

Release notes

Sourced from ty's releases.

0.0.1-alpha.22

Release Notes

Released on 2025-10-10.

Bug fixes

• Enforce that typing_extensions must come from a stdlib search path. This fixes a panic that could occur with a confusing backtrace if the extra-paths setting was incorrectly used to point to a virtual environment (#20715)
• Fix server panic when opening a project located at / in the file system (#20684)
• Fix panics when using --output-format=gitlab in CI environments (#20550)
• Fix stack overflows that could occur when attempting to determine if a recursive NamedTuple type was disjoint from another type (#20538)
• Fix panics in type inference when legacy TypeVars had bounds, constraints, or defaults that cyclically referred back to the TypeVar definition (directly or indirectly) (#20598)
• Fix situations where a panic during resolution of type-checker query cycles would manifest in a hang (#20577)
• When analyzing a .py file, do not error if there's also a .pyi for that module (#20461)
• Recognise that the runtime object typing.Protocol is an instance of _ProtocolMeta (#20488)
• Fix logic that attempted to determine whether a user had explicitly activated a Conda environment, which has implications for the search paths ty uses for module resolution (#20675)
• Fix false negatives when iterables with the wrong type are unpacked into a function with a *args variadic parameter (#20511)

Support for Python 3.14

• Use 3.14 as the default version (#20725, #20759, #20760)
• Annotations are deferred by default for 3.14+ (#20799)
• Fix false positives when accessing __annotate__ (Py3.14+) or __warningregistry__ as a module global (#20154)

Improvements to TypeVar solving and inference of generic types

• Improve solving of a type variable T if it appears in a union with non-TypeVars (T | None, T | str | None, etc.) (#20749)
• More precise type inference for dictionary literals (#20523)
• When solving type variables, use type context to inform whether Literal types should be promoted to instance types (#20776)
• Use annotated parameters as type context when solving type variables (#20635)
• Correctly infer the return type of method calls when the method is annotated as returning Self (#20517, #20754)
• Use type context for inference of generic function calls (#20476)
• Use C[T] instead of C[Unknown] for the upper bound of Self (#20479)

Improvements to assignability, subtyping, and union simplification

• Fix overly strict assignability implementation for intersections with negated gradual elements (#20773)
• Ensure that C[Any] is understood as a subtype of C[object] if C is a covariant generic class (#20592)
• Ensure that ~T is never considered to be assignable to T where T is a type variable (#20606)
• Improve assignability/subtyping between two protocol types (#20368)
• Simplify Any | (Any & T) to Any (#20593)
• Optimise and generalise union/intersection simplification (#20602)
• Make protocol satisfiability checks more principled when a protocol has a method member that is generic over type variables scoped to the function (#20568)
• Fix subtyping of invariant generics specialized with Any, ensuring that (for example) list[Any] is not considered a subtype of list[Any] (#20650)

Server

• Add LSP debug information command (#20379)
• Add support for inlay hints on attribute assignment (#20485)

... (truncated)

Changelog

Sourced from ty's changelog.

Changelog

0.0.1-alpha.22

Released on 2025-10-10.

Bug fixes

• Enforce that typing_extensions must come from a stdlib search path. This fixes a panic that could occur with a confusing backtrace if the extra-paths setting was incorrectly used to point to a virtual environment (#20715)
• Fix server panic when opening a project located at / in the file system (#20684)
• Fix panics when using --output-format=gitlab in CI environments (#20550)
• Fix stack overflows that could occur when attempting to determine if a recursive NamedTuple type was disjoint from another type (#20538)
• Fix panics in type inference when legacy TypeVars had bounds, constraints, or defaults that cyclically referred back to the TypeVar definition (directly or indirectly) (#20598)
• Fix situations where a panic during resolution of type-checker query cycles would manifest in a hang (#20577)
• When analyzing a .py file, do not error if there's also a .pyi for that module (#20461)
• Recognise that the runtime object typing.Protocol is an instance of _ProtocolMeta (#20488)
• Fix logic that attempted to determine whether a user had explicitly activated a Conda environment, which has implications for the search paths ty uses for module resolution (#20675)
• Fix false negatives when iterables with the wrong type are unpacked into a function with a *args variadic parameter (#20511)

Support for Python 3.14

• Use 3.14 as the default version (#20725, #20759, #20760)
• Annotations are deferred by default for 3.14+ (#20799)
• Fix false positives when accessing __annotate__ (Py3.14+) or __warningregistry__ as a module global (#20154)

Improvements to TypeVar solving and inference of generic types

• Improve solving of a type variable T if it appears in a union with non-TypeVars (T | None, T | str | None, etc.) (#20749)
• More precise type inference for dictionary literals (#20523)
• When solving type variables, use type context to inform whether Literal types should be promoted to instance types (#20776)
• Use annotated parameters as type context when solving type variables (#20635)
• Correctly infer the return type of method calls when the method is annotated as returning Self (#20517, #20754)
• Use type context for inference of generic function calls (#20476)
• Use C[T] instead of C[Unknown] for the upper bound of Self (#20479)

Improvements to assignability, subtyping, and union simplification

• Fix overly strict assignability implementation for intersections with negated gradual elements (#20773)
• Ensure that C[Any] is understood as a subtype of C[object] if C is a covariant generic class (#20592)
• Ensure that ~T is never considered to be assignable to T where T is a type variable (#20606)
• Improve assignability/subtyping between two protocol types (#20368)
• Simplify Any | (Any & T) to Any (#20593)
• Optimise and generalise union/intersection simplification (#20602)
• Make protocol satisfiability checks more principled when a protocol has a method member that is generic over type variables scoped to the function (#20568)
• Fix subtyping of invariant generics specialized with Any, ensuring that (for example) list[Any] is not considered a subtype of list[Any] (#20650)

Server

• Add LSP debug information command (#20379)
• Add support for inlay hints on attribute assignment (#20485)

... (truncated)

Commits

• 2f3190d Bump version to 0.0.1-alpha.22 (#1334)
• 01fca55 Update Zed settings structure (#1318)
• 6377942 Update docker/login-action action to v3.6.0 (#1312)
• fe42aa4 Update astral-sh/setup-uv action to v6.8.0 (#1311)
• 9376e1a Update pre-commit dependencies (#1310)
• 0b15e37 Update pre-commit dependencies (#1271)
• d44a02e Update actions/cache action to v4.3.0 (#1272)
• 240120a Update Swatinem/rust-cache action to v2.8.1 (#1234)
• 7e74ad6 Update pre-commit dependencies (#1233)
• ef52a19 Bump version to 0.0.1-alpha.21 (#1205)
• 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 merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @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)

[socket-security]

Review the following changes in direct dependencies. Learn more about Socket for GitHub.

Diff	Package	Supply Chain Security	Vulnerability	Quality	Maintenance	License
	ty@​0.0.1a20 ⏵ 0.0.1a22	+1		-10

View full report

[rtuszik]

@dependabot rebase

[coderabbitai]

Important

Review skipped

Bot user detected.

To trigger a single review, invoke the @coderabbitai review command.

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

✨ Finishing touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Post copyable unit tests in a comment
• Commit unit tests in branch dependabot/uv/dev/ty-0.0.1a22

---

_{Comment @coderabbitai help to get the list of available commands and usage tips.}

[dependabot]

Superseded by #166.