From 394dfc07ccaa6c23e21e4a3bfb0d6c59c5cbddd6 Mon Sep 17 00:00:00 2001
From: Chris Tsang <tyt2y7@gmail.com>
Date: Sat, 26 Jun 2021 23:02:38 +0800
Subject: [PATCH] Fix clippy warning

---
 src/executor/select.rs | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/src/executor/select.rs b/src/executor/select.rs
index 4876b457..33243c25 100644
--- a/src/executor/select.rs
+++ b/src/executor/select.rs
@@ -193,9 +193,11 @@ where
                     break;
                 }
             }
-            if same_l && r.is_some() {
-                last_r.push(r.unwrap());
-                continue;
+            if same_l {
+                if let Some(r) = r {
+                    last_r.push(r);
+                    continue;
+                }
             }
         }
         if r.is_some() {