From 85dca9313efea9618dc4e3dd2e002ad4b5a02515 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 16 Apr 2019 15:53:22 +0200
Subject: Avoid some work duplication in typechecking

---
 dhall/src/expr.rs | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'dhall/src/expr.rs')

diff --git a/dhall/src/expr.rs b/dhall/src/expr.rs
index a84b41d..cda1d8d 100644
--- a/dhall/src/expr.rs
+++ b/dhall/src/expr.rs
@@ -116,9 +116,6 @@ impl<'a> Normalized<'a> {
     pub(crate) fn as_expr(&self) -> &SubExpr<X, X> {
         &self.0
     }
-    pub(crate) fn into_expr<T>(self) -> SubExpr<X, T> {
-        self.0.absurd()
-    }
     pub(crate) fn into_type(self) -> Type<'a> {
         crate::expr::Type(TypeInternal::Expr(Box::new(self)))
     }
-- 
cgit v1.2.3