Skip to content

[ty] Prevent tainted loop bindings in cycle normalization#24143

Merged
ibraheemdev merged 1 commit intomainfrom
ibraheem/loop-cycle-normalized
Mar 23, 2026
Merged

[ty] Prevent tainted loop bindings in cycle normalization#24143
ibraheemdev merged 1 commit intomainfrom
ibraheem/loop-cycle-normalized

Conversation

@ibraheemdev
Copy link
Copy Markdown
Member

Improves #24006 by ignoring loop bindings generated by the first few cycle iterations, similar to #23563.

@ibraheemdev ibraheemdev added the ty Multi-file analysis & type inference label Mar 23, 2026
@ibraheemdev ibraheemdev marked this pull request as ready for review March 23, 2026 18:22
@astral-sh-bot
Copy link
Copy Markdown

astral-sh-bot bot commented Mar 23, 2026

Typing conformance results

No changes detected ✅

Current numbers
The percentage of diagnostics emitted that were expected errors held steady at 85.38%. The percentage of expected errors that received a diagnostic held steady at 78.70%. The number of fully passing files held steady at 64/132.

@astral-sh-bot
Copy link
Copy Markdown

astral-sh-bot bot commented Mar 23, 2026

Memory usage report

Memory usage unchanged ✅

@ibraheemdev ibraheemdev assigned carljm and unassigned dcreager Mar 23, 2026
@astral-sh-bot
Copy link
Copy Markdown

astral-sh-bot bot commented Mar 23, 2026

ecosystem-analyzer results

No diagnostic changes detected ✅

Full report with detailed diff (timing results)

Copy link
Copy Markdown
Contributor

@carljm carljm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice!

@ibraheemdev ibraheemdev merged commit 386729e into main Mar 23, 2026
49 checks passed
@ibraheemdev ibraheemdev deleted the ibraheem/loop-cycle-normalized branch March 23, 2026 19:32
carljm added a commit that referenced this pull request Mar 25, 2026
* main: (36 commits)
  [ty] Reduce diagnostic range for `invalid-metaclass` (#24145)
  [ty] Simplify TypeVar assignability/subtyping logic (#24138)
  [ty] Prevent tainted loop bindings in cycle normalization (#24143)
  [ty] Add precisely-typed overloads for `TypedDict` update (#24101)
  [ty] Fix folding ranges of comments separated by statements (#24132)
  Bump ecosystem-analyzer pin (#24136)
  Bump ecosystem-analyzer pin (#24135)
  Simplify `NewType` handling in `relation.rs` (#24109)
  [ty] Add more tests for `NewType` subtyping (#24115)
  [ty] Add `NewType`s to the property tests (#24113)
  [ty] Prepare test files for unreachable code change (#24133)
  `analyze graph`: resolve string imports that reference attributes, not just modules (#24058)
  Update Artifact GitHub Actions dependencies (#24116)
  Update taiki-e/install-action action to v2.68.33 (#24130)
  Update taiki-e/install-action action to v2.68.32 (#24123)
  Update Rust crate serde_with to v3.18.0 (#24126)
  Update Swatinem/rust-cache action to v2.9.1 (#24127)
  Update Rust crate quick-junit to 0.6.0 (#24125)
  Update Rust crate clap to v4.6.0 (#24124)
  Update Rust crate tracing-subscriber to v0.3.23 (#24122)
  ...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ty Multi-file analysis & type inference

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants