allow losing observers that are also signatories

digital-asset · Nov 14, 2024 · e41c1e2 · e41c1e2
1 parent 25c6530
commit e41c1e2
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/sdk/daml-lf/interpreter/src/main/scala/com/digitalasset/daml/lf/speedy/SBuiltin.scala b/sdk/daml-lf/interpreter/src/main/scala/com/digitalasset/daml/lf/speedy/SBuiltin.scala
@@ -2402,7 +2402,8 @@ private[lf] object SBuiltin {
 
     List(
       check(_.signatories, "signatories"),
-      check(_.observers, "observers"),
+      // This definition of observers allows observers to lose parties that are signatories
+      check(c => c.stakeholders -- c.signatories, "observers"),
       check(_.keyOpt.map(_.maintainers), "key maintainers"),
       check(_.keyOpt.map(_.globalKey.key), "key value"),
     ).flatten match {