fix(Dafny): Nested references set comprehension (#612)

smithy-lang · Sep 26, 2024 · 55c68f4 · 55c68f4
1 parent 336d788
commit 55c68f4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/...hy-dafny-codegen/src/main/java/software/amazon/polymorph/smithydafny/DafnyApiCodegen.java b/...hy-dafny-codegen/src/main/java/software/amazon/polymorph/smithydafny/DafnyApiCodegen.java
@@ -2219,7 +2219,7 @@ private TokenTree modifiesClauseForPathToReference(
               modifiesClause =
                 modifiesClause.append(
                   TokenTree.of(
-                    ", t%1$s <- %2$s".formatted(
+                    ", t%1$s <- %2$s | true\n".formatted(
                         intermediateTempVariableCounter,
                         accessPathToCurrentShape
                       )
@@ -2231,7 +2231,7 @@ private TokenTree modifiesClauseForPathToReference(
               modifiesClause =
                 modifiesClause.append(
                   TokenTree.of(
-                    ", t%1$s <- %2$s.Values".formatted(
+                    ", t%1$s <- %2$s.Values | true\n".formatted(
                         intermediateTempVariableCounter,
                         accessPathToCurrentShape
                       )