ruff

f2a42aa8 - [ty] Compact loop-header bindings