Require consistency in positionality of struct fields

1 files changed, 39 insertions, 0 deletions

diff --git a/src/test/java/org/shedlang/compiler/parser/ParserStructDefinitionTests.java b/src/test/java/org/shedlang/compiler/parser/ParserStructDefinitionTests.java
index 4f0698ad..f3538ecf 100644
--- a/src/test/java/org/shedlang/compiler/parser/ParserStructDefinitionTests.java
+++ b/src/test/java/org/shedlang/compiler/parser/ParserStructDefinitionTests.java
@@ -1,8 +1,10 @@
 package org.shedlang.compiler.parser;
 
 import org.junit.jupiter.api.Test;
+import org.shedlang.compiler.parser.errors.InconsistentStructFieldsError;
 import org.shedlang.compiler.types.Visibility;
 
+import static org.junit.jupiter.api.Assertions.assertThrows;
 import static org.shedlang.compiler.ast.untyped.UntypedNodeMatchers.*;
 import static org.shedlang.compiler.parser.ParserTesting.parseString;
 import static org.zwobble.precisely.AssertThat.assertThat;
@@ -76,6 +78,43 @@ public class ParserStructDefinitionTests {
     }
 
     @Test
+    public void canParseStructWithPositionalFieldFollowedByNonPositionalFields() {
+        var source = """
+            struct X(name: String, accessLevel: AccessLevel) {}
+        """;
+
+        var node = parseString(source, Parser::parseNamespaceStatement);
+
+        assertThat(
+            node,
+            isUntypedStructDefinitionNode()
+                .withName("X")
+                .withFields(isSequence(
+                    isUntypedStructFieldDefinitionNode()
+                        .withName("name")
+                        .withType(isUntypedTypeLevelReferenceNode("String"))
+                        .withIsPositional(true),
+                    isUntypedStructFieldDefinitionNode()
+                        .withName("accessLevel")
+                        .withType(isUntypedTypeLevelReferenceNode("AccessLevel"))
+                        .withIsPositional(true)
+                ))
+        );
+    }
+
+    @Test
+    public void mixOfPositionalAndNonPositionalFieldsIsNotAllowed() {
+        var source = """
+            struct X(name: String, .accessLevel: AccessLevel) {}
+        """;
+
+        assertThrows(
+            InconsistentStructFieldsError.class,
+            () -> parseString(source, Parser::parseNamespaceStatement)
+        );
+    }
+
+    @Test
     public void defaultVisibilityIsPrivate() {
         var source = "struct X() {}";