fix clippy lint

This commit is contained in:
2026-05-18 11:46:04 -07:00
parent a4546ba03c
commit 7cbbf80a03
+1 -3
View File
@@ -410,9 +410,7 @@ where
continue 'outer; continue 'outer;
} }
} }
let Some(last_state) = path.pop() else { let last_state = path.pop()?;
return None;
};
state = last_state.state; state = last_state.state;
it = last_state.possible_instructions_iter; it = last_state.possible_instructions_iter;
} }