chore(deps): update dependency astral-sh/ty to v0.0.75

[renovate]

This PR contains the following updates:

Package	Update	Change
astral-sh/ty	patch	0.0.65 → 0.0.75

---

Release Notes

astral-sh/ty (astral-sh/ty)

v0.0.75

Compare Source

Released on 2026-08-26.

Preview features

• Initialize PEP 723 script environments in the CLI (#​27544)
• Refresh PEP 723 script environments in watch mode (#​27617)
• Run PEP 723 script synchronization on bounded workers (#​27615)

Bug fixes

• Specialize Self bounds of inherited methods (#​27990)

LSP server

• Add "Go to Definition" support for pytest fixtures (#​27444)

Documentation

• Fix documented Python package build command (#​4384)
• Link untyped-call tracking issue in migration guide (#​4382)

Library support

• Resolve imported pytest fixture exposures (#​27539)
• Resolve installed core pytest fixture providers (#​27770)
• Resolve pytest fixtures through conftest (#​27540)

Diagnostics

• Add more autofixes (#​28029)
• Add a dedicated missing-slot diagnostic (#​28039)
• Explain missing storage for declared slotted attributes (#​27969)
• Improve diagnostic spans for unpacked variable assignments (#​28041)

Core type checking

• Account for known subclasses in equality inference (#​28005)
• Expand ParamSpec signatures inferred from bound receivers (#​28020)
• Fix Self binding in ParamSpec protocols (#​28016)
• Fix TypedDict variance inference (#​28052)
• Fix unsound narrowing through branch-assigned conditions (#​28006)
• Ignore inconsistent binding decorators on overloads (#​28036)
• Infer yield from send/return types from the iterator returned by __iter__ (#​27987)
• Infer tuple type parameters from union arguments (#​28062)
• Infer variance through nonrecursive protocol references (#​28065)
• Preserve bounds of non-literal metaclasses (#​28046)
• Preserve correlated generic-call inference (#​28043)
• Preserve invariant materialization constraints (#​28047)
• Recover bare TypeVarTuples in tuple annotations (#​27950)
• Reject fixed tuples for non-inferable TypeVarTuples (#​27943)
• Reject incompatible constructor context for variadic packs (#​27966)
• Support mixed gradual tuple assignability with TypeVarTuple (#​27957)
• Support tagged union with multiple tags per type (#​27984)
• Sync vendored typeshed stubs (#​28035). Typeshed diff
• Treat typing.Union as a class on Python 3.14+ (#​28003)
• Validate generic protocol variance (#​27531)
• collections.abc.Callable is an instance of type (#​27991)

Contributors

• @​sharkdp
• @​jelle-openai
• @​marcelo-souzaf
• @​AlexWaygood
• @​krzkaczor
• @​carljm
• @​charliermarsh
• @​lerebear
• @​MichaReiser

v0.0.74

Compare Source

Released on 2026-08-22.

Bug fixes

• Avoid duplicate bindings in multi-target assignments (#​27938)
• Avoid panic on unpacked kwargs in string annotations (#​27963)
• Fix stack overflow in recursive TypedDict dictionary compatibility (#​27951)
• Handle assignment expressions in string annotations (#​27921)
• Handle dynamic classes in string annotations (#​27883)
• Preserve string annotation context in lambda defaults and TypedDict types (#​27914)
• Skip invalid subscript arguments in string annotations (#​27917)
• Skip invalid subscript operands in string annotations (#​27882)

LSP server

• Add untrustedWorkspace option to the LSP (#​27828)
• Add executable discovery to the server command (#​27806)
• Handle file-valued workspace folders from Zed (#​27836)
• Skip scripts with an invalid PEP 723 configuration (#​27505)
• Support pull diagnostics for notebook cells (#​27778)

Documentation

• Update mypy/pyright comparison table (#​4165)

Diagnostics

• Add an opt-in unsound-assignment rule for variables (#​27874)
• Fix variadic signature display (#​27869)
• Highlight declarations in invalid-assignment diagnostics (#​27872)
• Improve LiteralString suggestions in string annotations (#​27931)
• Use invalid-type-form for non-generic class annotations (#​27889)

Core type checking

• Add bounded constraint solution projections (#​27949)
• Fix invariant gradual tuple materialization ranges (#​27946)
• Guard recursive constructor bindings by receiver (#​27958)
• Preserve all alternatives in bounded intersections (#​27898)
• Preserve keyword safety for unpacked callables (#​27517)
• Preserve source protocol members and classify finite aliases (#​27772)
• Preserve type-variable order when reloading constraints (#​27904)
• Propagate narrowing through statically known branches (#​27752)
• Recognize ABC metaclass methods on protocols (#​27897)
• Support __slots__ (#​27730)

Performance

• Lazily infer function parameter default types (#​27857)
• Optimize inherited recursive protocol comparisons (#​27922)
• Traverse shared constraint source-order nodes once (#​27947)

Contributors

• @​carljm
• @​lerebear
• @​charliermarsh
• @​dhruvmanila
• @​AlexWaygood
• @​MichaReiser
• @​jelle-openai

v0.0.73

Compare Source

Released on 2026-08-18.

LSP server

• Do not prefer unsafe fixes in the language server (#​27822)
• Fix signature help in trailing whitespace (#​27784)

Library support

• Preserve variadic generics in functools.partial (#​27774)

Diagnostics

• Add an opt-in rule flagging function decorators that transform a non-dynamic type into a dynamic type (#​27829)
• Disambiguate same-named types in several diagnostics (#​27814)
• Show error spans for errors originating in script metadata (#​26693)

Core type checking

• Avoid bypassing solver during literal promotion (#​27763)
• Expand nested union aliases when finding a TypedDict or callable (#​27740)
• Implement intersection meta-type projection (#​27660)
• Infer generic protocols from class objects (#​27812)
• Model exception-suppressing context managers (#​27219)
• Preserve TypeAliasType runtime origin (#​27813)
• Preserve class objects in lazy protocol checks (#​27815)
• Preserve declared types in exception handlers (#​27817)
• Preserve explicit globals after conditional rebinding (#​27786)
• Preserve property subclass types and accessors (#​27833)
• Preserve required stub fields in generated constructors (#​27765)
• Preserve static upper bounds of gradual solutions (#​27664)
• Prevent unrelated quantified constraints from destabilizing recursive queries (#​27737)
• Separate generic constraint accumulation from legacy projection (#​27743)
• Simplify generic protocol inference (#​27819)
• Specialize inherited members of unspecialized generic classes (#​27658)
• Specialize type variables determined by bound receivers (#​27732)
• Support unpacking tuple type aliases (#​27825)
• Sync vendored typeshed stubs (#​27771). Typeshed diff

Performance

• Cache py.typed contents (#​27805)
• Deduplicate exception checkpoints across equivalent branches (#​27703)

Contributors

• @​charliermarsh
• @​AlexWaygood
• @​MichaReiser
• @​augustelalande
• @​carljm
• @​woodruffw
• @​dhruvmanila
• @​ibraheemdev
• @​zaniebot

v0.0.72

Compare Source

Released on 2026-08-14.

Preview features

• Check PEP 723 scripts in isolation (#​27462)

Library support

• Pydantic: Accept documented boolean and fractional inputs (#​27754)
• Pydantic: Accept enum members for lax string and integer fields (#​27751)

Diagnostics

• Improve assignability hints for protocols and TypedDict types (#​27717)

Core type checking

• Avoid treating augmented assignments as attribute definitions (#​27633)
• Diagnose invalid module-level __getattr__ calls (#​27507)
• Fix overload argument expansion with unpacked positional arguments (#​27744)
• Fix specialization of generic TypedDict aliases (#​27760)
• Ignore generic declaration metadata in staticness checks (#​27692)
• Preserve tuple types containing Never (#​27580)
• Report deprecated unary operations (#​27584)
• Respect variance when inferring structural and callable types (#​27707)
• Support TypeVarTuple in call binding (#​26886)
• Treat generator-expression exceptions as eagerly evaluated (#​27735)

Performance

• Avoid exponential narrowing of gradual string-literal unions (#​27742)

Contributors

• @​AlexWaygood
• @​Andrej730
• @​charliermarsh
• @​MichaReiser
• @​dhruvmanila
• @​carljm

v0.0.71

Compare Source

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

v0.0.70

Compare Source

Released on 2026-08-10.

LSP server

• Enable and downrank auto-import completions from stub-only modules (#​27433)
• Fix signature help at end of file (#​27622)
• Normalize type labels in structured docstrings (#​26923)
• Preserve typing-only completion ranking in TYPE_CHECKING blocks (#​27549)

CLI

• Avoid deadlock when scheduling watch checks (#​27605)

Diagnostics

• Add an opt-in unsound-return-statement lint (#​27561)
• Add an opt-in unsound-yield lint (#​27593)
• Diagnose invalid __getattr__ calls (#​27502)
• Diagnose invalid descriptor __get__ calls (#​27400)

Core type checking

• Consider object members in protocol comparisons (#​27532)
• Exclude quantified constraints from semantic type walks (#​27613)
• Expand Generator aliases when evaluating return, send, and yield types (#​27577)
• Infer precise TypedDict key-membership truthiness (#​27579)
• Infer variance through type[T] (#​27534)
• Preserve contextual inference for declarations in loops (#​27594)
• Recognize overlapping NewType types and their underlying values (#​27522)
• Require ClassVar declarations for protocol members (#​27530)
• Stabilize recursive gradual type alias materialization (#​27563)
• Support Annotated inside type[...] (#​27629)
• Validate augmented assignment stores (#​27545)

Contributors

• @​AlexWaygood
• @​carljm
• @​charliermarsh
• @​MichaReiser
• @​lerebear

v0.0.69

Compare Source

Released on 2026-08-06.

Core type checking

• isinstance narrowing for generic classes is now more gradual by default (#​27308)

  This new behavior is more similar to what other major type checkers do. For example:

  def f(xs: object):
      if isinstance(xs, list):
          reveal_type(xs)  # now: `list[Unknown]`, before: `Top[list[Unknown]]`

  Note: you might consider enabling analysis.strict-generic-narrowing
  if you prefer the strictly correct behavior.

Contributors

• @​sharkdp

v0.0.68

Compare Source

Released on 2026-08-05.

Diagnostics

• Preserve property getter call errors (#​27509)
• Simplify numeric tower displays (e.g., float over int | float) (#​27406)
• Suggest closing open TypedDict types for Mapping compatibility (#​27512)

Core type checking

• Avoid double inference of Unpack operands in Union (#​27525)
• Fix panic from mismatched OR-pattern bindings (#​27533)

Contributors

• @​AlexWaygood
• @​charliermarsh
• @​carljm

v0.0.67

Compare Source

Released on 2026-08-05.

LSP server

• Fix unused hints for OR-pattern captures (#​27438)
• Index match-pattern bindings as symbols (#​27260)
• Retain typing-only symbols in explicit completions (#​27435)

Diagnostics

• Preserve called types in intersection diagnostics (#​27475)
• Suppress unimported-reveal diagnostics in stub files and if TYPE_CHECKING blocks (#​27508)

Configuration

• Remove deprecated src.root setting in favor of environment.root (#​27456)

Core type checking

• Check property compatibility when matching class objects to protocols (#​27402)
• Fix constructor calls on narrowed type-variable intersections (#​27493)
• Fix specialization cycle with deferred TypeVar defaults (#​27453)
• Infer generic TypedDicts from unpacked TypedDicts (#​27439)
• Infer generic TypedDicts through synthesized constructor signatures (#​27436)
• Normalize unpacked callable signatures for assignability (#​27450)
• Preserve class type parameters through generic decorators (#​27442)
• Preserve generic class type variables in constructor inference (#​27340)
• Preserve return constraints for object-variadic callables (#​27431)
• Preserve return constraints for top callables (#​27446)
• Recover generic constructor types from failing overloads (#​27460)
• Reject Self with incompatible explicit receiver annotations (#​27454)
• Reject unhashable objects for Hashable protocols (#​27441)
• Reject unsupported dataclass_transform parameters (#​27458)
• Restore bottom callable subtyping for gradual prefixes (#​27519)
• Top-materialize is_dataclass type guard (#​27455)
• Validate constructor calls on unbounded type variables (#​27449)

Performance

• Avoid exponential slowdown copying narrowed TypedDict unions (#​27492)

Contributors

• @​Punisheroot
• @​dhruvmanila
• @​AlexWaygood
• @​sharkdp
• @​MichaReiser
• @​carljm
• @​charliermarsh

v0.0.66

Compare Source

Released on 2026-08-03.

LSP server

• Index with-statement targets as symbols (#​27256)
• Trigger signature help after completing callable with parentheses (#​27084)

Library support

• Pydantic: Recognize models installed on extra search paths (#​27429)

Diagnostics

• Detect __aenter__ and __aexit__ that do not return awaitables (#​27414)
• Diagnose dataclass fields after inherited defaults (#​27327)
• Emit diagnostic when specializing a non-generic class (#​26883)
• Improve error context for incompatible callable signatures (#​27422)
• Preserve forwarded expanded-variadic diagnostic sources (#​27266)

Core type checking

• Avoid over-materializing user-defined TypeIs return types (#​26864)
• Fix enum class container assignability (#​27318)
• Hide stub-only helpers from implicit builtin lookup (#​27423)
• Move Unknown out of the experimental ty_extensions API (#​27430)
• Preserve TypeVarTuple context during Generic recovery (#​27381)
• Preserve exact numeric types in covariant collections (#​27311)
• Reject ClassVar and Final qualifiers in NamedTuple fields (#​27380)
• Reject out-of-scope ParamSpec components (#​27378)
• Reject specializing non-generic subclasses (#​27377)
• Respect bounds and constraints in generic materializations (#​27228)
• Sync vendored typeshed stubs (#​27401). Typeshed diff

Contributors

• @​dhruvmanila
• @​carljm
• @​Punisheroot
• @​AlexWaygood
• @​cheparity
• @​BitWeaverDev
• @​charliermarsh
• @​ribru17
• @​sharkdp

---

Configuration

📅 Schedule: (in timezone Europe/Berlin)

• Branch creation
  • "before 5am"
• Automerge
  • At any time (no schedule defined)

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.