Normative: close keys iterators in early exits (#85)

tc39 · Jan 11, 2023 · 29e3436 · 29e3436
1 parent 1c2d601
commit 29e3436
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/spec/index.html b/spec/index.html
@@ -157,7 +157,9 @@ <h1>Set.prototype.isSupersetOf ( _other_ )</h1>
       1. Set _next_ to ? IteratorStep(_keysIter_).
       1. If _next_ is not *false*, then
         1. Let _nextValue_ be ? IteratorValue(_next_).
-        1. If SetDataHas(_O_.[[SetData]], _nextValue_) is *false*, return *false*.
+        1. If SetDataHas(_O_.[[SetData]], _nextValue_) is *false*, then
+          1. Perform ? IteratorClose(_keysIter_, NormalCompletion(~unused~)).
+          1. Return *false*.
     1. Return *true*.
   </emu-alg>
 </emu-clause>
@@ -182,7 +184,9 @@ <h1>Set.prototype.isDisjointFrom ( _other_ )</h1>
         1. Set _next_ to ? IteratorStep(_keysIter_).
         1. If _next_ is not *false*, then
           1. Let _nextValue_ be ? IteratorValue(_next_).
-          1. If SetDataHas(_O_.[[SetData]], _nextValue_) is *true*, return *false*.
+          1. If SetDataHas(_O_.[[SetData]], _nextValue_) is *true*, then
+            1. Perform ? IteratorClose(_keysIter_, NormalCompletion(~unused~)).
+            1. Return *false*.
     1. Return *true*.
   </emu-alg>
 </emu-clause>