ruff

[ty] prevent "tainted" unions in cycle normalization

#23563

Merged