[Automated] Update spec in master

spec/lang/master/index.html

@@ -10147,6 +10147,9 @@ <h3 id="lock_statement">7.22 Lock statement</h3>
 directly or indirectly in a call to that defined function.
 </p>
 <p>
+It is a compile-time error if a lock-stmt contains a sync-send-action or a receive-action.
+</p>
+<p>
 There are two cases where a variable is restricted to be used only within a
 lock statement:
 </p>
@@ -14483,6 +14486,7 @@ <h3 id="section_B.1">B.1 Summary of changes from 2023R1 to 2024R1</h3>
 <li>Isolated inference can infer <code>isolated</code> for an object constructor expression.</li>
 <li>A query-select-expr can construct a stream without explicitly specififying
 the <code>stream</code> keyword.</li>
+<li>It is no longer allowed for a lock statement to contain a sync-send-action or a receive-action.</li>
 </ol>
 </section>
 <section>

spec/lang/master/spec.xml

@@ -9627,6 +9627,9 @@ there is a function call lexically within the lock-stmt that might result
 directly or indirectly in a call to that defined function.
 </p>
 <p>
+It is a compile-time error if a lock-stmt contains a sync-send-action or a receive-action.
+</p>
+<p>
 There are two cases where a variable is restricted to be used only within a
 lock statement:
 </p>
@@ -13988,6 +13991,7 @@ public isolated function last(Type v, Type... vs) returns Type = external;
 <li>Isolated inference can infer <code>isolated</code> for an object constructor expression.</li>
 <li>A query-select-expr can construct a stream without explicitly specififying
 the <code>stream</code> keyword.</li>
+<li>It is no longer allowed for a lock statement to contain a sync-send-action or a receive-action.</li>
 </ol>
 </section>
 <section>