build(deps): bump ty from 0.0.1a14 to 0.0.1a17

[dependabot]

Bumps ty from 0.0.1a14 to 0.0.1a17.

Release notes

Sourced from ty's releases.

0.0.1-alpha.17

Release Notes

Bug fixes

• Always refresh diagnostics after a watched files change (#19697)
• Correctly instantiate generic class that inherits __init__ from generic base class (#19693)
• Don't panic with argument that doesn't actually implement Iterable (#19602)
• Fix "peek definition" in playground (#19592)
• Fix empty spans following a line terminator and unprintable character spans in diagnostics (#19535)
• Fix incorrect diagnostic when calling __setitem__ (#19645)
• Fix lookup order of class variables before they are defined (#19743)
• Fix more false positives related to Generic or Protocol being subscripted with a ParamSpec or TypeVarTuple (#19764)
• Keep track of type qualifiers in stub declarations without right-hand side (#19756)

Server

• Add progress reporting to workspace diagnostics (#19616)
• Add stub mapping support to signature help (#19570)
• Added support for "document symbols" and "workspace symbols" (#19521)
• Fix server panic in workspace diagnostics request handler when typing (#19631)
• Implement caching for workspace and document diagnostics (#19605)
• Implement long-polling for workspace diagnostics (#19670)
• Implement streaming for workspace diagnostics (#19657)
• Implemented support for "selection range" language server feature (#19567)

CLI

• Add progress bar to --watch mode (#19729)
• Clear the terminal screen in --watch mode (#19712)
• Resolve file symlinks in src walk (#19674)

Typing semantics and features

• Support async/await, async with and yield from (#19595)
• Add support for async for loops and async iterables (#19634)
• Don't include already-bound legacy typevars in function generic context (#19558)
• Infer types for key-based access on TypedDicts (#19763)
• Improve isinstance() truthiness analysis for generic types (#19668)
• Infer type[tuple[int, str]] as the meta-type of tuple[int, str] (#19741)
• Remove false positives when subscripting Generic or Protocol with a ParamSpec or TypeVarTuple (#19749)
• Remove special casing for string-literal-in-tuple __contains__ (#19642)
• Remove special casing for tuple addition (#19636)
• Return Option<TupleType> from infer_tuple_type_expression (#19735)
• Support as-patterns in reachability analysis (#19728)
• Support __setitem__ and improve __getitem__ related diagnostics (#19578)
• Synthesize precise __getitem__ overloads for tuple subclasses (#19493)
• Track different uses of legacy typevars, including context when rendering typevars (#19604)
• Upcast heterogeneous and mixed tuples to homogeneous tuples where it's necessary to solve a TypeVar (#19635)
• Fix incorrect lazy scope narrowing (#19744)

... (truncated)

Changelog

Sourced from ty's changelog.

Changelog

0.0.1-alpha.17

Bug fixes

• Always refresh diagnostics after a watched files change (#19697)
• Correctly instantiate generic class that inherits __init__ from generic base class (#19693)
• Don't panic with argument that doesn't actually implement Iterable (#19602)
• Fix "peek definition" in playground (#19592)
• Fix empty spans following a line terminator and unprintable character spans in diagnostics (#19535)
• Fix incorrect diagnostic when calling __setitem__ (#19645)
• Fix lookup order of class variables before they are defined (#19743)
• Fix more false positives related to Generic or Protocol being subscripted with a ParamSpec or TypeVarTuple (#19764)
• Keep track of type qualifiers in stub declarations without right-hand side (#19756)

Server

• Add progress reporting to workspace diagnostics (#19616)
• Add stub mapping support to signature help (#19570)
• Added support for "document symbols" and "workspace symbols" (#19521)
• Fix server panic in workspace diagnostics request handler when typing (#19631)
• Implement caching for workspace and document diagnostics (#19605)
• Implement long-polling for workspace diagnostics (#19670)
• Implement streaming for workspace diagnostics (#19657)
• Implemented support for "selection range" language server feature (#19567)

CLI

• Add progress bar to --watch mode (#19729)
• Clear the terminal screen in --watch mode (#19712)
• Resolve file symlinks in src walk (#19674)

Typing semantics and features

• Support async/await, async with and yield from (#19595)
• Add support for async for loops and async iterables (#19634)
• Don't include already-bound legacy typevars in function generic context (#19558)
• Infer types for key-based access on TypedDicts (#19763)
• Improve isinstance() truthiness analysis for generic types (#19668)
• Infer type[tuple[int, str]] as the meta-type of tuple[int, str] (#19741)
• Remove false positives when subscripting Generic or Protocol with a ParamSpec or TypeVarTuple (#19749)
• Remove special casing for string-literal-in-tuple __contains__ (#19642)
• Remove special casing for tuple addition (#19636)
• Return Option<TupleType> from infer_tuple_type_expression (#19735)
• Support as-patterns in reachability analysis (#19728)
• Support __setitem__ and improve __getitem__ related diagnostics (#19578)
• Synthesize precise __getitem__ overloads for tuple subclasses (#19493)
• Track different uses of legacy typevars, including context when rendering typevars (#19604)
• Upcast heterogeneous and mixed tuples to homogeneous tuples where it's necessary to solve a TypeVar (#19635)

... (truncated)

Commits

• 1712284 Bump version to 0.0.1-alpha.17 (#945)
• f1e9fe8 Update docker/metadata-action action to v5.8.0 (#934)
• 29cb6c9 Update pre-commit dependencies (#933)
• e48b66f Improve visibility of copy and line separator in dark mode (#917)
• e663c52 ty badge (#897)
• 89762cf Update astral-sh/setup-uv action to v6.4.3 (#905)
• 47cde2d Update pre-commit dependencies (#906)
• c452e53 Bump version to 0.0.1-alpha.16 (#890)
• 326db79 Update rui314/setup-mold digest to 702b190 (#856)
• c28ac94 Update pre-commit dependencies (#857)
• 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 #22.