Remove one more instance of duplicate typechecking

1 files changed, 1 insertions, 1 deletions

diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs
index 195628b..c8929fe 100644
--- a/dhall/src/typecheck.rs
+++ b/dhall/src/typecheck.rs
@@ -22,7 +22,7 @@ impl<'a> Resolved<'a> {
         ty: &Type,
     ) -> Result<Typed<'static>, TypeError> {
         let expr: SubExpr<_, _> = self.0.unnote();
-        let ty: SubExpr<_, _> = ty.as_normalized()?.as_expr().absurd();
+        let ty: SubExpr<_, _> = ty.clone().unnote().embed()?;
         type_of(dhall::subexpr!(expr: ty))
     }
     /// Pretends this expression has been typechecked. Use with care.