Add new interface serializability tests (#12666)

changelog_begin changelog_end
digital-asset · Jan 31, 2022 · 366cd89 · 366cd89
1 parent 84cec38
commit 366cd89
Showing 1 changed file with 26 additions and 4 deletions.
diff --git a/...f/validation/src/test/scala/com/digitalasset/daml/lf/validation/SerializabilitySpec.scala b/...f/validation/src/test/scala/com/digitalasset/daml/lf/validation/SerializabilitySpec.scala
@@ -324,12 +324,32 @@ class SerializabilitySpec extends AnyWordSpec with TableDrivenPropertyChecks wit
 
       val pkg =
         p"""
-          module NegativeTestCase {
+          module NegativeTestCase1 {
+            interface (this: Token) = {
+              precondition False;
+              choice GetContractId (self) (u:Unit) : ContractId NegativeTestCase1:Token
+                , controllers Nil @Party
+                to upure @(ContractId NegativeTestCase1:Token) self;
+            } ;
+          }
+
+          module NegativeTestCase2 {
             interface (this: Token) = {
               precondition False;
-              choice GetContractId (self) (u:Unit) : ContractId NegativeTestCase:Token
+              choice ReturnContractId (self) (u:ContractId NegativeTestCase2:Token) : ContractId NegativeTestCase2:Token
                 , controllers Nil @Party
-                to upure @(ContractId NegativeTestCase:Token) self;
+                to upure @(ContractId NegativeTestCase2:Token) self;
+            } ;
+          }
+
+          module NegativeTestCase3 {
+            record @serializable TokenId = {unTokenId : ContractId NegativeTestCase3:Token};
+
+            interface (this: Token) = {
+              precondition False;
+              choice ReturnContractId (self) (u:NegativeTestCase3:TokenId) : ContractId NegativeTestCase3:Token
+                , controllers Nil @Party
+                to upure @(ContractId NegativeTestCase3:Token) self;
             } ;
           }
 
@@ -343,7 +363,9 @@ class SerializabilitySpec extends AnyWordSpec with TableDrivenPropertyChecks wit
           }
         """
 
-      check(pkg, "NegativeTestCase")
+      check(pkg, "NegativeTestCase1")
+      check(pkg, "NegativeTestCase2")
+      check(pkg, "NegativeTestCase3")
       an[EExpectedSerializableType] shouldBe thrownBy(check(pkg, "PositiveTestCase"))
     }
   }