Clippy

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,