From 8c5b3ff15f2125e9d731fc199e194e1993c36b37 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 7 Dec 2020 14:15:43 +0000
Subject: Thread cx everywhere else imports are read

---
 serde_dhall/src/options/de.rs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'serde_dhall/src/options/de.rs')

diff --git a/serde_dhall/src/options/de.rs b/serde_dhall/src/options/de.rs
index d57759a..fc8c6dc 100644
--- a/serde_dhall/src/options/de.rs
+++ b/serde_dhall/src/options/de.rs
@@ -250,6 +250,7 @@ impl<'a, A> Deserializer<'a, A> {
                 Some(ty) => resolved.typecheck_with(cx, &ty.to_hir())?,
             };
             Ok(Value::from_nir_and_ty(
+                cx,
                 typed.normalize(cx).as_nir(),
                 typed.ty().as_nir(),
             ))
-- 
cgit v1.2.3