Bump ty from 0.0.1a20 to 0.0.1a21

[dependabot]

Bumps ty from 0.0.1a20 to 0.0.1a21.

Release notes

Sourced from ty's releases.

0.0.1-alpha.21

Release Notes

Bug fixes

• Fix inference of constructor calls to generic classes that have explicitly annotated self parameters in their __init__ methods (#20325)
• Fix a stack overflow when computing completions for recursive types (#20354)
• Fix panic in BoundMethodType::into_callable_type() (#20369)
• Fix stack overflows in binary comparison inference (#20446)
• Fix many "too many cycle iterations" panics concerning recursive type aliases and/or recursive generics (#20359)
• Fix stack overflow involving subtype checks for recursive type aliases (#20259)
• Fix panic when inferring the type of an infinitely-nested-tuple implicit instance attribute (#20333)

Server

• Add autocomplete suggestions for unimported symbols (#20207, #20439)
• Include generated NamedTuple methods such as _make, _asdict and _replace in autocomplete suggestions (#20356)

Configuration

• Automatically add python/ to environment.root if a python/ folder exists in the root of a repository (#20263)

CLI

• Add GitHub output format (#20358)
• Add GitLab output format (#20155)

Typing semantics and features

• Add support for generic PEP-695 type aliases (#20219)
• Allow annotation expressions to be ast::Attribute nodes (#20413)
• Allow protocols to participate in nominal subtyping as well as structural subtyping (#20314)
• Attribute access on top/bottom materializations (#20221)
• Bind Self type variables to the method, not the class (#20366)
• Ensure various special-cased bound methods are understood as assignable to Callable (#20330)
• Ensure various special-cased builtin functions are understood as assignable to Callable (#20331)
• Fall back to object for attribute access on synthesized protocols (#20286)
• Fix signature of NamedTupleLike._make (#20302)
• Fix subtyping/assignability of function- and class-literal types to callback protocols (#20363)
• Implement the legacy PEP-484 convention for indicating positional-only parameters (#20248)
• Infer more precise types for collection literals (#20360)
• Make TypeIs invariant in its type argument (#20428)
• Narrow specialized generics using isinstance() (#20256)
• Proper assignability/subtyping checks for protocols with method members (#20165)
• Reduce false positives for ParamSpecs and TypeVarTuples (#20239)
• Overload evaluation: retry parameter matching for argument type expansion (#20153)
• Simplify unions of enum literals and subtypes thereof (#20324)
• Support "legacy" typing.Self in combination with PEP-695 generic contexts (#20304)
• Treat Hashable, and similar protocols, equivalently to object for subtyping/assignability (#20284)
• Treat __new__ as a static method (#20212)

... (truncated)

Changelog

Sourced from ty's changelog.

Changelog

0.0.1-alpha.21

Bug fixes

• Fix inference of constructor calls to generic classes that have explicitly annotated self parameters in their __init__ methods (#20325)
• Fix a stack overflow when computing completions for recursive types (#20354)
• Fix panic in BoundMethodType::into_callable_type() (#20369)
• Fix stack overflows in binary comparison inference (#20446)
• Fix many "too many cycle iterations" panics concerning recursive type aliases and/or recursive generics (#20359)
• Fix stack overflow involving subtype checks for recursive type aliases (#20259)
• Fix panic when inferring the type of an infinitely-nested-tuple implicit instance attribute (#20333)

Server

• Add autocomplete suggestions for unimported symbols (#20207, #20439)
• Include generated NamedTuple methods such as _make, _asdict and _replace in autocomplete suggestions (#20356)

Configuration

• Automatically add python/ to environment.root if a python/ folder exists in the root of a repository (#20263)

CLI

• Add GitHub output format (#20358)
• Add GitLab output format (#20155)

Typing semantics and features

• Add support for generic PEP-695 type aliases (#20219)
• Allow annotation expressions to be ast::Attribute nodes (#20413)
• Allow protocols to participate in nominal subtyping as well as structural subtyping (#20314)
• Attribute access on top/bottom materializations (#20221)
• Bind Self type variables to the method, not the class (#20366)
• Ensure various special-cased bound methods are understood as assignable to Callable (#20330)
• Ensure various special-cased builtin functions are understood as assignable to Callable (#20331)
• Fall back to object for attribute access on synthesized protocols (#20286)
• Fix signature of NamedTupleLike._make (#20302)
• Fix subtyping/assignability of function- and class-literal types to callback protocols (#20363)
• Implement the legacy PEP-484 convention for indicating positional-only parameters (#20248)
• Infer more precise types for collection literals (#20360)
• Make TypeIs invariant in its type argument (#20428)
• Narrow specialized generics using isinstance() (#20256)
• Proper assignability/subtyping checks for protocols with method members (#20165)
• Reduce false positives for ParamSpecs and TypeVarTuples (#20239)
• Overload evaluation: retry parameter matching for argument type expansion (#20153)
• Simplify unions of enum literals and subtypes thereof (#20324)
• Support "legacy" typing.Self in combination with PEP-695 generic contexts (#20304)
• Treat Hashable, and similar protocols, equivalently to object for subtyping/assignability (#20284)

... (truncated)

Commits

• ef52a19 Bump version to 0.0.1-alpha.21 (#1205)
• fa31d37 Upgrade to the latest rooster commit (#1192)
• a6b0014 Update pre-commit dependencies (#1184)
• 2a91f54 Update astral-sh/setup-uv action to v6.7.0 (#1183)
• fefab88 Update actions/github-script action to v8 (#1148)
• fd5fcba Update actions/download-artifact digest to abefc31 (#1144)
• b346b48 Update rui314/setup-mold digest to 725a879 (#1145)
• 2efaa6a Update pre-commit dependencies (#1147)G
• 9eea485 Update actions/setup-python action to v6 (#1149)
• b156490 Update astral-sh/setup-uv action to v6.6.1 (#1146)
• Additional commits viewable in compare view

You can trigger a rebase of this PR 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)

Note
Automatic rebases have been disabled on this pull request as it has been open for over 30 days.