Add tests for member access on empty sequence types

ballerina-platform · Sep 26, 2024 · 2f37ab3 · 2f37ab3
1 parent f11a4b4
commit 2f37ab3
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 1 deletion.
diff --git a/...nit-test/src/test/java/org/ballerinalang/test/expressions/access/XmlMemberAccessTest.java b/...nit-test/src/test/java/org/ballerinalang/test/expressions/access/XmlMemberAccessTest.java
@@ -86,6 +86,7 @@ public void testNegativeCases() {
                 "found '(xml:Element|xml:Comment|xml<never>)'", 74, 32);
         validateError(negativeResult, i++, "incompatible types: expected '(xml:Comment|xml<never>)', " +
                 "found '(xml:Comment|xml:ProcessingInstruction|never|xml<never>)'", 77, 32);
+        validateError(negativeResult, i++, "incompatible types: expected 'xml:Element', found 'xml<never>'", 82, 21);
         Assert.assertEquals(negativeResult.getErrorCount(), i);
     }
 
@@ -104,7 +105,8 @@ public Object[][] xmlMemberAccessFunctions() {
                 { "testXmlMemberAccessOnXmlProcessingInstructionSequences" },
                 { "testXmlMemberAccessOnXmlSingletons" },
                 { "testXmlMemberAccessOnXmlUnions" },
-                { "testXmlMemberAccessOnXmlUnionSequences" }
+                { "testXmlMemberAccessOnXmlUnionSequences" },
+                { "testXmlMemberAccessOnEmptySequenceType" }
         };
     }
 }
diff --git a/...jballerina-unit-test/src/test/resources/test-src/expressions/access/xml_member_access.bal b/...jballerina-unit-test/src/test/resources/test-src/expressions/access/xml_member_access.bal
@@ -197,6 +197,12 @@ function testXmlMemberAccessOnXmlUnionSequences() {
     assertTrue(seq2[1] is xml<never>);
 }
 
+function testXmlMemberAccessOnEmptySequenceType() {
+    xml<never> seq = xml ``;
+    xml<never> val = seq[0];
+    assertEquality(xml ``, val);
+}
+
 function assertTrue(anydata actual) {
     assertEquality(true, actual);
 }

diff --git a/...a-unit-test/src/test/resources/test-src/expressions/access/xml_member_access_negative.bal b/...a-unit-test/src/test/resources/test-src/expressions/access/xml_member_access_negative.bal
@@ -76,3 +76,8 @@ function testXmlMemberAccessOnXmlUnionSequencesNegative() {
     xml<xml:Comment|xml:ProcessingInstruction|never> seq2 = xml `<?pi val?>`;
     xml:Comment|xml<never> _ = seq2[0];
 }
+
+function testXmlMemberAccessOnEmptySequenceTypeNegative() {
+    xml<never> seq = xml ``;
+    xml:Element _ = seq[0];
+}