Bump ty from 0.0.8 to 0.0.13

[dependabot]

Bumps ty from 0.0.8 to 0.0.13.

Release notes

Sourced from ty's releases.

0.0.13

Release Notes

Released on 2026-01-21.

Bug fixes

• Fix --force-exclude when excluding entire directories (#22595)
• Fix missing syntax highlighting for aliased import names (#22675)
• Highlight interpolated-parts in t-strings (#22674)
• Fix the inferred MRO of functional namedtuple classes (#22722)
• Make special cases for subscript inference exhaustive, ensuring that the special casing for tuple subscripts is applied when a union of tuples or an alias to a tuple type is subscripted (#22035)

LSP server

• Improve completion suggestions inside class definitions (#22571)
• Improve performance of completions (#22630)
• Remove completion suggestions for redundant re-exports that share the same top-most module (#22581)

Core type checking

• Add basic support for overloads in ParamSpec (#21946)
• Allow ... as a default value for any parameter if the function is in an if TYPE_CHECKING block (#22624)
• Allow if type(x) is Y narrowing for types other than class-literal types (#22729)
• Avoid overload errors when detecting dataclass-on-tuple (#22687)
• Avoid reporting overload errors for successful union variants (#22688)
• Ban NewTypes with generic bases (#22653)
• Fix PEP 695 type aliases not expanding in overload resolution (#22589)
• Fix the return type for synthesized NamedTuple.__new__ methods (#22625)
• Emit diagnostics for NamedTuple, TypedDict, Enum or Protocol classes decorated with @dataclass (#22672)
• Emit invalid-type-form diagnostics for stringified annotations where the quoted expression is invalid (#22752)
• Infer the implicit type of cls in __new__ methods (#22584)
• Make ModuleType and object attributes available on namespace packages (#22606)
• Make NamedTuple(...) and namedtuple(...) calls stricter (#22601)
• Narrow on bool and byte subscripts (#22684)
• Narrow on negative subscript indexing (#22682)
• Override __file__ to str when applicable on imported modules (#22333)
• Add bidirectional inference for comprehensions (#22564)
• Recognize string-literal types as subtypes of Sequence[Literal[chars]] (#22415)
• Add right-hand-side narrowing for if Foo is type(x) expressions (#22608)
• Add simple syntactic validation for the right-hand side of PEP-613 type aliases (#22652)
• Add support for passing typename and field_names by keyword argument to collections.namedtuple() calls (#22660)
• Add support for starred unpacking in class bases (#22591)
• Validate constructor arguments when a class is used as a decorator (#22377)
• Validate field names for typing.NamedTuple(...) (#22599)
• Add diagnostic on overridden __setattr__ and __delattr__ in frozen dataclasses (#21430)
• Fix unary operators on NewTypes of float or complex (#22605)

Configuration

... (truncated)

Changelog

Sourced from ty's changelog.

0.0.13

Released on 2026-01-21.

Bug fixes

• Fix --force-exclude when excluding entire directories (#22595)
• Fix missing syntax highlighting for aliased import names (#22675)
• Highlight interpolated-parts in t-strings (#22674)
• Fix the inferred MRO of functional namedtuple classes (#22722)
• Make special cases for subscript inference exhaustive, ensuring that the special casing for tuple subscripts is applied when a union of tuples or an alias to a tuple type is subscripted (#22035)

LSP server

• Improve completion suggestions inside class definitions (#22571)
• Improve performance of completions (#22630)
• Remove completion suggestions for redundant re-exports that share the same top-most module (#22581)

Core type checking

• Add basic support for overloads in ParamSpec (#21946)
• Allow ... as a default value for any parameter if the function is in an if TYPE_CHECKING block (#22624)
• Allow if type(x) is Y narrowing for types other than class-literal types (#22729)
• Avoid overload errors when detecting dataclass-on-tuple (#22687)
• Avoid reporting overload errors for successful union variants (#22688)
• Ban NewTypes with generic bases (#22653)
• Fix PEP 695 type aliases not expanding in overload resolution (#22589)
• Fix the return type for synthesized NamedTuple.__new__ methods (#22625)
• Emit diagnostics for NamedTuple, TypedDict, Enum or Protocol classes decorated with @dataclass (#22672)
• Emit invalid-type-form diagnostics for stringified annotations where the quoted expression is invalid (#22752)
• Infer the implicit type of cls in __new__ methods (#22584)
• Make ModuleType and object attributes available on namespace packages (#22606)
• Make NamedTuple(...) and namedtuple(...) calls stricter (#22601)
• Narrow on bool and byte subscripts (#22684)
• Narrow on negative subscript indexing (#22682)
• Override __file__ to str when applicable on imported modules (#22333)
• Add bidirectional inference for comprehensions (#22564)
• Recognize string-literal types as subtypes of Sequence[Literal[chars]] (#22415)
• Add right-hand-side narrowing for if Foo is type(x) expressions (#22608)
• Add simple syntactic validation for the right-hand side of PEP-613 type aliases (#22652)
• Add support for passing typename and field_names by keyword argument to collections.namedtuple() calls (#22660)
• Add support for starred unpacking in class bases (#22591)
• Validate constructor arguments when a class is used as a decorator (#22377)
• Validate field names for typing.NamedTuple(...) (#22599)
• Add diagnostic on overridden __setattr__ and __delattr__ in frozen dataclasses (#21430)
• Fix unary operators on NewTypes of float or complex (#22605)

Configuration

• Support overriding respect-type-ignore-comments (#22615)

... (truncated)

Commits

• fc1478b Bump version to 0.0.13 (#2576)
• 608dc50 Drop PPC64 builds (#2571)
• 9ffe443 Update prek dependencies (#2558)
• 9569569 Always target manylinux 2_17 and better pre-upload checks (#2393)
• 4b74e4d Bump to 0.0.12 (#2500)
• 3b83666 Re-add fixed-width size for image (#2485)
• 11540c5 Update VS Code extension docs (#2475)
• c7f6404 Fix the docs links to the benchmark results (#2459)
• 5264371 Use prek in documentation and CI (#2469)
• 29072a5 Fix changelog typo (#2461)
• 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)

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!