build(deps-dev): bump ty from 0.0.70 to 0.0.71

[dependabot]

Bumps ty from 0.0.70 to 0.0.71.

Release notes

Sourced from ty's releases.

0.0.71

Release Notes

Released on 2026-08-12.

Library support

• Respect third-party keyword-only fields before Python 3.10 (#27699)

Diagnostics

• Diagnose invalid __getattribute__ calls (#27506)
• Validate boolean conversion in comprehension filters (#27641)
• Validate unpacked callable argument shapes (#27516)

Core type checking

• Avoid introducing boolean literals when narrowing integers (#27698)
• Fix truthiness inference for subclassable known classes (#27638)
• Handle class objects that may be descriptors (#26687)
• Infer type variables through nominal type[...] parameters (#27689)
• Model exception flow with operation checkpoints (#27471)
• Preserve constrained TypeVar types when slicing (#27645)
• Preserve enum attributes on Self and bounded type variables (#27644)
• Preserve enum exhaustiveness with custom _missing_ methods (#27700)
• Preserve literal-string origin in comparison narrowing (#27582)
• Resolve generic type aliases subscripted inside type[] (#27663)
• Restrict equality impossibility to static bounds (#27655)

Performance

• Avoid deriving sequents for type variables with concrete bounds (#27587)

Contributors

• @​dcreager
• @​augustelalande
• @​charliermarsh
• @​carljm
• @​AlexWaygood
• @​ibraheemdev

Install ty 0.0.71

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://releases.astral.sh/github/ty/releases/download/0.0.71/ty-installer.sh | sh

... (truncated)

Changelog

Sourced from ty's changelog.

0.0.71

Released on 2026-08-12.

Library support

• Respect third-party keyword-only fields before Python 3.10 (#27699)

Diagnostics

• Diagnose invalid __getattribute__ calls (#27506)
• Validate boolean conversion in comprehension filters (#27641)
• Validate unpacked callable argument shapes (#27516)

Core type checking

• Avoid introducing boolean literals when narrowing integers (#27698)
• Fix truthiness inference for subclassable known classes (#27638)
• Handle class objects that may be descriptors (#26687)
• Infer type variables through nominal type[...] parameters (#27689)
• Model exception flow with operation checkpoints (#27471)
• Preserve constrained TypeVar types when slicing (#27645)
• Preserve enum attributes on Self and bounded type variables (#27644)
• Preserve enum exhaustiveness with custom _missing_ methods (#27700)
• Preserve literal-string origin in comparison narrowing (#27582)
• Resolve generic type aliases subscripted inside type[] (#27663)
• Restrict equality impossibility to static bounds (#27655)

Performance

• Avoid deriving sequents for type variables with concrete bounds (#27587)

Contributors

• @​dcreager
• @​augustelalande
• @​charliermarsh
• @​carljm
• @​AlexWaygood
• @​ibraheemdev

Commits

• 683e223 Bump version to 0.0.71 (#4244)
• ede66b4 Document unsound-yield in the migration guide (#4239)
• 4c3d909 Validate the PGO pipeline in CI (#4236)
• df9bad1 Enable PGO for Linux ARM64 ty releases (#4218)
• 0ed874c Enable PGO for Windows x86-64 ty releases (#4217)
• 8988165 Enable PGO for macOS ARM64 ty releases (#4216)
• c25c341 Enable PGO for Linux x86-64 ty releases (#4213)
• d95445f Use Depot runners for release builds (#4224)
• c2932e1 Use an eight-core Ubuntu 24.04 runner for prek CI (#4235)
• See full diff in compare view

[github-actions]

Changed

• ty: 0.0.70 → 0.0.71