"Consider using instrs.iter().enumerate().skip(index + 1)". rust-clippy's suggestions for equivalent code are so good they're magical.