Add a test case to reproduce an issue with default value sugar

smithy-model/src/test/java/software/amazon/smithy/model/loader/ModelAssemblerTest.java

@@ -49,6 +49,7 @@
 import org.junit.jupiter.api.Assumptions;
 import org.junit.jupiter.api.BeforeEach;
 import org.junit.jupiter.api.Test;
+import org.opentest4j.AssertionFailedError;
 import software.amazon.smithy.model.Model;
 import software.amazon.smithy.model.SourceLocation;
 import software.amazon.smithy.model.node.Node;
@@ -1136,4 +1137,23 @@ public void versionTransformsAreAlwaysApplied() {
         assertThat(fooBam.getAllTraits(), hasKey(BoxTrait.ID));
         assertThat(fooBam.expectTrait(DefaultTrait.class).toNode(), equalTo(Node.nullNode()));
     }
+
+    @Test
+    public void defaultValueSugaringDoesNotEatSubsequentDocumentation() {
+        ValidatedResult<Model> result = new ModelAssembler()
+                .addImport(getClass().getResource("missing-documentation.smithy"))
+                .assemble();
+
+        assertThat(result.getValidationEvents(), empty());
+
+        StructureShape testShape =
+                result.unwrap().expectShape(ShapeId.from("software.amazon.smithy.test#TestShape"),
+                        StructureShape.class);
+
+        MemberShape documentedString = testShape.getMember("bar")
+                .orElseThrow(AssertionFailedError::new);
+
+        assertEquals("bar", documentedString.expectTrait(DocumentationTrait.class).getValue());
+        assertEquals(2, documentedString.getAllTraits().size());
+    }
 }

smithy-model/src/test/resources/software/amazon/smithy/model/loader/missing-documentation.smithy

@@ -0,0 +1,14 @@
+$version: "2.0"
+
+namespace software.amazon.smithy.test
+
+structure TestShape {
+    /// foo
+    @required
+    foo: Boolean = false
+    /// bar
+    @required
+    bar: TestString
+}
+
+string TestString