ruff

60d43fbb - [ty] Remove loop-header precision caps