From 7cbbf80a035219bb31347492eba0b7226b2fdf0a Mon Sep 17 00:00:00 2001
From: Rhys Lloyd <krakow20@gmail.com>
Date: Mon, 18 May 2026 11:46:04 -0700
Subject: [PATCH] fix clippy lint

---
 card_game/src/lib.rs | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/card_game/src/lib.rs b/card_game/src/lib.rs
index 0091fcc..a047d30 100644
--- a/card_game/src/lib.rs
+++ b/card_game/src/lib.rs
@@ -410,9 +410,7 @@ where
 					continue 'outer;
 				}
 			}
-			let Some(last_state) = path.pop() else {
-				return None;
-			};
+			let last_state = path.pop()?;
 			state = last_state.state;
 			it = last_state.possible_instructions_iter;
 		}