diff options
| author | Nadrieril | 2019-08-20 18:11:05 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-08-20 18:11:05 +0200 |
| commit | c157df5e66fb80ff6184cb3934e5b0883f0fdbf0 (patch) | |
| tree | ca4fdec980b0286c06cd917583f9ca49cc9087fd /dhall/src/tests.rs | |
| parent | 4f1f37cfc115510500e83d2dfbfa8ed7ddeae74a (diff) | |
No need for Cow in return type of get_type
Diffstat (limited to 'dhall/src/tests.rs')
| -rw-r--r-- | dhall/src/tests.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/tests.rs b/dhall/src/tests.rs index be4805d..8f16a12 100644 --- a/dhall/src/tests.rs +++ b/dhall/src/tests.rs @@ -185,7 +185,7 @@ pub fn run_test( } TypeInference => { let expr = expr.typecheck()?; - let ty = expr.get_type()?.into_owned().normalize(); + let ty = expr.get_type()?.normalize(); assert_eq_display!(ty, expected); } Normalization => { |