From 9ac6740b21b87eca327b4e3acad5a6b647b3636c Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 22 Jan 2021 19:23:44 +0000
Subject: chore: fix clippy warnings

---
 dhall/src/operations/typecheck.rs | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'dhall/src/operations/typecheck.rs')

diff --git a/dhall/src/operations/typecheck.rs b/dhall/src/operations/typecheck.rs
index 9b19c84..e62a8cc 100644
--- a/dhall/src/operations/typecheck.rs
+++ b/dhall/src/operations/typecheck.rs
@@ -219,10 +219,8 @@ fn typecheck_merge<'cx>(
 
                     // TODO: this actually doesn't check anything yet
                     match closure.remove_binder() {
-                        Ok(v) => Type::new_infer_universe(env, v.clone())?,
-                        Err(()) => {
-                            return span_err("MergeReturnTypeIsDependent")
-                        }
+                        Some(v) => Type::new_infer_universe(env, v.clone())?,
+                        None => return span_err("MergeReturnTypeIsDependent"),
                     }
                 }
                 _ => {
-- 
cgit v1.2.3