Skip to content

Update dependency ty to v0.0.57#836

Open
renovate[bot] wants to merge 1 commit into
mainfrom
renovate/ty-0.x
Open

Update dependency ty to v0.0.57#836
renovate[bot] wants to merge 1 commit into
mainfrom
renovate/ty-0.x

Conversation

@renovate

@renovate renovate Bot commented Jun 8, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

This PR contains the following updates:

Package Change Age Adoption Passing Confidence
ty (changelog) ==0.0.44 → ==0.0.57 age adoption passing confidence

Release Notes

astral-sh/ty (ty)

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

v0.0.56

Compare Source

Released on 2026-07-01.

Bug fixes
  • Avoid MRO cycle when collecting NamedTuple fields (#​26464)
  • Model int and str enum value normalization (#​26349)
  • Prefer reflected operators by runtime class (#​26434, #​26474)
CLI
  • Exit with status 130 when interrupted (#​26465)
Performance
  • Avoid exponential OR-pattern reachability (#​26481)
  • Reduce bound typevar identity overhead (#​26396)
Core type checking
  • Infer generic class pattern capture types (#​26479)
  • Narrow exact tuples through sequence patterns (#​26424)
  • Recognize inherited enum member constructors (#​26410)
  • Respect return-context inference when filtering overloads (#​26454)
  • Sync vendored typeshed stubs (#​26501). Typeshed diff
Contributors

v0.0.55

Compare Source

Released on 2026-06-26.

LSP server
  • Render full diagnostics in color (#​26384)
Documentation
  • Document colored diagnostic output (#​3858)
Performance
  • Improve vendored filesystem concurrency (#​26408)
  • Optimize enum comparisons in equality evaluation (#​26340)
  • Remove redundant semantic index shrinks (#​26392)
  • Use never-change durability for one-shot checks (#​26359)
Core type checking
  • Correct enum alias detection and scalar constructors (#​26345)
  • Fix structural pattern binding inference (#​26411)
  • Improve variable-length tuple slicing (#​26151)
  • Infer class and mapping pattern bindings (#​25941)
  • Infer empty collection constructors from later uses (#​26389)
  • Skip shadowed submodule bindings during import analysis (#​26385)
  • Sync vendored typeshed stubs (#​26406). Typeshed diff
  • Track literal iterable emptiness for reachability (#​25222)
  • Validate positional class patterns against __match_args__ (#​26195)
Contributors

v0.0.54

Compare Source

Released on 2026-06-25.

Bug fixes
  • Avoid duplicate configuration error output (#​26375)
  • Avoid stack overflows in reachability analysis (#​26272)
  • Fix divergent recursive tuple cycle handling in ty (#​26316)
  • Fix panic from relation queries during cycle recovery (#​26335)
  • Fix panics by reverting recursive TypeOf cycle recovery (#​26339)
  • Support basic usages of __class__ closure cells in methods (#​26329)
LSP server
  • Fix typealias token classification inconsistency (#​26255)
  • Implement rust-analyzer's "Click for full compiler diagnostic" feature (#​26269)
Performance
  • Co-locate retained definition usage state (#​26019)
  • Use never-change durability for immutable file inputs (#​26353)
Diagnostics
  • Reject undeclared protocol instance attributes (#​26336)
Core type checking
  • Allow replacing ordinary methods with compatible functions (#​26158)
  • Distinguish typing.TypedDict from typing_extensions.TypedDict (#​25843)
  • Don't treat non-empty ranges as single-valued (#​26351)
  • Handle TypeVar bounds over type[...] in attribute lookup (#​26146)
  • Infer definite equality comparison results (#​26337)
  • Infer mismatched literal comparisons (#​26313)
  • match statements: make class-pattern fallthrough member-aware (#​26283)
  • match statements: prove TypedDict structural patterns exhaustive (#​26285)
  • match statements: resolve positional class-pattern exhaustiveness (#​26284)
  • Model non-exhaustive enum member sets (enum.Flags) (#​26277)
  • Reduce retained definition map storage (#​26348)
  • Reuse equality semantics for membership compatibility (#​25955)
  • Sync vendored typeshed stubs to support builtins.sentinel (#​26341)
  • Treat non-empty range calls as non-empty for reachability (#​25220)
  • Use assignability for divergent constraints (#​26334)
  • Widen inferred class-valued instance attributes (#​26338)
Contributors

v0.0.53

Compare Source

Released on 2026-06-23.

Bug fixes
  • Avoid bypassing lazy constraints for Divergent (#​26288)
  • Avoid recursion when projecting narrowing constraints (#​26276)
  • Fix ParamSpec callable signature extraction for callable instances (#​26279)
  • Make multi-arm TypeOf cycle recovery monotonic (#​26275)
LSP server
  • Document all special forms in ty_extensions (#​26263)
Performance
  • Avoid cloning fallback condition flow snapshots (#​26203)
  • Avoid constructing discarded speculative diagnostics (#​26251)
  • Avoid path lookups when sorting same-file diagnostics (#​26257)
  • Cache is_never_satisfied results (#​26261)
  • Defer applying type context to simple standalone expressions (#​26252)
Core type checking
  • Infer types for names bound in match patterns (#​25940)
  • Preserve regular kind for callable instances (#​26253)
  • Simplify intersections of invariant generic types with Any specializations (#​26127)
Contributors

v0.0.52

Compare Source

Released on 2026-06-22.

Bug fixes
  • Avoid shadowing hints for attribute assignments (#​26164)
  • Fix dict.pop overloads to accept arbitrary keys with defaults (#​26241)
  • Normalize recursive TypeOf across multiple union arms (#​26230)
  • Normalize recursive TypeOf growth during cycle recovery (#​26163)
  • Normalize recursive protocol growth during cycle recovery (#​26246)
  • Preserve generic alias identity during cycle recovery (#​26166)
  • Recover from dynamic class code generator cycles (#​26167)
LSP server
  • Add a go-to destination for Divergent (#​26162)
  • Publish diagnostics for all open files after a single file is saved (#​25929)
  • Render Markdown for reStructuredText fields in docstrings on hover (#​25903)
CLI
  • Make error-on-warning the default (#​26157)
Diagnostics
  • Make rendering of fix diffs more concise (#​26161)
Performance
  • Avoid allocating disabled error context trees (#​26191)
  • Avoid lookup maps for small place tables (#​26177)
  • Avoid moving boxed use-def map builders (#​26211)
  • Avoid transient AST ID merge map (#​26185)
  • Batch signature typevar freshness scans (#​26196)
  • Box large semantic index builders (#​26186)
  • Build frozen definition maps directly (#​26188)
  • Compact use-def binding interner keys (#​26193)
  • Consume condition flow snapshots (#​26189)
  • Lazily allocate reachability caches (#​26194)
  • Remove redundant use-def state shrinking (#​26206)
  • Reuse the first union bindings buffer (#​26225)
  • Short-circuit terminal narrowing constraints (#​26215)
  • Solve simple constraint conjunctions directly (#​25879)
  • Store cycle-detector cache entries inline (#​26183)
  • Stream indexed AST construction (#​26184)
  • Suppress discarded TypedDict diagnostics (#​26250)
  • Use SmallVec for CycleDetector::seen (#​26181)
  • Use a SmallVec for seen type aliases (#​26187)
Core type checking
  • Raise limit for number of non-recursive union literals (#​25212)
  • Preserve gradual behavior for explicit Any subclasses (#​26034)
  • Preserve metaclasses when inheriting from intersection-typed bases (#​26145)
  • Recognize exhaustive matches over finite tuples (#​26132)
Contributors

v0.0.51

Compare Source

Released on 2026-06-18.

Bug fixes
  • Fix bound TypeVar default cycle recovery (#​26124)
  • Support Annotated[Any, ...] as a class base (#​26133)
LSP server
  • Suggest keyword-only arguments between variadic parameters (#​26134)
Core type checking
  • Avoid assuming classes with Any or Unknown bases are descriptors (#​26120)
  • Infer simpler types in complex lambda cycles (#​26137)
  • Preserve exact class objects during identity narrowing (#​26117)
Diagnostics
  • Preserve unpacking diagnostics for nested assignment targets (#​26121)
Performance
  • Compact indexed AST node storage (#​25998)
  • Discard dead DNF branches in intersection building (#​26144)
Documentation
  • Remove broken gradual guarantee link (#​3806)
Contributors

v0.0.50

Compare Source

Released on 2026-06-17.

Bug fixes
  • Avoid cross-TypeVar leakage in generic inference (#​26099)
  • Fix panic from oscillating collection-use constraints (#​26031)
  • Preserve type variables in fixed tuple aliases (#​26041)
  • Respect ParamSpec binding contexts (#​25993)
  • Show bare Final as a special form on hover (#​26029)
  • Support options in functional dataclass calls (#​25989)
LSP server
  • Add context-sensitive keyword completions (#​26036)
  • Fix wildcard import symbol range (#​25740)
  • Highlight decorated methods consistently (#​26003)
  • Preserve narrowing after qualified TYPE_CHECKING (#​26051)
  • Respect client's content format preference (#​25957)
  • Retain all diagnostic annotations in the server (#​26006)
  • Track unused-binding captures across nested scopes (#​25536)
Diagnostics
  • Fix override diagnostics for decorated methods (#​25671)
  • Improve duplicate-base diagnostics (#​26107)
  • Reject invalid dataclass flag combinations (#​25985)
  • Reject legacy TypeVars in PEP 695 class bases (#​25975)
  • Reject legacy TypeVars in PEP 695 functions (#​25979)
  • Respect @no_type_check in function validation (#​25994)
Performance
  • Avoid rebuilding unchanged specializations (#​25826)
  • Avoid redundant equality intersections (#​26057)
  • Avoid retaining empty use-def tables (#​26018)
  • Compact retained definition inference extras (#​25838)
  • Deduplicate retained scope inference types (#​25846)
  • Disable LRU tracking for one-shot checks (#​26106)
  • Fast path collection literals with exact type contexts (#​25878)
  • Flatten retained declaration states (#​25912)
  • Improve flow snapshot performance (#​26012)
  • Skip stub package checks in stub-free search paths (#​25963)
  • Speed up large-union narrowing (#​26048)
  • Speed up module resolution for projects with many search paths (#​25962)
  • Store cumulative binding end offsets (#​25913)
  • Use compact frozen representation for narrowing constraints (#​25990)
Core type checking
  • Annotate intersection and negation types using & and ~ (#​26035)
  • Diagnose zero-step slices on lists (#​25966)
  • Full-scope bidirectional inference for non-empty collection literals (#​25280)
  • Improve equality-based narrowing for ==, !=, and match (#​25788)
  • Infer precise values for standard-library enums (#​26103)
  • Make equality evaluation cycle-aware (#​26055)
  • Narrow equality across IntEnum classes (#​26079)
  • Narrow tuple expression match subjects (#​25874)
  • Preserve literal types for loop variables over literal collections (#​25083)
  • Preserve negative narrowing for starred sequence patterns (#​25927)
  • Preserve non-final types in Hashable unions (#​26039)
  • Support enum literals as tagged-union discriminants (#​25855)
  • Sync vendored typeshed stubs (#​25952). Typeshed diff
  • Sync vendored typeshed stubs (#​25997). Typeshed diff
  • Synthesize NamedTuple __match_args__ (#​25934)
  • Treat assigned enum hooks conservatively (#​25958)
  • Validate deprecated warning categories (#​26025)
Contributors

v0.0.49

Compare Source

Released on 2026-06-11.

Bug fixes
  • Fix site-package error when multiple versions of Python are installed in system path (#​25769)
Diagnostics
  • Point at attribute's binding site in `invalid-await diagnostic (#​24628)
  • Report redefined legacy TypeVars (#​25854)
Performance
  • Add dedicated TDDs for narrowing constraints (#​25834)
  • Avoid caching same-file raw signatures (#​25761)
  • Cache reachability evaluations during inference (#​25696)
  • Compact retained definition maps (#​25737)
  • Omit redundant definition inference owner keys (#​25837)
Core type checking
  • Preserve nominal type of enum.property instances (#​25849)
  • Restrict length narrowing to types that encode their length (#​25840)
  • Use peer context for collection literals (#​25848)
Contributors

v0.0.48

Compare Source

Released on 2026-06-10.

Performance
  • Avoid redundant constraint saturation work (#​25786)
Core type checking
Contributors

v0.0.47

Compare Source

Released on 2026-06-10.

Bug fixes
  • Avoid panicking on encountering a recursive NamedTuple that references a recursive NewType (#​25764)
  • Fix out-of-bound panic in notebooks involving suppression comments (#​25629)
Core type checking
Performance and memory-usage improvements
  • Avoid caching specialization-invariant known instances (#​25816)
  • Avoid resolving overload sets for ordinary functions (#​25817)
  • Store common definition inference results inline (#​25814)
  • Use Box<SystemPath> etc. in Files (#​25554)
Contributors

v0.0.46

Compare Source

Released on 2026-06-08.

Bug fixes
  • Avoid crash when hovering over Callable (#​25759)
Core type checking
  • Support Callable() in match statement class patterns (#​25541)
  • Improve support for enum.property (#​25681)
Contributors

v0.0.45

Compare Source

Released on 2026-06-08.

Bug fixes
  • Avoid treating dynamic class attributes as instance attributes (#​25678)
  • Fix divergence in recursive inference due to ambiguous overload (#​25548)
  • Preserve literal promotion for mixed bounds (#​25648)
Diagnostics
  • Add missing-type-argument lint rule (#​25617)
Core type checking
  • Add support for narrowing on tuple match cases (#​25493)
  • Check implicit open TypedDict extra items (#​25628)
  • Create fresh copies of generic callable typevars (#​24949)
  • Preserve deprecation on replacement functions (#​25688)
  • Preserve intersection receivers during attribute lookup (#​25626)
  • Preserve transparent callable decorators (#​25030)
Performance
  • Avoid AST load for callable description names (#​25728)
  • Avoid caching absent class decorators and type parameters (#​25689)
  • Avoid caching atomic type specializations (#​25663)
  • Avoid caching constant constraint relations (#​25656)
  • Avoid caching missing implicit attributes (#​25649)
  • Avoid caching trivial class-header queries (#​25692)
  • Avoid caching trivial member lookups (#​25661)
  • Bypass member lookup for module imports (#​25723)
  • Cache constraint implication checks (#​25714)
  • Cache upper-bound satisfiability (#​25710)
  • Compact retained function type signatures (#​25669)
  • Compact retained use-def bindings (#​25682)
  • Consolidate retained narrowing constraints (#​25660)
  • Construct trivial constraint sets directly (#​25659)
  • Resolve function descriptors directly (#​25675)
  • Share code-generator classification across specializations (#​25701)
  • Share parameter lists with Arc (#​25735)
  • Use same-file expression inference in reachability (#​25694)
Contributors

Configuration

📅 Schedule: (UTC)

  • Branch creation
    • At any time (no schedule defined)
  • 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 renovate Bot changed the title chore(deps): update dependency ty to v0.0.45 chore(deps): update dependency ty to v0.0.46 Jun 9, 2026
@renovate renovate Bot force-pushed the renovate/ty-0.x branch from fa1b98e to 78de269 Compare June 9, 2026 05:04
@renovate renovate Bot changed the title chore(deps): update dependency ty to v0.0.46 chore(deps): update dependency ty to v0.0.47 Jun 10, 2026
@renovate renovate Bot force-pushed the renovate/ty-0.x branch from 78de269 to f6e3883 Compare June 10, 2026 19:04
@renovate renovate Bot changed the title chore(deps): update dependency ty to v0.0.47 chore(deps): update dependency ty to v0.0.48 Jun 11, 2026
@renovate renovate Bot force-pushed the renovate/ty-0.x branch 2 times, most recently from a19880d to 4f65d89 Compare June 12, 2026 05:01
@renovate renovate Bot changed the title chore(deps): update dependency ty to v0.0.48 chore(deps): update dependency ty to v0.0.49 Jun 12, 2026
@renovate renovate Bot changed the title chore(deps): update dependency ty to v0.0.49 chore(deps): update dependency ty to v0.0.50 Jun 18, 2026
@renovate renovate Bot force-pushed the renovate/ty-0.x branch from 4f65d89 to c228bac Compare June 18, 2026 00:18
@renovate renovate Bot changed the title chore(deps): update dependency ty to v0.0.50 chore(deps): update dependency ty to v0.0.51 Jun 19, 2026
@renovate renovate Bot force-pushed the renovate/ty-0.x branch from c228bac to aab4ca7 Compare June 19, 2026 03:50
@renovate renovate Bot changed the title chore(deps): update dependency ty to v0.0.51 chore(deps): update dependency ty to v0.0.52 Jun 23, 2026
@renovate renovate Bot force-pushed the renovate/ty-0.x branch from aab4ca7 to 3e58db9 Compare June 23, 2026 06:06
@renovate renovate Bot changed the title chore(deps): update dependency ty to v0.0.52 Update dependency ty to v0.0.52 Jun 23, 2026
@renovate renovate Bot changed the title Update dependency ty to v0.0.52 Update dependency ty to v0.0.53 Jun 24, 2026
@renovate renovate Bot force-pushed the renovate/ty-0.x branch from 3e58db9 to ff2ef33 Compare June 24, 2026 10:53
@renovate renovate Bot changed the title Update dependency ty to v0.0.53 Update dependency ty to v0.0.54 Jun 25, 2026
@renovate renovate Bot force-pushed the renovate/ty-0.x branch from ff2ef33 to aafafb4 Compare June 25, 2026 18:11
@renovate renovate Bot changed the title Update dependency ty to v0.0.54 Update dependency ty to v0.0.55 Jun 27, 2026
@renovate renovate Bot force-pushed the renovate/ty-0.x branch from aafafb4 to 92488d2 Compare June 27, 2026 00:57
@renovate renovate Bot changed the title Update dependency ty to v0.0.55 Update dependency ty to v0.0.56 Jul 1, 2026
@renovate renovate Bot force-pushed the renovate/ty-0.x branch from 92488d2 to b10989a Compare July 1, 2026 22:44
@renovate renovate Bot force-pushed the renovate/ty-0.x branch from b10989a to 0d12f4f Compare July 8, 2026 14:50
@renovate renovate Bot changed the title Update dependency ty to v0.0.56 Update dependency ty to v0.0.57 Jul 8, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

0 participants