Sourced from ty's releases.

0.0.1-alpha.16

Release Notes

Bug fixes

• Fix server panics when hovering over invalid syntax in Callable annotations (#19517)
• match statements: Fix narrowing and reachability of class patterns with arguments (#19512)
• Fix server panics when hovering over illegal Literal[…] annotations with inner subscript expressions (#19489)
• Pass down specialization to generic dataclass bases (#19472)

Server

• Add support for "go to definition" for attribute accesses and keyword arguments (#19417)
• Add support for "go to definition" for import statements (#19428)
• Add support for "document highlights" (#19515)
• Add partial support for "find references" (#19475)
• Prefer the runtime definition, not the stub definition, on a go-to-definition request for a class or function. Currently this is only implemented for definitions originating outside of the stdlib. (#19471)
• Add semantic token support for more identifiers (#19473)
• Avoid rechecking the entire project when a file in the editor is opened or closed (#19463)

Typing semantics and features

• Handle splatted arguments in function calls (#18996)
• Improve place lookup and narrowing in lazy scopes (#19321)
• Add exhaustiveness checking and reachability analysis for match statements (#19508)
• Improve reachability analysis for isinstance(…) branches (#19503)
• Make tuple subclass constructors sound (#19469)
• Extend tuple __len__ and __bool__ special casing to also cover tuple subclasses (#19289)
• Add support for dataclasses.field (#19553)
• Add support for dataclasses.InitVar (#19527)
• Add support for @warnings.deprecated and typing_extensions.deprecated (#19376)
• Do not consider a type T to satisfy a method member on a protocol unless the method is available on the meta-type of T (#19187)
• Implement expansion of enums into unions of literals (#19382)
• Support iterating over enums (#19486)
• Detect enums if metaclass is a subtype of EnumType / EnumMeta (#19481)
• Infer single-valuedness for enums deriving from int or str (#19510)
• Detect illegal non-enum attribute accesses in Literal annotations (#19477)
• Disallow assignment to Final class attributes (#19457)
• Handle implicit instance attributes declared Final (#19462)
• Disallow Final in function parameter- and return-type annotations (#19480)
• Disallow illegal uses of ClassVar (#19483)
• Make del x force a local resolution of x in the current scope (#19389)
• Perform type narrowing for places marked global (#19381)
• Infer correct types for attribute accesses on intersections with negative parts (#19524)
• Sync vendored typeshed stubs (typeshed diff)

Memory usage optimizations

• Reduce ty's memory usage (for example: #19409, #19435, #19414)

... (truncated)

Sourced from ty's changelog.

Changelog

0.0.1-alpha.16

Bug fixes

• Fix server panics when hovering over invalid syntax in Callable annotations (#19517)
• match statements: Fix narrowing and reachability of class patterns with arguments (#19512)
• Fix server panics when hovering over illegal Literal[…] annotations with inner subscript expressions (#19489)
• Pass down specialization to generic dataclass bases (#19472)

Server

• Add support for "go to definition" for attribute accesses and keyword arguments (#19417)
• Add support for "go to definition" for import statements (#19428)
• Add support for "document highlights" (#19515)
• Add partial support for "find references" (#19475)
• Prefer the runtime definition, not the stub definition, on a go-to-definition request for a class or function. Currently this is only implemented for definitions originating outside of the stdlib. (#19471)
• Add semantic token support for more identifiers (#19473)
• Avoid rechecking the entire project when a file in the editor is opened or closed (#19463)

Typing semantics and features

• Handle splatted arguments in function calls (#18996)
• Improve place lookup and narrowing in lazy scopes (#19321)
• Add exhaustiveness checking and reachability analysis for match statements (#19508)
• Improve reachability analysis for isinstance(…) branches (#19503)
• Make tuple subclass constructors sound (#19469)
• Extend tuple __len__ and __bool__ special casing to also cover tuple subclasses (#19289)
• Add support for dataclasses.field (#19553)
• Add support for dataclasses.InitVar (#19527)
• Add support for @warnings.deprecated and typing_extensions.deprecated (#19376)
• Do not consider a type T to satisfy a method member on a protocol unless the method is available on the meta-type of T (#19187)
• Implement expansion of enums into unions of literals (#19382)
• Support iterating over enums (#19486)
• Detect enums if metaclass is a subtype of EnumType / EnumMeta (#19481)
• Infer single-valuedness for enums deriving from int or str (#19510)
• Detect illegal non-enum attribute accesses in Literal annotations (#19477)
• Disallow assignment to Final class attributes (#19457)
• Handle implicit instance attributes declared Final (#19462)
• Disallow Final in function parameter- and return-type annotations (#19480)
• Disallow illegal uses of ClassVar (#19483)
• Make del x force a local resolution of x in the current scope (#19389)
• Perform type narrowing for places marked global (#19381)
• Infer correct types for attribute accesses on intersections with negative parts (#19524)
• Sync vendored typeshed stubs (typeshed diff)

Memory usage optimizations

• Reduce ty's memory usage (for example: #19409, #19435, #19414)

... (truncated)

• 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)
• c2b60be Update astral-sh/setup-uv action to v6.4.1 (#858)
• See full diff in compare view

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)