From 69267c7cc108a2f5db35c52a71afaa5be7be7355 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 18 Apr 2019 14:10:03 +0200
Subject: Avoid an unnecessary unroll()

---
 dhall_core/src/core.rs | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'dhall_core/src/core.rs')

diff --git a/dhall_core/src/core.rs b/dhall_core/src/core.rs
index 7f9fd14..158abe1 100644
--- a/dhall_core/src/core.rs
+++ b/dhall_core/src/core.rs
@@ -408,9 +408,8 @@ impl<N, E> Expr<N, E> {
     ) -> SubExpr<N, E2>
     where
         N: Clone,
-        E2: Clone,
     {
-        rc(self.visit(&mut visitor::SquashEmbedVisitor(f)))
+        trivial_result(self.visit(&mut visitor::SquashEmbedVisitor(f)))
     }
 }
 
@@ -427,7 +426,6 @@ impl<N: Clone> Expr<N, X> {
     }
     pub fn embed_absurd<E>(&self) -> Expr<N, E> {
         self.visit(&mut visitor::EmbedAbsurdVisitor)
-        // self.visit(&mut visitor::SquashEmbedVisitor(|e| match *e {}))
     }
 }
 
-- 
cgit v1.2.3