Skip to content

Narrow types based on collection containment#20602

Open
hauntsaninja wants to merge 1 commit intopython:masterfrom
hauntsaninja:narrow4
Open

Narrow types based on collection containment#20602
hauntsaninja wants to merge 1 commit intopython:masterfrom
hauntsaninja:narrow4

Commits

Commits on Jan 16, 2026