Thanks to visit codestin.com
Credit goes to github.com

Skip to content

[ty] Avoid double-inference for single starred positional TypedDict#25176

Merged
charliermarsh merged 1 commit into
mainfrom
charlie/d
May 15, 2026
Merged

[ty] Avoid double-inference for single starred positional TypedDict#25176
charliermarsh merged 1 commit into
mainfrom
charlie/d

Conversation

@charliermarsh

Copy link
Copy Markdown
Member

Summary

This was getting double-inferred: once in the pre-pass to infer positional arguments, and then later again in a variadic call-argument path.

Closes astral-sh/ty#3465.

@astral-sh-bot astral-sh-bot Bot added the ty Multi-file analysis & type inference label May 15, 2026
@charliermarsh charliermarsh added the bug Something isn't working label May 15, 2026
@astral-sh-bot

astral-sh-bot Bot commented May 15, 2026

Copy link
Copy Markdown

Typing conformance results

No changes detected ✅

Current numbers
The percentage of diagnostics emitted that were expected errors held steady at 89.36%. The percentage of expected errors that received a diagnostic held steady at 85.49%. The number of fully passing files held steady at 88/134.

@astral-sh-bot

astral-sh-bot Bot commented May 15, 2026

Copy link
Copy Markdown

Memory usage report

Memory usage unchanged ✅

@astral-sh-bot

astral-sh-bot Bot commented May 15, 2026

Copy link
Copy Markdown

ecosystem-analyzer results

No diagnostic changes detected ✅

Full report with detailed diff (timing results)

@charliermarsh charliermarsh marked this pull request as ready for review May 15, 2026 09:22
@charliermarsh charliermarsh merged commit e213025 into main May 15, 2026
59 checks passed
@charliermarsh charliermarsh deleted the charlie/d branch May 15, 2026 09:22
thejchap pushed a commit to thejchap/ruff that referenced this pull request May 23, 2026
…stral-sh#25176)

## Summary

This was getting double-inferred: once in the pre-pass to infer
positional arguments, and then later again in a variadic call-argument
path.

Closes astral-sh/ty#3465.
anishgirianish pushed a commit to anishgirianish/ruff that referenced this pull request May 28, 2026
…stral-sh#25176)

## Summary

This was getting double-inferred: once in the pre-pass to infer
positional arguments, and then later again in a variadic call-argument
path.

Closes astral-sh/ty#3465.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working ty Multi-file analysis & type inference

Projects

None yet

Development

Successfully merging this pull request may close these issues.

panic: assertion left == right failed in crates/ty_python_semantic/src/types/infer/builder.rs

2 participants