Bump ty from 0.0.1a31 to 0.0.1a33

[dependabot]

Bumps ty from 0.0.1a31 to 0.0.1a33.

Release notes

Sourced from ty's releases.

0.0.1-alpha.33

Release Notes

Released on 2025-12-09.

Bug fixes

• Fix assignability problem between tuple[Any, ...] and tuple[int, *tuple[int, ...]] (#21803)
• Avoid diagnostic when typing_extensions.ParamSpec uses a default parameter (#21839)
• Avoid crash for invalid Annotated subscript (#21837)
• Avoid crash for invalid Final subscript (#21828)
• Fix overload filtering to prefer more precise match when *args: Any is involved (#21859)
• Handle various invalid explicit specializations for ParamSpec (#21821)
• Fix stack overflow with recursive generic protocols (depth limit) (#21858)

LSP server

• Add autocomplete suggestions for parameters in function calls (#21796)
• Don't create a related diagnostic for the primary annotation of sub-diagnostics (#21845)
• Stabilize auto-import (#21851)
• Suppress inlay hints when assigning a trivial initializer call (#21848)
• Use concise message for LSP clients not supporting related diagnostic information (#21850)
• Fix add-import action for reveal_type (#21668)

Core type checking

• Infer type variables within generic unions (#21862)
• Type inference for @asynccontextmanager (#21876)
• Make Python-version subdiagnostics less verbose (#21849)

Contributors

• @​BurntSushi
• @​dhruvmanila
• @​AlexWaygood
• @​carljm
• @​Gankra
• @​charliermarsh
• @​RasmusNygren
• @​sharkdp
• @​MichaReiser

Install ty 0.0.1-alpha.33

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/astral-sh/ty/releases/download/0.0.1-alpha.33/ty-installer.sh | sh

... (truncated)

Changelog

Sourced from ty's changelog.

Changelog

0.0.1-alpha.34

Released on 2025-12-12.

Bug fixes

• Improve solving of a type variable with an upper bound when that type variable appears as one element in a union type (#21893)
• Accurately emulate runtime semantics for kw_only=True dataclasses such that only fields declared in the immediate class body are understood as being keyword-only (#21820)
• Avoid inferring types for invalid binary expressions in string annotations (#21911)
• Fix logic used to determine whether two @final instance types are disjoint (#21769)
• Fix logic used to determine whether two @final type[] types are disjoint (#21770)
• Fix false-positive diagnostics that could arise when analysing cyclic types (#21910), (#21909)

LSP server

• Fix outdated version in publish diagnostics after didChange (#21943)
• Fix workspace symbols to return members too (#21926)
• Adjust scope completions to use all reachable symbols (#21872)
• Classify cls as class parameter for semantic highlighting (#21944)
• Don't show on-hover tooltips for expressions with no inferred type (#21924)
• Ignore __all__ for document and workspace symbol requests (#21928)
• Recognize __all__ += submodule.__all__ in auto-import (#21918)
• Stabilize rename (#21940)

Other changes

• Support checking files without extensions (#21867)
• Improve performance and semantics by deferring inference of all parameter and return-type annotations (#21906)
• Improve resolution of absolute imports in tests (#21817)
• Infer the implicit type of the cls parameter in @classmethod method bodies (#21685)
• Support the implicit type of the cls parameter in signatures of @classmethod methods (#21771)
• Uniformly use "not supported" in diagnostics (#21916)
• Implement the equivalence relation for TypedDicts (#21784)
• Ensure that the type of the class object C is always considered assignable to type[C[Unknown]] if C is a generic class (#21883)
• Improve bad specialization results and error messages (#21840)
• Support NewTypes of float and complex (#21886)

Contributors

• @​charliermarsh
• @​oconnor663
• @​MichaReiser
• @​BurntSushi
• @​lucach
• @​ibraheemdev
• @​mtshiba
• @​dcreager
• @​sharkdp

... (truncated)

Commits

• 35e23aa Bump version to 0.0.1-alpha.33 (#1829)
• 5c02e0b Stabilize auto-import (#1810)
• 84a1881 Bump version to 0.0.1-alpha.32 (#1785)
• 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 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)

[dependabot]

Looks like ty is no longer updatable, so this is no longer needed.