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

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)