Sourced from ty's releases.

0.0.1-alpha.19

Release Notes

Bug fixes

• Fix false-positive diagnostics if a function parameter is annotated with type[P] where P is a protocol class (#19947)
• Fix ANSI colors in terminal output on old Windows terminals (#19984)
• Fix protocol interface inference for protocols in stub files with ClassVar members and "subprotocols" that extend other protocols (#19950)
• Fix inference of equality comparisons between enum members (#19666)
• Remove incorrect type narrowing for if type(x) is C[int] (#19926)
• Improve detection of TypeErrors resulting from protocol classes illegally inheriting from non-protocol classes (#19941). We previously detected this error, but only when the protocol class illegally inherited from a non-generic class or an unspecialized generic class. We now also detect it when the protocol class inherits from a specialized generic class.
• Fix incorrectly precise type inference in some situations involving nested scopes (#19908)
• Fix unpacking a type alias with a precise tuple spec (#19981)

NamedTuple semantics improvements

• Synthesize read-only properties for all declared members on NamedTuple classes (#19899)
• Allow any instance of a NamedTuple class to be passed to a function parameter annotated with typing.NamedTuple (#19915)
• Detect NamedTuple classes where fields without default values illegally follow fields with default values (#19945). This causes TypeError to be raised at runtime.
• Detect illegal multiple inheritance with NamedTuple (#19943). This causes TypeError to be raised at runtime.

Other typing and semantics improvements

• Add support for stubs packages with partial in their py.typed files (#19931)
• Look for site-packages directories in <sys.prefix>/lib64/ as well as <sys.prefix>/lib/ on non-Windows systems (#19978). This change fixes a number of unresolved-import false-positive diagnostics reported by Poetry users.
• Add diagnostics for invalid await expressions (#19711)
• Add else-branch narrowing for if type(a) is A when A is @final (#19925)
• Improve solving of typevars with defaults, and typing.Self (#19786)
• Support the kw_only parameter for dataclasses.dataclass() and dataclasses.field() (#19677)
• Sync vendored typeshed stubs (#19923). Typeshed diff.

Server improvements

• Improve goto/hover for definitions (#19976)

Performance improvements

• Short-circuit a server inlay hints request if all settings under ty.inlayHints are disabled (#19963)
• Speedup server tracing checks (#19965)
• Add caching to logic for inferring whether a class is a NamedTuple, a dataclass or a TypedDict (#19912)
• Speedup project file discovery (#19913)

Contributors

• @​dcreager
• @​MichaReiser
• @​sharkdp
• @​github-actions
• @​mtshiba
• @​theammir

... (truncated)

Sourced from ty's changelog.

Changelog

0.0.1-alpha.19

Bug fixes

• Fix false-positive diagnostics if a function parameter is annotated with type[P] where P is a protocol class (#19947)
• Fix ANSI colors in terminal output on old Windows terminals (#19984)
• Fix protocol interface inference for protocols in stub files with ClassVar members and "subprotocols" that extend other protocols (#19950)
• Fix inference of equality comparisons between enum members (#19666)
• Remove incorrect type narrowing for if type(x) is C[int] (#19926)
• Improve detection of TypeErrors resulting from protocol classes illegally inheriting from non-protocol classes (#19941). We previously detected this error, but only when the protocol class illegally inherited from a non-generic class or an unspecialized generic class. We now also detect it when the protocol class inherits from a specialized generic class.
• Fix incorrectly precise type inference in some situations involving nested scopes (#19908)
• Fix unpacking a type alias with a precise tuple spec (#19981)

NamedTuple semantics improvements

• Synthesize read-only properties for all declared members on NamedTuple classes (#19899)
• Allow any instance of a NamedTuple class to be passed to a function parameter annotated with typing.NamedTuple (#19915)
• Detect NamedTuple classes where fields without default values illegally follow fields with default values (#19945). This causes TypeError to be raised at runtime.
• Detect illegal multiple inheritance with NamedTuple (#19943). This causes TypeError to be raised at runtime.

Other typing and semantics improvements

• Add support for stubs packages with partial in their py.typed files (#19931)
• Look for site-packages directories in <sys.prefix>/lib64/ as well as <sys.prefix>/lib/ on non-Windows systems (#19978). This change fixes a number of unresolved-import false-positive diagnostics reported by Poetry users.
• Add diagnostics for invalid await expressions (#19711)
• Add else-branch narrowing for if type(a) is A when A is @final (#19925)
• Improve solving of typevars with defaults, and typing.Self (#19786)
• Support the kw_only parameter for dataclasses.dataclass() and dataclasses.field() (#19677)
• Sync vendored typeshed stubs (#19923). Typeshed diff.

Server improvements

• Improve goto/hover for definitions (#19976)

Performance improvements

• Short-circuit a server inlay hints request if all settings under ty.inlayHints are disabled (#19963)
• Speedup server tracing checks (#19965)
• Add caching to logic for inferring whether a class is a NamedTuple, a dataclass or a TypedDict (#19912)
• Speedup project file discovery (#19913)

Contributors

• @​dcreager
• @​MichaReiser
• @​sharkdp
• @​github-actions
• @​mtshiba

... (truncated)

• e9cb838 Bump version to 0.0.1-alpha.19 (#1050)
• f2242aa Update actions/checkout digest to ff7abcd (#1027)
• 398a22f Update PyO3/maturin-action action to v1.49.4 (#1030)
• ec2e34c Update astral-sh/setup-uv action to v6.5.0 (#1031)
• f4e7aa0 Update actions/checkout action to v5 (#1032)
• c322e47 Update pre-commit dependencies (#1029)
• d697cc0 Bump version to 0.0.1a18 (#982)
• 0786831 Add ty.inlayHints.callArgumentNames reference (#981)
• d3fe41b Update rui314/setup-mold digest to 7344740 (#962)
• 790681a Update actions/download-artifact digest to de96f46 (#961)
• Additional commits viewable 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)