1 files changed, 10 insertions, 2 deletions
diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs
index 00b8b47..c41bd89 100644
--- a/dhall/src/typecheck.rs
+++ b/dhall/src/typecheck.rs
@@ -223,7 +223,11 @@ where
             let kB = match tB {
                 Const(k) => k,
                 _ => {
-                    return Err(TypeError::new(&ctx2, e, InvalidOutputType(tB)));
+                    return Err(TypeError::new(
+                        &ctx2,
+                        e,
+                        InvalidOutputType(tB),
+                    ));
                 }
             };
 
@@ -477,7 +481,11 @@ where
             match s {
                 Const(Type) => {}
                 _ => {
-                    return Err(TypeError::new(ctx, e, InvalidOptionalType(*t)));
+                    return Err(TypeError::new(
+                        ctx,
+                        e,
+                        InvalidOptionalType(*t),
+                    ));
                 }
             }
             let n = xs.len();