diff options
-rw-r--r-- | dhall/src/phase/typecheck.rs | 4 |
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), }; |