From 85d946016d67515aa70fa01338512e3fd7df408e Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 2 Nov 2020 04:06:05 +0000
Subject: Typecheck `with` using mutation

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

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

diff --git a/dhall/src/semantics/tck/tir.rs b/dhall/src/semantics/tck/tir.rs
index ec15a1f..f34802c 100644
--- a/dhall/src/semantics/tck/tir.rs
+++ b/dhall/src/semantics/tck/tir.rs
@@ -117,6 +117,9 @@ impl<'hir> Tir<'hir> {
     pub fn ty(&self) -> &Type {
         &self.ty
     }
+    pub fn into_ty(self) -> Type {
+        self.ty
+    }
 
     pub fn to_hir(&self) -> Hir {
         self.as_hir().clone()
-- 
cgit v1.2.3