From 3b728aff86a086f71f013b77a715c33748d9f6a8 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 28 Oct 2020 21:45:42 +0000
Subject: Make type annotation optional to allow serializing SimpleValue

---
 serde_dhall/tests/serde.rs | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'serde_dhall/tests/serde.rs')

diff --git a/serde_dhall/tests/serde.rs b/serde_dhall/tests/serde.rs
index 39f2f79..ce25380 100644
--- a/serde_dhall/tests/serde.rs
+++ b/serde_dhall/tests/serde.rs
@@ -75,9 +75,13 @@ mod serde {
 
     #[test]
     fn optional() {
-        assert_serde::<Option<u64>>("None Natural", None);
-        assert_serde::<Option<String>>("None Text", None);
+        assert_serde("None Natural", None::<u64>);
+        assert_serde("None Text", None::<String>);
         assert_serde("Some 1", Some(1u64));
+        assert_eq!(
+            serialize(&None::<u64>).to_string().map_err(|e| e.to_string()),
+            Err("cannot serialize value without a type annotation: Optional(None)".to_string())
+        );
     }
 
     #[test]
-- 
cgit v1.2.3