From f6732982c522dd579d378ab4820001d5ae107c43 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 9 Feb 2020 22:18:32 +0000
Subject: Automate conversion between envs

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

(limited to 'dhall/src/semantics/tck/env.rs')

diff --git a/dhall/src/semantics/tck/env.rs b/dhall/src/semantics/tck/env.rs
index 3b02074..ba7fb73 100644
--- a/dhall/src/semantics/tck/env.rs
+++ b/dhall/src/semantics/tck/env.rs
@@ -120,3 +120,9 @@ impl TyEnv {
         self.items.lookup_ty(&var)
     }
 }
+
+impl<'a> From<&'a TyEnv> for &'a NzEnv {
+    fn from(x: &'a TyEnv) -> Self {
+        x.as_nzenv()
+    }
+}
-- 
cgit v1.2.3