Add RegExp readonly intersection tests

ballerina-platform · Dec 11, 2023 · dcf7afb · dcf7afb
1 parent 678ba28
commit dcf7afb
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 0 deletions.
diff --git a/...a-unit-test/src/test/resources/test-src/types/readonly/test_inherently_immutable_type.bal b/...a-unit-test/src/test/resources/test-src/types/readonly/test_inherently_immutable_type.bal
@@ -163,6 +163,12 @@ function testRuntimeIsTypeForInherentlyImmutableBasicTypes() {
     'xml:Text xmlText = xml `xml text`;
     any n = xmlText;
     assertTrue(n is readonly);
+
+    any reg1 = re `pattern`;
+    assertTrue(reg1 is readonly);
+
+    readonly reg2 = re `pattern`;
+    assertTrue(reg2 is readonly);
 }
 
 function testRuntimeIsTypeForNeverImmutableBasicTypes() {

diff --git a/tests/jballerina-unit-test/src/test/resources/test-src/types/regexp/regexp_type_test.bal b/tests/jballerina-unit-test/src/test/resources/test-src/types/regexp/regexp_type_test.bal
@@ -109,6 +109,19 @@ function testRegExpWithUserDefinedType() {
 type T1 string:RegExp & readonly;
 type T2 regexp:RegExp & readonly;
 
+type Foo record {|
+    int e;
+    readonly regexp:RegExp f;
+|};
+
+Foo & readonly rf = {e: 1, f: re `test`};
+
+function testRegExpReadonlyLocalVars() {
+    string:RegExp & readonly x1 = re `test`;
+    T1 & readonly x2 = re `test`;
+    (T2 & readonly) & string:RegExp x3 = re `test`;
+}
+
 const ASSERTION_ERROR_REASON = "AssertionError";
 
 function assertEquality(any|error expected, any|error actual) {