Workaround for broken clippy lint.

Workaround for: rust-lang/rust-clippy#3071
vmware · Jun 13, 2021 · ea8eb2a · ea8eb2a
1 parent 4db9fb3
commit ea8eb2a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/rust/template/differential_datalog/src/replay.rs b/rust/template/differential_datalog/src/replay.rs
@@ -268,7 +268,7 @@ where
             self.inventory.get_index_name(iid).unwrap_or(&"???"),
             key
         )
-        .map(|_| vec![])
+        .and(Ok(vec![]))
         .map_err(|e| e.to_string())
     }
 
@@ -279,7 +279,7 @@ where
             "dump_index {};",
             self.inventory.get_index_name(iid).unwrap_or(&"???")
         )
-        .map(|_| vec![])
+        .and(Ok(vec![]))
         .map_err(|e| e.to_string())
     }