chore(deps): update dependency ty to v0.0.71 by renovate[bot] · Pull Request #269 · merylldindin/sirtuin

renovate · 2026-07-13T00:02:25Z

This PR contains the following updates:

Package	Change	Age	Confidence
ty (changelog)	`==0.0.56` → `==0.0.71`

Release Notes

astral-sh/ty (ty)

`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

`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

`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

`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

`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

`v0.0.65`

Compare Source

Released on 2026-07-29.

LSP server

Support comprehension walruses in IDE features (#26476)

Library support

Pydantic: Allow mutation of private attributes on frozen models (#27257)
Pydantic: Synthesize __replace__ for models (#27220)

Diagnostics

Correct ParamSpec forwarded-argument diagnostic locations (#27263)
Recover forwarded callable object and constructor sources (#27264)
Recover forwarded functools.partial diagnostic sources (#27265)

Core type checking

Fix gradual class assignability with generic receivers (#27223)
Lazily materialize protocol attributes (#27267)
Narrow tagged unions through all type kinds (#27226)
Prefer static constrained TypeVar solutions (#27057)
Preserve frozen-dataclass setter delegation (#27217)
Preserve inference when filtering constructor overloads (#27254)
Reject frozen-dataclass field deletion through subclasses (#27001)
Stabilize recursive type-constraint ordering (#27176)
Support materialized class type expressions (#27258)

Performance

Avoid quadratic inference for large literal unions (#27178)
Cache protocol receiver binding (#27301)

Contributors

`v0.0.64`

Compare Source

Released on 2026-07-27.

Bug fixes

Fix identity narrowing for NewTypes (#26439)
Make reachability analysis idempotent (#27163)

LSP server

Fix ParamSpec declaration hover and type navigation (#27183)
Implement LSP textDocument/implementation request (#25410)
Introduce shared primitives for parsing backticks in docstrings (#26928)
Render NumPy docstrings as structured Markdown (#25925)

CLI

Add --exclude-scripts and --include-scripts (#27169)
Discover uv workspace roots (#25551)

Diagnostics

Add a lint rule for combined abstract and final decorators (#26932)
Change --add-ignore to add space after the colon for ty: ignore (#27120)
Fix missing-override-decorator suggestion before Python 3.12 (#27166)
Reuse full call diagnostics for implicit setter calls (#27115)

Configuration

Allow unresolved unused venv home paths (#27162)
Simplify script metadata query (#27121)

Core type checking

Decorate only overload implementation signatures (#27147)
Don't consider known-instance types, generic aliases or non-singleton special-form types to be single-valued (#27137)
Improve identity comparison inference for singleton types (#27126)
Improve tuple membership and rich comparison inference (#27164)
Model walrus bindings from comprehensions (#26466)
Narrow tagged unions using identity comparisons (#27130)
Preserve Self in __new__ calls (#27003)
Preserve receiver constraints when binding overloaded methods (#27038)
Support generic manual PEP 695 type aliases (#27083)
Treat bivariance as covariant (#24319)

Performance

Avoid cycles when resolving ModuleType globals (#27182)
Avoid expanding optional enum comparisons (#27105)
Avoid repeated inference when copying mixed TypedDict unions (#27108)
Improve importer performance (#27159)
Improve union and intersection builder performance (#27167)

Contributors

`v0.0.63`

Compare Source

Released on 2026-07-23.

Core type checking

Handle generic stringified PEP 613 (typing.TypeAlias) type aliases (#27092)
Allow equality narrowing across non-final classes (#27031)
Allow interpolated string literals to be promoted to str (#27104)
Fix double specialization of generic type aliases (#27058)
Fix intersections of type and TypeForm (#27099)
When narrowing from a match statement leads a variable x to be inferred as A & B, infer the type of x.attr as <type of A.attr> & <type of B.attr> (#27103)

Library support

Pydantic: Stricter validation of sub-model fields in lax mode (#27091)
Pydantic: Support special underscore parameters in BaseSettings models (#27098)

Performance

Avoid exponential narrowing of optional dynamic match subjects (#27100)
Avoid normalizing cached absolute file paths (#26998)

Contributors

`v0.0.62`

Compare Source

Released on 2026-07-21.

Bug fixes

Guard recursive Protocol and TypedDict relations (#26990)
Prevent stack overflows in recursive type relation checks (#26503)
Recover from cancelled file indexing (#26876)

Diagnostics

Avoid editing ignore comments with trailing reasons (#26939)
Prefer innermost inline suppressions (#26940)
Remove unused own-line ignore comments (#27013)
Reuse applicable own-line suppressions in --add-ignore (#26925)

Configuration

Respect rules and analysis in PEP 723 script metadata configurations (#26671)

Core type checking

Accept gradual constrained TypeVar solutions (#26965)
Avoid recursive TypeVarTuple alias expansion (#27032)
Check inherited method conflicts via the MRO (#27019)
Contextually infer custom __setattr__ assignments (#27015)
Fix Callable isinstance reachability (#26970)
Fix Just[float] protocol matching (#27053)
Fix Self binding for classmethod __new__ constructors (#27030)
Fix nested short-circuit flow snapshots (#26956)
Gate TypedDict PEP 728 parameters by Python version (#26968)
Improve match reachability inference around value-pattern branches (#26979)
Make membership and equality narrowing consistent (#26982)
Preserve constrained TypeVar equality narrowing (#26988)
Preserve constrained TypeVar inequality narrowing (#26995)
Preserve unsatisfiable generic call constraints (#26964)
Respect bounded typevars in union inference (#27023)
Respect metaclass __setattr__ for class attributes (#27000)

Performance

Cache non-terminal-call reachability prefixes (#26810)
Cache protocol Self binding (#26997)
Cache sparse reachability checkpoints (#26811)
Defer statement-call narrowing gates (#26793)

Contributors

`v0.0.61`

Compare Source

Released on 2026-07-17.

Bug fixes

Avoid recursive protocol structural comparisons (#26721)

LSP server

Render Google docstrings as structured Markdown (#26599)

Library support

Pydantic: Collect field metadata through subscripted generic Annotated aliases (#26885)

Diagnostics

Avoid extending own-line suppressions in --add-ignore (#26808)

Core type checking

Derive descriptor setter domains for protocols (#26683)
Enforce declared receiver TypeVar domains (#26863)
Infer isinstance results for aliases and type variables (#26961)
Infer isinstance results for fixed class tuples (#26935)
Narrow inline list and set membership checks (#26955)
Narrow tagged unions by tag truthiness (#26887)
Narrow walrus expression values (#26949)
Project intersections in to_instance (#26892)
Remove inferable TypeVar artifacts recursively (#26787)
Respect mixin receiver domains in method overrides (#26941)
Support TypeVarTuple and Unpack (#25240)

Performance

Deduplicate completion labels (#26890)
Only collect expected types for files open in the editor (#25546)
Parallelize subtype hierarchy search (#26875)
Share heap-backed parser names with CharStr (#26594)
Use the new incremental checker from the ignore crate (#26933)

Contributors

`v0.0.60`

Compare Source

Released on 2026-07-15.

Bug fixes

Expand transparent callable workaround with overloads and Awaitable[T] (#26761)
Separate type-mapping caches by transformation mode (#26857)
Avoid recursive protocol union redundancy checks (#26689)
Handle recursive protocols in redundant-cast checks (#26708)

LSP server

Prevent type that is written with a code span from being incorrectly re-wrapped during docstring Markdown rendering (#26723)

Library support

Pydantic: Support populate_by_name and custom initializers (#26764)
Pydantic: Warn about immediately discarded extra arguments (#26762)

Diagnostics

Narrow TypeGuard keyword arguments and remove invalid-type-guard-call (#26809)
Support own-line suppression comments (#26785)

Core type checking

Derive descriptor setter domains for protocols (#26683)
Handle cycles in derived constraint relations (#26814)
Implement unified generic call inference (#26141)
Preserve constraints from bound receivers (#26776)
Project exact-length narrowing through TypeVars (#26852)
Resolve PEP 695 aliases in type[...] annotations (#26842)
Retain sequence pattern narrowing in successful match cases (#26807)
Support class and static protocol methods (#26574)
Support class objects satisfying instance-method protocols (#26789)
Support type[Protocol] (#26649)
Sync vendored typeshed stubs (#26840). Typeshed diff
Treat transparent callable decorators consistently in class assignments (#26720)

Performance

Compare overloaded protocol method returns pairwise (#26684)
Extend PathBounds fast-path to support both upper and lower bounds (#26782)
Skip Self type scans for non-generic instances (#26703)

Contributors

`v0.0.59`

Compare Source

Released on 2026-07-12.

Bug fixes

Guard descriptor classification cycles (#26690)
Respect init=False in dataclass field-order checks (#26749)
Avoid duplicate diagnostics for overloaded TypeIs (#26716)

Library support

Pydantic: Support custom __init__ methods (#26699)
Pydantic: Support field metadata in Annotated (#26650)

Core type checking

Allow unsound equality-based narrowing for builtins (#26414)
Bind Self in implicit dunder calls (#26711)
Correct protocol method receiver binding (#26701)
Exempt ParamSpec callables from the dunder descriptor heuristic (#26696)
Remove transitive TypeVar artifacts during collection inference (#26714)

LSP server

Avoid broad invalidation from file check eligibility (#26741)
Correct how we expand tabs in docstrings (#26679)
Resolve ambiguity in Google-style docstring parsing in favour of observations from popular projects (#26673)

CLI

Avoid allocation for every stdout write (#26698)
Buffer diagnostic output (#26702)

Performance

Cache generic context (#26745)
Cache known class instances (#26746)
Reuse common TypedDict constraints through intersections (#26747)
Use purpose-specific types for completion and module text (#26664)

Contributors

`v0.0.58`

Compare Source

Released on 2026-07-09.

Bug fixes

Fix protocol matching for class variables (#26669)
Fix reflected binary dispatch for runtime classes (#26623)
Support cached properties in protocols (#26681)

Diagnostics

Add assignability context to upper-bound diagnostics (#26645)
Add blanket ignore comment rule (#26426)
Improve protocol attribute diagnostic context (#26644)

Library support

Pydantic: Add fields from mixin classes (#26631)
Pydantic: Add support for validate_by_{name,alias} (#26598)
Pydantic: Add support for validation_alias (#26629)
Pydantic: Fix float conversion in unions (#26655)
Pydantic: Ignore private attributes (#26630)
Pydantic: Make BaseSettings fields optional by default (#26628)
Pydantic: Recognize frozen models via config (#26648)
Pydantic: Support dict model configurations (#26632)
Pydantic: Support validation of RootModel fields (#26634)
Pydantic: Understand ellipsis as providing no default value (#26637)

Core type checking

Gate membership narrowing on __contains__ semantics (#25964)
Handle callable classes in solver (#26090)
Infer ModuleType.__doc__ as str in the presence of a docstring (#26505)
Infer metaclass-declared attributes on class instances (#26512)
Respect user stub overlays during module resolution (#26123)

Performance

Avoid allocating decorated parameter names (#26666)
Optimize TypeCollector (#26593)

Contributors

`v0.0.57`

Compare Source

Released on 2026-07-07.

Bug fixes

Detect async generator expressions containing await (#26568)
Preserve exhaustive gradual match patterns (#26523)

LSP server

Fix selection range behavior for strings (#26532)
Recognize that dedent ends doctest block when parsing docstrings for signature help (#26552)
Render reStructuredText hyperlinks as Markdown in hover docstrings (#25907)
Update __slots__ string when renaming an attribute (#26438)

Documentation

Document PYTHONPATH support in module discovery (#3889)

Library support

Add support for extra arguments in Pydantic model constructors (#26520)
Detect Pydantic model configurations (#26573)
Distinguish lax and strict mode for Pydantic models (#26587)

Core type checking

Fix subtyping/assignability for @property protocol members (#25332)
Narrow isinstance against intersections containing invalid member (#26545)
Narrow match subjects through structural patterns (#25942)
Preserve generic functools.partial signatures (#24583)
Preserve generic variadic callback semantics (#26521)
Preserve invariant materialization on generic specializations (#26578)
Preserve literal enum member names (#26592)

Performance

Avoid exponential invariant constraint paths (#26538)
Batch parallel jobs when finding references (#26534)
Build module names directly in CompactString (#26546)
Elide default use-def state (#26398)
Reuse owned buffers for string literals (#26547)
Use ICF for macOS release builds (#3709)
Use cached class literal lookup for is_subclass_of (#26585)

Contributors

Configuration

📅 Schedule: (in timezone Europe/Paris)

Branch creation
- "before 6am on Monday"
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.

renovate Bot assigned merylldindin Jul 13, 2026

renovate Bot changed the title ~~chore(deps): update dependency ty to v0.0.59~~ chore(deps): update dependency ty to v0.0.60 Jul 16, 2026

renovate Bot force-pushed the renovate/ty-0.x branch 2 times, most recently from 4388bdd to b25bfc6 Compare July 18, 2026 06:02

renovate Bot changed the title ~~chore(deps): update dependency ty to v0.0.60~~ chore(deps): update dependency ty to v0.0.61 Jul 18, 2026

renovate Bot changed the title ~~chore(deps): update dependency ty to v0.0.61~~ chore(deps): update dependency ty to v0.0.62 Jul 22, 2026

renovate Bot force-pushed the renovate/ty-0.x branch from b25bfc6 to 4a5ceca Compare July 22, 2026 01:25

renovate Bot changed the title ~~chore(deps): update dependency ty to v0.0.62~~ chore(deps): update dependency ty to v0.0.63 Jul 23, 2026

renovate Bot force-pushed the renovate/ty-0.x branch 2 times, most recently from d65e9a9 to 88d0f28 Compare July 27, 2026 20:59

renovate Bot changed the title ~~chore(deps): update dependency ty to v0.0.63~~ chore(deps): update dependency ty to v0.0.64 Jul 27, 2026

renovate Bot changed the title ~~chore(deps): update dependency ty to v0.0.64~~ chore(deps): update dependency ty to v0.0.65 Jul 29, 2026

renovate Bot force-pushed the renovate/ty-0.x branch 2 times, most recently from bb5513d to 54ce684 Compare August 4, 2026 01:56

renovate Bot changed the title ~~chore(deps): update dependency ty to v0.0.65~~ chore(deps): update dependency ty to v0.0.66 Aug 4, 2026

renovate Bot force-pushed the renovate/ty-0.x branch from 54ce684 to 72900d8 Compare August 5, 2026 21:44

renovate Bot changed the title ~~chore(deps): update dependency ty to v0.0.66~~ chore(deps): update dependency ty to v0.0.67 Aug 5, 2026

renovate Bot force-pushed the renovate/ty-0.x branch from 72900d8 to bd27ae8 Compare August 6, 2026 01:49

renovate Bot changed the title ~~chore(deps): update dependency ty to v0.0.67~~ chore(deps): update dependency ty to v0.0.68 Aug 6, 2026

renovate Bot changed the title ~~chore(deps): update dependency ty to v0.0.68~~ chore(deps): update dependency ty to v0.0.69 Aug 6, 2026

renovate Bot force-pushed the renovate/ty-0.x branch 2 times, most recently from 4ec4a72 to e12dccf Compare August 11, 2026 01:56

renovate Bot changed the title ~~chore(deps): update dependency ty to v0.0.69~~ chore(deps): update dependency ty to v0.0.70 Aug 11, 2026

chore(deps): update dependency ty to v0.0.71

20d555f

renovate Bot force-pushed the renovate/ty-0.x branch from e12dccf to 20d555f Compare August 13, 2026 04:03

renovate Bot changed the title ~~chore(deps): update dependency ty to v0.0.70~~ chore(deps): update dependency ty to v0.0.71 Aug 13, 2026

Navigation Menu

chore(deps): update dependency ty to v0.0.71 - #269

chore(deps): update dependency ty to v0.0.71#269
renovate[bot] wants to merge 1 commit into
mainfrom
renovate/ty-0.x

renovate Bot commented Jul 13, 2026 •

edited

Loading

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

renovate Bot commented Jul 13, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Release Notes

Library support

Diagnostics

Core type checking

Performance

Contributors

LSP server

CLI

Diagnostics

Core type checking

Contributors

Core type checking

Contributors

Diagnostics

Core type checking

Contributors

LSP server

Diagnostics

Configuration

Core type checking

Performance

Contributors

LSP server

Library support

Diagnostics

Core type checking

Contributors

LSP server

Library support

Diagnostics

Core type checking

Performance

Contributors

Bug fixes

LSP server

CLI

Diagnostics

Configuration

Core type checking

Performance

Contributors

Core type checking

Library support

Performance

Contributors

Bug fixes

Diagnostics

Configuration

Core type checking

Performance

Contributors

Bug fixes

LSP server

Library support

Diagnostics

Core type checking

Performance

Contributors

Bug fixes

LSP server

Library support

Diagnostics

Core type checking

Performance

Contributors

Bug fixes

Library support

Core type checking

LSP server

CLI

Performance

Contributors

Bug fixes

Diagnostics

Library support

Core type checking

Performance

renovate Bot commented Jul 13, 2026 •

edited

Loading