Bump ty from 0.0.1a25 to 0.0.1a26

[dependabot]

Bumps ty from 0.0.1a25 to 0.0.1a26.

Release notes

Sourced from ty's releases.

0.0.1-alpha.26

Release Notes

Released on 2025-11-10.

Bug fixes

• Language server: For semantic tokens, fix range filtering for tokens starting at the end of the requested range (#21193)
• Fix panic due to simplifying Divergent types out of intersections types (#21253)
• Fix merging of --exclude CLI flag and src.exclude config-file setting (#21341)

Type inference

• Infer type of self for decorated methods and properties (#21123)
• Add support for properties that return Self (#21335)
• Understand legacy and PEP 695 ParamSpec (#21139)
• Type inference for comprehensions (#20962)
• Reachability and narrowing for enum methods (#21130)
• Implicit type aliases: Support for PEP 604 unions, Literals, Optional, and Annotated (#21195, #21296, #21321)
• dict is not assignable to TypedDict (#21238)
• Allow values of type None in type expressions (#21263)
• Add narrowing for isinstance() and issubclass() checks that use PEP-604 unions (#21334)
• Do not promote Literal types when solving type variables in contravariant positions (#21164, astral-sh/ruff#21171))
• Fix lookup of __new__ methods on instances (#21147)
• Fix narrowing of generic classes in class patterns for match statements (#21150)
• Improve understanding of disjointness for @final classes (#21167)
• Fix the inferred signature of the synthesized __init__ method of a non-dataclass inheriting from a generic dataclass (#21159)
• Improve exhaustiveness analysis for type variables with bounds or constraints (#21172)
• Prefer exact matches when solving constrained type variables (#21165)
• Simplify unions containing multiple type variables during inference (#21275)
• Use the declared attribute type when inferring union attribute assignments (#21170)
• Sync vendored typeshed stubs (#21178). Typeshed diff
• Use declared attribute types as type context when solving type variables (#21143)
• Don't union in the inferred type of a parameter's default value when inferring the type of an annotated parameter (#21208)
• Support subscripting typing.Literal with a type alias (#21207)

LSP server

• Don't provide completions when in a class or function definition (#21146)
• For autocompletions, favor symbols defined in the current file over auto-imported symbols (#21194) and builtin symbols (#21285)

Diagnostics

• Add diagnostics for isinstance() and issubclass() calls that use invalid PEP-604 unions for their second argument (#21343)
• Don't assume in diagnostic messages that a TypedDict key error is about subscript access (#21166)

Other changes

• Consistently wrap tokens in parser diagnostics in backticks instead of 'quotes' (#21163)
• Discover the site-packages directory from the environment that ty is installed in (#21286), improving the ergonomics of uvx ty check

... (truncated)

Changelog

Sourced from ty's changelog.

Changelog

0.0.1-alpha.26

Released on 2025-11-10.

Bug fixes

• Language server: For semantic tokens, fix range filtering for tokens starting at the end of the requested range (#21193)
• Fix panic due to simplifying Divergent types out of intersections types (#21253)
• Fix merging of --exclude CLI flag and src.exclude config-file setting (#21341)

Type inference

• Infer type of self for decorated methods and properties (#21123)
• Add support for properties that return Self (#21335)
• Understand legacy and PEP 695 ParamSpec (#21139)
• Type inference for comprehensions (#20962)
• Reachability and narrowing for enum methods (#21130)
• Implicit type aliases: Support for PEP 604 unions, Literals, Optional, and Annotated (#21195, #21296, #21321)
• dict is not assignable to TypedDict (#21238)
• Allow values of type None in type expressions (#21263)
• Add narrowing for isinstance() and issubclass() checks that use PEP-604 unions (#21334)
• Do not promote Literal types when solving type variables in contravariant positions (#21164, astral-sh/ruff#21171))
• Fix lookup of __new__ methods on instances (#21147)
• Fix narrowing of generic classes in class patterns for match statements (#21150)
• Improve understanding of disjointness for @final classes (#21167)
• Fix the inferred signature of the synthesized __init__ method of a non-dataclass inheriting from a generic dataclass (#21159)
• Improve exhaustiveness analysis for type variables with bounds or constraints (#21172)
• Prefer exact matches when solving constrained type variables (#21165)
• Simplify unions containing multiple type variables during inference (#21275)
• Use the declared attribute type when inferring union attribute assignments (#21170)
• Sync vendored typeshed stubs (#21178). Typeshed diff
• Use declared attribute types as type context when solving type variables (#21143)
• Don't union in the inferred type of a parameter's default value when inferring the type of an annotated parameter (#21208)
• Support subscripting typing.Literal with a type alias (#21207)

LSP server

• Don't provide completions when in a class or function definition (#21146)
• Favor symbols defined in the current file over imported symbols (#21194) and builtin symbols (#21285)

Diagnostics

• Add diagnostics for isinstance() and issubclass() calls that use invalid PEP-604 unions for their second argument (#21343)
• Don't assume in diagnostic messages that a TypedDict key error is about subscript access (#21166)

Other changes

• Consistently wrap tokens in parser diagnostics in backticks instead of 'quotes' (#21163)

... (truncated)

Commits

• b225fd8 Bump version to 0.0.1a26 (#1517)
• 09c637d Update docker/metadata-action action to v5.9.0 (#1509)
• 5c14430 Update pre-commit dependencies (#1508)
• 258cb20 Update pre-commit dependencies (#1466)
• 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)