Bump ty from 0.0.79 to 0.0.80

[dependabot]

Bumps ty from 0.0.79 to 0.0.80.

Release notes

Sourced from ty's releases.

0.0.80

Release Notes

Released on 2026-09-09.

Bug fixes

• Fix --force-exclude for directories with an excluded ancestor (#28451)
• Preserve metaclass candidates after conflicts (#28461)

LSP server

• Give existing autofixes descriptive titles (#28456)
• Prevent LSP hangs during inlay hint bursts (#28390)

Diagnostic improvements

• Preserve redundant-condition diagnostics with unreachable operands (#28374)

Core type checking

• Check captured receivers when calling wrapped classmethods (#28467)
• Fix cached classmethods on generic classes (#28207)
• Fix disjointness of type guards and boolean literals (#28363)
• Infer tuple variance from the full tuple spec (#28446)
• Infer tuple variance more precisely (#28426)
• Preserve callable identity across specialized types (#28409)
• Preserve callback type context through ParamSpec forwarding (#28439)
• Preserve wrapped functions in precise functools.partial relations (#28460)
• Respect descriptor protocol for __set__ itself (#28408)
• Respect type-variable bounds in argument context (#28448)
• Unwrap union alternatives in overload implementations (#28468)

Performance

• Distribute len inference over unions (#28470)
• Fast-path concrete literal intersections (#28348)

Memory usage improvements

• Avoid excess capacity in multi-binding tables (#28412)
• Share equivalent place tables within a file (#28319)
• Share names in synthesized constructor parameters (#28398)

Contributors

• @​sharkdp
• @​charliermarsh
• @​ibraheemdev
• @​AlexWaygood

... (truncated)

Changelog

Sourced from ty's changelog.

0.0.80

Released on 2026-09-09.

Bug fixes

• Fix --force-exclude for directories with an excluded ancestor (#28451)
• Preserve metaclass candidates after conflicts (#28461)

LSP server

• Give existing autofixes descriptive titles (#28456)
• Prevent LSP hangs during inlay hint bursts (#28390)

Diagnostic improvements

• Preserve redundant-condition diagnostics with unreachable operands (#28374)

Core type checking

• Check captured receivers when calling wrapped classmethods (#28467)
• Fix cached classmethods on generic classes (#28207)
• Fix disjointness of type guards and boolean literals (#28363)
• Infer tuple variance from the full tuple spec (#28446)
• Infer tuple variance more precisely (#28426)
• Preserve callable identity across specialized types (#28409)
• Preserve callback type context through ParamSpec forwarding (#28439)
• Preserve wrapped functions in precise functools.partial relations (#28460)
• Respect descriptor protocol for __set__ itself (#28408)
• Respect type-variable bounds in argument context (#28448)
• Unwrap union alternatives in overload implementations (#28468)

Performance

• Distribute len inference over unions (#28470)
• Fast-path concrete literal intersections (#28348)

Memory usage improvements

• Avoid excess capacity in multi-binding tables (#28412)
• Share equivalent place tables within a file (#28319)
• Share names in synthesized constructor parameters (#28398)

Contributors

• @​sharkdp
• @​charliermarsh
• @​ibraheemdev
• @​AlexWaygood
• @​MichaReiser

Commits

• 7fd8e15 Bump version to 0.0.80 (#4501)
• c163f21 Update dependency prek to v0.4.12 (#4494)
• 8ce0450 Update prek dependencies (#4495)
• 5d0aa7a Update actions/attest-build-provenance action to v4.2.2 (#4497)
• e22b86b Update Swatinem/rust-cache action to v2.9.2 (#4496)
• 5cde40f Document uv integration and workspace trust settings (#4339)
• See full diff in compare view