From 214a3c998a3358849495b54a60d46f626b131f0a Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 7 Apr 2020 12:07:59 +0100
Subject: Clippy

---
 dhall/src/semantics/tck/typecheck.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'dhall/src')

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,
-- 
cgit v1.2.3