bakkot review

spec.html

@@ -14627,8 +14627,8 @@ <h1>[[PreventExtensions]] ( ): a normal completion containing a Boolean</h1>
           <dd>a TypedArray _O_</dd>
         </dl>
         <emu-alg>
-          1. NOTE: The extensibility-related invariants specified in <emu-xref href="#sec-invariants-of-the-essential-internal-methods"></emu-xref> do not allow this method to return *true* when _O_ can gain (or lose and then regain) integer index properties, which might occur with resizing of its underlying buffer.
-          1. If IsFixedLengthTypedArray(_O_) is *false*, return *false*.
+          1. NOTE: The extensibility-related invariants specified in <emu-xref href="#sec-invariants-of-the-essential-internal-methods"></emu-xref> do not allow this method to return *true* when _O_ can gain (or lose and then regain) properties, which might occur for properties with integer index names when its underlying buffer is resized.
+          1. If IsTypedArrayFixedLength(_O_) is *false*, return *false*.
           1. Return OrdinaryPreventExtensions(_O_).
         </emu-alg>
       </emu-clause>
@@ -14939,6 +14939,22 @@ <h1>
         </emu-alg>
       </emu-clause>
 
+      <emu-clause id="sec-istypedarrayfixedlength" type="abstract operation">
+        <h1>
+          IsTypedArrayFixedLength (
+            _O_: a TypedArray,
+          ): a Boolean
+        </h1>
+        <dl class="header">
+        </dl>
+        <emu-alg>
+          1. If _O_.[[ArrayLength]] is ~auto~, return *false*.
+          1. Let _buffer_ be _O_.[[ViewedArrayBuffer]].
+          1. If IsFixedLengthArrayBuffer(_buffer_) is *false* and IsSharedArrayBuffer(_buffer_) is *false*, return *false*.
+          1. Return *true*.
+        </emu-alg>
+      </emu-clause>
+
       <emu-clause id="sec-isvalidintegerindex" type="abstract operation">
         <h1>
           IsValidIntegerIndex (
@@ -41844,22 +41860,6 @@ <h1>
             1. Return ~unused~.
           </emu-alg>
         </emu-clause>
-
-        <emu-clause id="sec-isfixedlengthtypedarray" type="abstract operation">
-          <h1>
-            IsFixedLengthTypedArray (
-              _O_: a TypedArray,
-            ): a Boolean
-          </h1>
-          <dl class="header">
-          </dl>
-          <emu-alg>
-            1. If _O_.[[ArrayLength]] is ~auto~, return *false*.
-            1. Let _buffer_ be _O_.[[ViewedArrayBuffer]].
-            1. If IsFixedLengthArrayBuffer(_buffer_) is *false* and IsSharedArrayBuffer(_buffer_) is *false*, return *false*.
-            1. Return *true*.
-          </emu-alg>
-        </emu-clause>
       </emu-clause>
     </emu-clause>