summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
Diffstat (limited to 'dhall')
-rw-r--r--dhall/src/phase/typecheck.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/phase/typecheck.rs b/dhall/src/phase/typecheck.rs
index 265a20e..ef8340d 100644
--- a/dhall/src/phase/typecheck.rs
+++ b/dhall/src/phase/typecheck.rs
@@ -768,8 +768,8 @@ fn type_last_layer(
ToMap(_, _) => unimplemented!("toMap"),
Projection(record, labels) => {
let record_type = record.get_type()?;
- let record_borrow = record_type.as_whnf();
- let kts = match &*record_borrow {
+ let record_type_borrow = record_type.as_whnf();
+ let kts = match &*record_type_borrow {
ValueF::RecordType(kts) => kts,
_ => return mkerr(ProjectionMustBeRecord),
};