Skip to content

chore(deps): update dependency ty to v0.0.44#279

Merged
onyb merged 1 commit into
masterfrom
renovate/ty-0-x
Jun 12, 2026
Merged

chore(deps): update dependency ty to v0.0.44#279
onyb merged 1 commit into
masterfrom
renovate/ty-0-x

Conversation

@renovate

@renovate renovate Bot commented May 27, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

This PR contains the following updates:

Package Change Age Confidence
ty (changelog) 0.0.33 → 0.0.44 age confidence

Release Notes

astral-sh/ty (ty)

v0.0.44

Compare Source

Released on 2026-06-04.

Bug fixes
  • Avoid treating sys.implementation.version like sys.version_info (#​25608)
  • Fix anchor point for override diagnostics (#​25621)
LSP server
Performance
  • Add caching for pattern match narrowing (#​25613)
  • Compact retained definition and expression identities (#​25606)
  • Reuse expression cache for TypedDict union inference (#​25643)
  • Upgrade Salsa (#​25545)
Core type checking
  • Enable narrowing for unions of TypedDict (#​25188)
Contributors

v0.0.43

Compare Source

Released on 2026-06-03.

Bug fixes
  • Don't inject Unknown from non-callable elements of intersection call (#​25538)
  • Don't needlessly disambiguate the same type alias (#​25563)
  • Fix variance inference for nested type aliases (#​25567)
  • Ignore rejected member annotations for synthesized bindings (#​25427)
  • Normalize dynamic class literals in cycle recovery (#​25558)
  • Register file roots for first-party search paths (#​25522)
  • Treat union-bound typevars like unions for possibly-missing-attribute (#​25561)
LSP server
  • Suppress importable completions that are already in scope (#​25479)
Performance
  • Avoid retaining duplicate function signatures (#​25609)
  • Compact retained definition inference results (#​25593)
  • Compact retained definition kinds (#​25610)
  • Compact retained definitions by node (#​25498)
  • Consolidate AST ID reverse lookup (#​25455)
  • Consolidate retained use-def definition maps (#​25499)
  • Omit redundant definitions-by-node entries (#​25501)
  • Reuse common protocol constraints for TypedDict unions (#​25598)
Diagnostics
  • Improve error context for not-iterable diagnostics (#​24944)
Core type checking
  • Detect disjointness due to incompatible generic specializations (#​24822)
  • Distinguish typing.Callable from collections.abc.Callable (#​24954)
  • Include nested global/nonlocal bindings in type inference (#​25387)
  • Optional lower/upper bounds in individual constraints (#​25435)
  • Preserve slice-bound types in subscript inference (#​25446)
  • Reject Self in type aliases (#​25529)
  • Require literal booleans for TypedDict flags (#​25594)
  • Support narrowing on lengths (#​25347)
  • Synthesize precise __len__ methods for literals (#​25600)
  • Use callable type context to implicitly specialize generic class (#​25471)
  • expand type aliases inside type context unions (#​25553)
Contributors

v0.0.42

Compare Source

Released on 2026-06-01.

Bug fixes
  • Fix narrowing of enum literal unions by member identity (#​25520)
  • Detect recursive expansion in constraint-set solving (#​25442)
Core type checking
Performance
  • Avoid redundant work for empty collection context (#​25527)
  • Deduplicate retained use-def place states (#​25450)
  • Compact retained semantic maps (#​25238)
Contributors

v0.0.41

Compare Source

Released on 2026-05-31.

Bug fixes
  • Avoid panic for deferred dataclass field annotations (#​25444)
  • Avoid panic from cycle in function decorator inference (#​25475)
  • Ignore rejected assignments for synthesized bindings (#​25340)
  • Infer bool for not applied to dynamic values (#​25445)
  • Use diagnostic message as tie-breaker when sorting (#​25424)
LSP server
  • Add call hierarchy support (#​25338)
  • Add function parentheses completion (#​25305)
  • Display docs for matching parameter when hovering over the name of an argument passed by keyword (#​25283)
  • Document completeFunctionParentheses editor setting (#​3513)
Diagnostics
  • Introduce opt-in missing-override-decorator rule (#​25111)
  • Improve diagnostics for syntax errors in forward annotations (#​25158)
  • Improve diagnostic for failed assignment to a Callable type (#​25308)
Core type checking
  • Narrow bound method overloads by receiver (#​24707)
  • Add disjointness for protocol method members (#​25315)
  • Avoid treating metaclass declarations as populated values (#​25432)
  • Use TypeForm in ty_extensions (#​25421)
Performance
  • Avoid storing redundant reachability indexes (#​25453)
  • Compact retained semantic arrays (#​25454)
  • Remove excess capacity from more Salsa cached collections (#​25411)
  • Use compact sets for more immutable fields (#​25476)
  • Use ThinVec for sparse kwargs bindings (#​25457)
Contributors

v0.0.40

Compare Source

Released on 2026-05-27.

Bug fixes
  • Accept complete enum-literal alias unions as enums (#​25341)
  • Fix diagnostics in ignored folders after adding new files (#​25236)
  • Show LiteralString when hovering over an inline of a literal string in an IDE (#​25373)
LSP server
  • Follow aliases when attempting to map a definition in a stub file to its "real" runtime definition (#​25328)
  • Treat Python notebook text documents as Python sources (#​25393)
  • Fix autocompletion for elements inside incomplete list comprehensions (#​25326)
Diagnostics
  • Add a subdiagnostic help message to invalid-generic-class diagnostics regarding incompatible variance (#​25385)
Core type checking
  • Ignore and reject annotations on non-name targets (#​25324)
  • Infer class attributes assigned by metaclass initialization (#​25342)
  • Reject inconsistent generic bases in "dynamic" classes created using type(...), types.new_type(...), etc. (#​25413)
  • Resolve enum names for all unions arms in Literal enum subsets (#​25379)
  • Support typing.TypeForm (#​25334)
  • Fix many issues in the generics solver by using constraint sets more widely to solve type variables (#​24540)
Contributors

v0.0.39

Compare Source

Released on 2026-05-22.

This release removes the Python 3.9 branches from our vendored standard library stubs. ty now only has "full" support for
Python 3.10 and later, but will still report version-specific syntax errors and other diagnostics when --python-version 3.9
is provided via the CLI.

Bug fixes
  • Avoid panicking on __new__ assignments to classes (#​25282)
  • Preserve declaration order when synthesizing class fields (#​25249)
  • Respect dict-compatible fallbacks in TypedDict unions (#​25242)
  • Retain recursively-defined state in binary expressions (#​25277)
LSP server
  • Add Quick Fix to remove redundant cast (#​25211)
  • Classify property declaration semantic tokens (#​25322)
  • Escape HTML syntax in docstring rendering (#​25247)
  • Prefer symbols from standard library over those of the same name from third party libraries for import completions. (#​25108)
  • Support type aliases in document symbols (#​25302)
Diagnostics
  • Add error context for extra callable parameters (#​25269)
Performance
  • Avoid exponential blow-up in fall-through narrowing (#​25278)
  • Speed up include filtering for projects with many literal include patterns (#​25266)
Core type checking
  • Allow enum member accesses on self (#​25077)
  • Emit a diagnostic for subclassing with order=True (#​21704)
  • Full-scope bidirectional inference for unconstrained container literals (#​25279)
  • Infer dict(TypedDict) as dict[str, object] (#​24852)
  • Refine Callable class-decorator fallback for unknown results (#​25250)
  • Reject incompatible explicit variance in generic base classes (#​25327)
  • Support multi-inference through type aliases (#​25245)
  • Sync vendored typeshed stubs (#​25271, #​25172)
Contributors

v0.0.38

Compare Source

Released on 2026-05-19.

Bug fixes
  • Fix panic in enum literal during cycle recovery (#​25237)
  • Fix panic from lazy NewType base expansion during cycle recovery (#​25234)
  • Fix class-body global lookup before class binding (#​25224)
  • Handle aliased dict fallbacks in TypedDict unions (#​25241)
  • Ignore _generate_next_value_ with custom construction hooks (#​25210)
LSP server
  • Fix find references for except handlers (#​25231)
  • Preserve delimiters when folding expressions (#​24999)
  • Use incremental file walk on .gitignore changes (#​25183)
Core type checking
  • Add first-class support for enum complements (#​24961)
  • Allow known non-field writes on frozen dataclass subclasses (#​25087)
  • Ignore generic specialization in layout compatibility checks (#​25178)
  • Preserve short-circuit bindings in all condition consumers (#​25160)
  • Support class decorators (#​25091)
  • Support custom _generate_next_value_ methods in enums (#​25196)
Contributors

v0.0.37

Compare Source

Released on 2026-05-16.

Bug fixes
  • Avoid unsound not in narrowing (#​25161)
  • Fix async iteration over narrowed typevars (#​25155)
  • Fix panic in double-inference for single starred positional TypedDict (#​25176)
  • Fix panic in disjoint base check (#​25187)
  • Fix panic in recursive binary inference (#​25189)
  • Fix panic in cyclic __new__ (#​25185)
  • Fix panic in reveal_protocol, reveal_mro, etc. with keyword arguments (#​25179)
  • Fix panic in imported overload definition (#​25168)
LSP server
  • Don't show argument inlay for case-insensitive matches or prefix/suffixes (#​25174)
  • Reduce CPU usage of the LSP when switching between large changesets (#​25142)
Core type checking
  • Avoid enforcing __new__ with custom metaclasses (#​25180)
  • Make overload public type reachability-aware (#​25171)
  • Only specialized types of generic class instances should influence variance (#​25124)
  • Preserve ParamSpec argument context through wrapper calls (#​24934)
  • Support partially specialized type context for collection literals (#​24506)
Contributors

v0.0.36

Compare Source

Released on 2026-05-14.

Bug fixes
  • Fix Go To-Definition for self-imported submodules (#​25106)
  • Fix ClassVar[Self] assignment checks for class objects (#​24657)
  • Fix attribute access on Callable-bounded TypeVars (#​24793)
  • Fix panic from TypedDict schema cycle with Self fields (#​25094)
  • Fix panic from accessing args[0] for static_assert (#​25149)
  • Fix panic from non-name walrus target access (#​25121)
  • Fix singleton classification for runtime typing objects (#​25099)
  • Guard self-referential TypeOf recursion in generic callables (#​24668)
  • Preserve lexical ParamSpec scope for returned Callable annotations (#​24909)
  • Preserve walrus bindings through negated short-circuit conditions (#​25163)
  • Run full iteration analysis on narrowed typevars (#​25143)
LSP server
  • Classify TypeVar semantic tokens as type parameters (#​24891)
  • Emit folding ranges for an entire block (#​25113)
  • Respect the includeDeclaration request parameter (#​24960)
  • Support TypedDict key completions in incomplete, anonymous contexts (#​25147)
Performance
  • Bound loop-header analysis for large loops (#​24972)
  • Convert inference hash maps to boxed slices on finish (#​25102)
Core type checking
  • Add support for sentinel values (PEP 661) (#​25082)
  • Hoist path assignment implication checks (#​25107)
  • Preserve TypedDict keys through dict unpacking (#​24523)
  • Treat custom enum __new__ values as dynamic (#​25136)
Contributors

v0.0.35

Compare Source

Released on 2026-05-10.

Bug fixes
  • Allow ParamSpec specialization through unioned generic classes (#​24826)
  • Fix cross-file find-references for keyword arguments (#​25043)
  • Fix comparison between negative and positive literal integers (#​25023)
  • Reject dataclass decorator parameters based on supported Python version (#​25029)
LSP server
  • Adjust start of block folding range to preserve visible header for character-precise LSP clients. (#​24917)
  • Emit folding ranges from the language server for multi-line block headers. (#​24978)
  • Skip global search for references if identifier is not externally visible (#​25033)
  • Speed-up find-references by using multithreading for cross-file searches (#​25042)
CLI
  • Include severity in JUnit diagnostics (#​25080)
Core type checking
  • Check non-generic overload implementations (#​24936)
  • Expand support for narrowing within walruses (#​24968)
  • Filter overloads based on return type for ParamSpec mapping (#​24769)
  • Improve support for recursive types (#​24773)
  • Include TypedDict type context when inferring mixed constructors (#​25039)
  • Include TypedDict type context when inferring string keys (#​25037)
  • Preserve NewType and TypeAliasType in implicit aliases (#​25072)
  • Provide type cntext for generator expression yields (#​25069)
  • Provide type context for boolean operands (#​25070)
  • Selectively promote a union of homogeneous fixed-length tuples to a single variadic tuple (#​24705)
  • Support narrowing on __class__ checks (#​24997)
  • Use more precise exception types when catching a union (#​25076)
Diagnostics
  • Include error context for overload consistency diagnostics (#​24950)
Performance
  • Cache results in desperate module resolution (#​24977)
  • Lazily initialize builder when transforming a union type (#​24929)
  • Project reachability constraints before narrowing (#​24982)
  • Skip parameter accumulation for object variadics (#​24976)
Contributors

v0.0.34

Compare Source

Released on 2026-05-01.

Bug fixes
  • Avoid panic in recursive protocol signature comparisons (#​24665)
  • Avoid panics for syntax error targets in invalid unpacking assignments (#​24663)
  • Fix unbounded type growth in nested-typevar substitutions (#​24803)
  • Prevent string annotation tokens from leaking across notebook cells (#​24919)
  • Support reference finding in stringified annotations (#​24956)
LSP server
  • Add hover support for PEP 695 type aliases (#​24926)
  • Offer string literal completion suggestions based on expected type (#​24555)
  • Support Go-to Definition, Go-To Declaration, and Find References for TypedDict and NamedTuple initializers (#​24897)
  • Support Annotated metadata in semantic tokens (#​24890)
Core type checking
  • Add support for functools.partial (#​24582)
  • Fix ParamSpec defaults and alias variance (#​24479)
  • Fix TypeIs assignability with gradual types (#​24928)
  • Infer dict(**TypedDict) in TypedDict context (#​24709)
  • Support infer_variance for legacy TypeVar (#​24930)
  • Support variance keywords in ParamSpec (#​24927)
  • Sync vendored typeshed stubs (#​24952). Typeshed diff
  • Unpack Union of TypedDict in various sites (#​24958)
Diagnostics
  • Add missing error context node for protocol to protocol assignability (#​24905)
  • Show a diagnostic for unsupported inferred Python version (#​24581)
Performance
  • Lazily build TypeVar accumulations (#​24782)
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 force-pushed the renovate/ty-0-x branch from a8eacef to b59a873 Compare May 30, 2026 01:47
@renovate renovate Bot changed the title chore(deps): update dependency ty to v0.0.38 chore(deps): update dependency ty to v0.0.39 May 30, 2026
@renovate renovate Bot force-pushed the renovate/ty-0-x branch from b59a873 to 854505e Compare June 3, 2026 19:06
@renovate renovate Bot changed the title chore(deps): update dependency ty to v0.0.39 chore(deps): update dependency ty to v0.0.40 Jun 3, 2026
@renovate renovate Bot force-pushed the renovate/ty-0-x branch from 854505e to 68a4794 Compare June 8, 2026 17:04
@renovate renovate Bot changed the title chore(deps): update dependency ty to v0.0.40 chore(deps): update dependency ty to v0.0.41 Jun 8, 2026
@renovate renovate Bot force-pushed the renovate/ty-0-x branch from 68a4794 to 4429f8b Compare June 8, 2026 22:29
@renovate renovate Bot changed the title chore(deps): update dependency ty to v0.0.41 chore(deps): update dependency ty to v0.0.42 Jun 8, 2026
@renovate renovate Bot force-pushed the renovate/ty-0-x branch from 4429f8b to abfbac0 Compare June 11, 2026 01:55
@renovate renovate Bot changed the title chore(deps): update dependency ty to v0.0.42 chore(deps): update dependency ty to v0.0.43 Jun 11, 2026
@renovate renovate Bot force-pushed the renovate/ty-0-x branch from abfbac0 to 65c4cef Compare June 12, 2026 05:59
@renovate renovate Bot changed the title chore(deps): update dependency ty to v0.0.43 chore(deps): update dependency ty to v0.0.44 Jun 12, 2026
@onyb onyb merged commit 374076b into master Jun 12, 2026
7 checks passed
@onyb onyb deleted the renovate/ty-0-x branch June 12, 2026 06:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@onyb onyb onyb approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@onyb