Omit upcasts where possible (#178)

2025-12-15 21:35:39 +00:00 · 2024-07-01 17:45:36 +01:00
parent c590db2a65
commit 434c042510
4 changed files with 126 additions and 11 deletions
--- a/ConsumePlugin/SerializationAndDeserialization.fs
+++ b/ConsumePlugin/SerializationAndDeserialization.fs
@@ -57,3 +57,17 @@ type FirstDu =
    | EmptyCase
    | Case1 of data : string
    | Case2 of record : JsonRecordTypeWithBoth * i : int
+
+[<WoofWare.Myriad.Plugins.JsonParse true>]
+[<WoofWare.Myriad.Plugins.JsonSerialize true>]
+type HeaderAndValue =
+    {
+        Header : string
+        Value : string
+    }
+
+[<WoofWare.Myriad.Plugins.JsonSerialize true>]
+type Foo =
+    {
+        Message : HeaderAndValue option
+    }