build(deps-dev): bump ty from 0.0.1a14 to 0.0.1a30

[dependabot]

Bumps ty from 0.0.1a14 to 0.0.1a30.

Release notes

Sourced from ty's releases.

0.0.1-alpha.30

Release Notes

Released on 2025-12-03.

Bug fixes

• Fix exhaustiveness checking for match statements over unions of generic instance types (#21726)
• Don't introduce invalid syntax when autofixing override-of-final-method (#21699)
• Suppress false positives when dataclasses.dataclass(...)(cls) is called imperatively (#21729)
• Fix false positives for class F(Generic[*Ts]): ... (#21723)
• Don't confuse multiple occurrences of typing.Self when binding bound methods (#21754)
• Fix subtyping between type[T] and a union type, where T is a type variable in scope (#21740)
• Fix subtyping between type[T] and U, where T is a type variable in scope and U is a type variable not in scope (#21766)
• Fix false positives for type[tuple[...]] (#21652)

Memory usage improvements

• Significantly reduce memory usage (especially when ty is used as an LSP server) by enabling least-recently-used (LRU) cache eviction for module ASTs (#21749)

LSP server

• Add code action to ignore diagnostic on the current line (#21595)
• Exclude typing_extensions from autocomplete suggestions unless it's really available (#21731)
• Fix auto-import code action to handle pre-existing imports (#21733)
• Fix "find all references" for types defined in stub files (#21732)
• Fix "find all references" for symbols defined via aliased imports (#21736)

Improvements to handling of type aliases

• Default-specialize generic type aliases when they appear unspecialized in type expressions (#21765)
• Infer a type alias as being a generic type alias if it includes a type variable in its definition, even in cases where the value subscripted with the type variable is inferred as having a dynamic type such as Any or Unknown (#21730)

New NamedTuple diagnostics

• Detect NamedTuple classes that have field names starting with underscores, which is banned at runtime (#21697)
• Add a diagnostic detecting overrides of prohibited NamedTuple attributes (#21717)
• Detect illegal uses of super() in methods of NamedTuple classes (#21700)

Improvements to existing diagnostics

• Improve diagnostics for unsupported comparison operations (#21737)
• For invalid-type-arguments diagnostics, show the user where the type variable was defined (#21727)
• Extend invalid-explicit-override to also cover properties decorated with @override that do not override anything (#21756)
• Improve @override, @final and Liskov checks in cases where there are multiple reachable definitions (#21767)

Contributors

• @​MichaReiser
• @​charliermarsh

... (truncated)

Changelog

Sourced from ty's changelog.

Changelog

0.0.1-alpha.30

Released on 2025-12-03.

Bug fixes

• Fix exhaustiveness checking for match statements over unions of generic instance types (#21726)
• Don't introduce invalid syntax when autofixing override-of-final-method (#21699)
• Suppress false positives when dataclasses.dataclass(...)(cls) is called imperatively (#21729)
• Fix false positives for class F(Generic[*Ts]): ... (#21723)
• Don't confuse multiple occurrences of typing.Self when binding bound methods (#21754)
• Fix subtyping between type[T] and a union type, where T is a type variable in scope (#21740)
• Fix subtyping between type[T] and U, where T is a type variable in scope and U is a type variable not in scope (#21766)
• Fix false positives for type[tuple[...]] (#21652)

Memory usage improvements

• Significantly reduce memory usage (especially when ty is used as an LSP server) by enabling least-recently-used (LRU) cache eviction for module ASTs (#21749)

LSP server

• Add code action to ignore diagnostic on the current line (#21595)
• Exclude typing_extensions from autocomplete suggestions unless it's really available (#21731)
• Fix auto-import code action to handle pre-existing imports (#21733)
• Fix "find all references" for types defined in stub files (#21732)
• Fix "find all references" for symbols defined via aliased imports (#21736)

Improvements to handling of type aliases

• Default-specialize generic type aliases when they appear unspecialized in type expressions (#21765)
• Infer a type alias as being a generic type alias if it includes a type variable in its definition, even in cases where the value subscripted with the type variable is inferred as having a dynamic type such as Any or Unknown (#21730)

New NamedTuple diagnostics

• Detect NamedTuple classes that have field names starting with underscores, which is banned at runtime (#21697)
• Add a diagnostic detecting overrides of prohibited NamedTuple attributes (#21717)
• Detect illegal uses of super() in methods of NamedTuple classes (#21700)

Improvements to existing diagnostics

• Improve diagnostics for unsupported comparison operations (#21737)
• For invalid-type-arguments diagnostics, show the user where the type variable was defined (#21727)
• Extend invalid-explicit-override to also cover properties decorated with @override that do not override anything (#21756)
• Improve @override, @final and Liskov checks in cases where there are multiple reachable definitions (#21767)

Contributors

• @​MichaReiser

... (truncated)

Commits

• d5754d3 Bump version to 0.0.1a30 (#1743)
• b6171db Use our org-wide Renovate preset (#1726)
• a362ad2 Use npm ci --ignore-scripts instead of npm install (#1722)
• 90e2851 Update Swatinem/rust-cache action to v2.8.2 (#1695)
• 6d5d4bb Update docker/metadata-action action to v5.10.0 (#1697)
• 925d266 Update actions/setup-python action to v6.1.0 (#1696)
• 619f1b8 Update pre-commit dependencies (#1694)
• 0c3cae4 Bump version to 0.0.1.a29 (#1663)
• cdfb690 remove the suggestion that updating ty-vscode is optional (#1639)
• 8c34249 Release 0.0.1-alpha.28 (#1638)
• 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)

[dependabot]

Superseded by #61.