Search code, repositories, users, issues, pull requests...

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`

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`

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`

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`

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`

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`

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`

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`

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`

Released on 2026-06-10.

Performance

Avoid redundant constraint saturation work (#25786)

Core type checking

Add support for TypedDict extra_items (#25591)
Improve closed=True TypedDict precision (#25651)
Require subtyping for transitive constraint pivots (#25778)
Sync vendored typeshed stubs (#25828). Typeshed diff

Contributors

`v0.0.47`

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

Preserve overloads through callable protocol decorators (#25806)
Sync vendored typeshed stubs (#25779). Typeshed diff

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`

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`

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

`v0.0.44`

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

Show type alias value on hover (#25381)

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`

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`

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

Support tagged-union narrowing for nominal types (#24916)
Extend Generator assignability workaround to Python 3.13+ (#25472)
Sync vendored typeshed stubs (#25514). Typeshed diff

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`

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`

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`

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`

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 ([#2

✂ Note

PR body was truncated to here.

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.

semanticdiff-com · 2026-02-05T02:00:14Z

Review changes with

gitnotebooks · 2026-02-05T02:00:15Z

Review these changes at https://app.gitnotebooks.com/AlphaSphereDotAI/AlphaSphereDotAI.github.io/pull/48

deepsource-io · 2026-02-05T02:00:28Z

DeepSource Code Review

We reviewed changes in 8096ed9...8d758ac on this pull request. Below is the summary for the review, and you can see the individual issues we found as inline review comments.

See full review on DeepSource ↗

PR Report Card

Overall Grade	Security Reliability Complexity Hygiene

Code Review Summary

Analyzer	Status	Updated (UTC)	Details
Secrets		Jul 1, 2026 8:49p.m.	Review ↗
Python		Jul 1, 2026 8:49p.m.	Review ↗

Important

AI Review is run only on demand for your team. We're only showing results of static analysis review right now. To trigger AI Review, comment @deepsourcebot review on this thread.

mergify · 2026-02-05T02:02:47Z

🧪 CI Insights

Here's what we observed from your CI run for 3de4c63.

🟢 All jobs passed!

But CI Insights is watching 👀

sonarqubecloud · 2026-04-28T15:18:22Z

Quality Gate passed

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

sonarqubecloud · 2026-05-02T00:58:43Z

Quality Gate passed

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

socket-security · 2026-05-15T12:59:42Z

Review the following changes in direct dependencies. Learn more about Socket for GitHub.

Diff	Package	Supply Chain Security	Vulnerability	Quality	Maintenance	License
	ty@0.0.14 ⏵ 0.0.57	⁺¹

View full report

sonarqubecloud · 2026-05-27T22:35:43Z

Quality Gate passed

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

sonarqubecloud · 2026-06-01T20:29:22Z

Quality Gate passed

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

kilo-code-bot · 2026-06-04T01:54:57Z

Code Review Summary

Status: No Issues Found | Recommendation: Merge

Files Reviewed (1 file)

devenv.lock - Generated lock file with flake input simplifications

Previous Review Summaries (2 snapshots, latest commit dbacfaf)

Current summary above is authoritative. Previous snapshots are kept for context only.

Previous review (commit `dbacfaf`)

Status: No Issues Found | Recommendation: Merge

Files Reviewed (2 files)

pyproject.toml - Incremental update of ty dev dependency version specifier
uv.lock - Regenerated lock file for updated ty version

Previous review (commit `2aa7c55`)

Status: No Issues Found | Recommendation: Merge

Files Reviewed (3 files)

pyproject.toml - ty version bumped from >=0.0.14 to >=0.0.49
devenv.lock - Generated lock file with flake input simplifications
uv.lock - ty package updated to 0.0.49 with new wheel hashes

_{Reviewed by nex-n2-pro:free · 444,062 tokens}

sonarqubecloud · 2026-07-08T15:49:49Z

Quality Gate passed

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code