I think you should use an array instead of declaring 10 variables (one variable by pin!). Then you will be able to iterate the array with a for loop.
// Configure all LED pins to digital outputs let mut leds = [ PinDriver::output(dp.pins.gpio1.downgrade_output()).unwrap(), PinDriver::output(dp.pins.gpio10.downgrade_output()).unwrap(), PinDriver::output(dp.pins.gpio19.downgrade_output()).unwrap(), PinDriver::output(dp.pins.gpio18.downgrade_output()).unwrap(), PinDriver::output(dp.pins.gpio4.downgrade_output()).unwrap(), PinDriver::output(dp.pins.gpio5.downgrade_output()).unwrap(), PinDriver::output(dp.pins.gpio6.downgrade_output()).unwrap(), PinDriver::output(dp.pins.gpio7.downgrade_output()).unwrap(), PinDriver::output(dp.pins.gpio8.downgrade_output()).unwrap(), PinDriver::output(dp.pins.gpio9.downgrade_output()).unwrap(), ];
// Put the following code in the loop for mut led in &mut leds { // LED i led.set_high().unwrap(); blinkdelay = button_pressed(&button, &blinkdelay); FreeRtos::delay_ms(blinkdelay); led.set_low().unwrap(); FreeRtos::delay_ms(100_u32); }
// I have tested the result on wokwi