diff options
author | Nadrieril | 2020-04-07 12:07:59 +0100 |
---|---|---|
committer | Nadrieril | 2020-04-07 12:07:59 +0100 |
commit | 214a3c998a3358849495b54a60d46f626b131f0a (patch) | |
tree | 95b417cb3349bd1896f661a3fce67531c52d5b7b /dhall/src/semantics | |
parent | 08079e08dd9ffaa6b77ea3ce70aa96da7eb1df26 (diff) |
Clippy
Diffstat (limited to 'dhall/src/semantics')
-rw-r--r-- | dhall/src/semantics/tck/typecheck.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dhall/src/semantics/tck/typecheck.rs b/dhall/src/semantics/tck/typecheck.rs index 45a3055..361e1b4 100644 --- a/dhall/src/semantics/tck/typecheck.rs +++ b/dhall/src/semantics/tck/typecheck.rs @@ -108,7 +108,7 @@ fn type_one_layer( ExprKind::RecordLit(kvs) => { // An empty record type has type Type let mut k = Const::Type; - for (_, v) in kvs { + for v in kvs.values() { // Check that the fields have a valid kind match v.ty().ty().as_const() { Some(c) => k = max(k, c), @@ -126,7 +126,7 @@ fn type_one_layer( ExprKind::RecordType(kts) => { // An empty record type has type Type let mut k = Const::Type; - for (_, t) in kts { + for t in kts.values() { // Check the type is a Const and compute final type match t.ty().as_const() { Some(c) => k = max(k, c), @@ -139,7 +139,7 @@ fn type_one_layer( ExprKind::UnionType(kts) => { // Check that all types are the same const let mut k = None; - for (_, t) in kts { + for t in kts.values() { if let Some(t) = t { let c = match t.ty().as_const() { Some(c) => c, |