diff options
author | Nadrieril | 2019-08-27 22:58:20 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-27 22:58:57 +0200 |
commit | a981afc465f4279a7a4d6ce3ac5844e04846613b (patch) | |
tree | fb548f87f2c6e5be73d0fc44ca49f44b6de80dba /dhall/src/phase | |
parent | 7d11bebc8f2047bb5a26f7f52ae0bd1f60bb6367 (diff) |
clippy
Diffstat (limited to 'dhall/src/phase')
-rw-r--r-- | dhall/src/phase/mod.rs | 5 | ||||
-rw-r--r-- | dhall/src/phase/typecheck.rs | 2 |
2 files changed, 3 insertions, 4 deletions
diff --git a/dhall/src/phase/mod.rs b/dhall/src/phase/mod.rs index ed608df..bd8853a 100644 --- a/dhall/src/phase/mod.rs +++ b/dhall/src/phase/mod.rs @@ -221,9 +221,8 @@ impl std::hash::Hash for Normalized { where H: std::hash::Hasher, { - match self.encode() { - Ok(vec) => vec.hash(state), - Err(_) => {} + if let Ok(vec) = self.encode() { + vec.hash(state) } } } diff --git a/dhall/src/phase/typecheck.rs b/dhall/src/phase/typecheck.rs index ef2018a..ab6d882 100644 --- a/dhall/src/phase/typecheck.rs +++ b/dhall/src/phase/typecheck.rs @@ -408,7 +408,7 @@ fn type_last_layer( RetTypeOnly(t.clone()) } BoolIf(x, y, z) => { - if &*x.get_type()?.as_whnf() != &ValueF::from_builtin(Bool) { + if *x.get_type()?.as_whnf() != ValueF::from_builtin(Bool) { return mkerr(InvalidPredicate(x.clone())); } |