allocate first

tc39 · Jan 9, 2025 · 72c1a4e · 72c1a4e
1 parent 10cc1b7
commit 72c1a4e
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/spec.html b/spec.html
@@ -38744,11 +38744,12 @@ <h1>
             1. Else,
               1. Let _matchIndexPair_ be *undefined*.
             1. Perform ! CreateDataPropertyOrThrow(_A_, ! ToString(𝔽(_i_)), _matchIndexPair_).
-            1. If _i_ > 0 and _groupNames_[_i_ - 1] is not *undefined*, then
-              1. Assert: _groups_ is not *undefined*.
+            1. If _i_ > 0, then
               1. Let _s_ be _groupNames_[_i_ - 1].
-              1. NOTE: If there are multiple groups named _s_, _groups_ may already have an _s_ property at this point. However, because _groups_ is an ordinary object whose properties are all writable data properties, the call to CreateDataPropertyOrThrow is nevertheless guaranteed to succeed.
-              1. Perform ! CreateDataPropertyOrThrow(_groups_, _s_, _matchIndexPair_).
+              1. If _s_ is not *undefined*, then
+                1. Assert: _groups_ is not *undefined*.
+                1. NOTE: If there are multiple groups named _s_, _groups_ may already have an _s_ property at this point. However, because _groups_ is an ordinary object whose properties are all writable data properties, the call to CreateDataPropertyOrThrow is nevertheless guaranteed to succeed.
+                1. Perform ! CreateDataPropertyOrThrow(_groups_, _s_, _matchIndexPair_).
           1. Return _A_.
         </emu-alg>
       </emu-clause>