Considerably simplify subst, shift and typechecking

1 files changed, 1 insertions, 4 deletions

diff --git a/dhall/tests/common/mod.rs b/dhall/tests/common/mod.rs
index 4d64fea..0589a4a 100644
--- a/dhall/tests/common/mod.rs
+++ b/dhall/tests/common/mod.rs
@@ -100,10 +100,7 @@ pub fn run_test(base_path: &str, feature: Feature) {
             let expr = rc(read_dhall_file(&expr_file_path).unwrap());
             let expected = rc(read_dhall_file(&expected_file_path).unwrap());
 
-            assert_eq_display!(
-                normalize::<_, X, _>(expr),
-                normalize::<_, X, _>(expected)
-            );
+            assert_eq_display!(normalize(expr), normalize(expected));
         }
         TypecheckFailure => {
             let file_path = base_path + ".dhall";