Skip to content

Avoid unnecessary sum type expansion when narrowing - #22252

Merged
hauntsaninja merged 1 commit into
python:masterfrom
hauntsaninja:simply
Oct 21, 2026
Merged

Avoid unnecessary sum type expansion when narrowing#22252
hauntsaninja merged 1 commit into
python:masterfrom
hauntsaninja:simply

Commits

  1. Commits on Oct 21, 2026