Editorial: update isDisjointFrom iteration to account for mutations

tc39 · Jan 11, 2023 · fa38363 · fa38363
1 parent 8d6c2e0
commit fa38363
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/spec/index.html b/spec/index.html
@@ -186,10 +186,15 @@ <h1>Set.prototype.isDisjointFrom ( _other_ )</h1>
     1. Let _otherRec_ be ? GetSetRecord(_other_).
     1. Let _thisSize_ be the number of elements in _O_.[[SetData]].
     1. If _thisSize_ ≤ _otherRec_.[[Size]], then
-      1. For each element _e_ of _O_.[[SetData]], do
+      1. Let _index_ be 0.
+      1. Repeat, while _index_ &lt; _thisSize_,
+        1. Let _e_ be _O_.[[SetData]][_index_].
+        1. Set _index_ to _index_ + 1.
         1. If _e_ is not ~empty~, then
           1. Let _inOther_ be ToBoolean(? Call(_otherRec_.[[Has]], _otherRec_.[[Set]], « _e_ »)).
           1. If _inOther_ is *true*, return *false*.
+          1. NOTE: The number of elements in _O_.[[SetData]] may have increased during execution of _otherRec_.[[Has]].
+          1. Set _thisSize_ to the number of elements of _O_.[[SetData]].
     1. Else,
       1. Let _keysIter_ be ? GetKeysIterator(_otherRec_).
       1. Let _next_ be *true*.