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/typecheck.rs | |
| parent | 7d11bebc8f2047bb5a26f7f52ae0bd1f60bb6367 (diff) | |
clippy
Diffstat (limited to 'dhall/src/phase/typecheck.rs')
| -rw-r--r-- | dhall/src/phase/typecheck.rs | 2 |
1 files changed, 1 insertions, 1 deletions
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())); } |