Skip to content

Narrow tuple elements after any()/all() None checks - #5484

Closed
1-DARK wants to merge 2 commits into
meta:mainfrom
1-DARK:fix-5434-any-none-tuple-narrowing
Closed

Narrow tuple elements after any()/all() None checks#5484
1-DARK wants to merge 2 commits into
meta:mainfrom
1-DARK:fix-5434-any-none-tuple-narrowing

Address review: sound builtin detection and tuple member pruning

8bb758a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
select-prs
succeeded Nov 2, 2026 in 4s