fix: referred resource inside a list fix (#717)

* fix: referred resource inside a list fix * fix: empty commit --------- Co-authored-by: Shubham Chaturvedi <[email protected]>
smithy-lang · Nov 13, 2024 · 801f0f3 · 801f0f3
1 parent 78b79ae
commit 801f0f3
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/...dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/codegen/SymbolVisitor.java b/...dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/codegen/SymbolVisitor.java
@@ -359,6 +359,16 @@ private Symbol createCollectionSymbol(CollectionShape shape) {
     Symbol reference = toSymbol(shape.getMember());
     // Shape name will be unused for symbols that represent a slice, but in the event it does we set the collection
     // shape's name to make debugging simpler.
+    if (
+      model
+        .expectShape(shape.getMember().getTarget())
+        .hasTrait(ReferenceTrait.class)
+    ) {
+      reference =
+        toSymbol(model.expectShape(shape.getMember().getTarget()))
+          .getProperty("Referred", Symbol.class)
+          .get();
+    }
     return symbolBuilderFor(shape, getDefaultShapeName(shape))
       .putProperty(SymbolUtils.GO_SLICE, true)
       .putProperty(