Indicate that IntegerIndexedElementGet cannot fail.

tc39 · Sep 9, 2020 · 5262628 · 5262628
1 parent bd01d37
commit 5262628
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/spec.html b/spec.html
@@ -9161,7 +9161,7 @@ <h1>[[GetOwnProperty]] ( _P_ )</h1>
           1. If Type(_P_) is String, then
             1. Let _numericIndex_ be ! CanonicalNumericIndexString(_P_).
             1. If _numericIndex_ is not *undefined*, then
-              1. Let _value_ be ? IntegerIndexedElementGet(_O_, _numericIndex_).
+              1. Let _value_ be ! IntegerIndexedElementGet(_O_, _numericIndex_).
               1. If _value_ is *undefined*, return *undefined*.
               1. Return the PropertyDescriptor { [[Value]]: _value_, [[Writable]]: *true*, [[Enumerable]]: *true*, [[Configurable]]: *false* }.
           1. Return OrdinaryGetOwnProperty(_O_, _P_).
@@ -9215,7 +9215,7 @@ <h1>[[Get]] ( _P_, _Receiver_ )</h1>
           1. If Type(_P_) is String, then
             1. Let _numericIndex_ be ! CanonicalNumericIndexString(_P_).
             1. If _numericIndex_ is not *undefined*, then
-              1. Return ? IntegerIndexedElementGet(_O_, _numericIndex_).
+              1. Return ! IntegerIndexedElementGet(_O_, _numericIndex_).
           1. Return ? OrdinaryGet(_O_, _P_, _Receiver_).
         </emu-alg>
       </emu-clause>
@@ -34897,7 +34897,7 @@ <h1>%TypedArray%.prototype.filter ( _callbackfn_ [ , _thisArg_ ] )</h1>
           1. Let _captured_ be 0.
           1. Repeat, while _k_ &lt; _len_,
             1. Let _Pk_ be ! ToString(_k_).
-            1. Let _kValue_ be ? Get(_O_, _Pk_).
+            1. Let _kValue_ be ! Get(_O_, _Pk_).
             1. Let _selected_ be ! ToBoolean(? Call(_callbackfn_, _thisArg_, &laquo; _kValue_, _k_, _O_ &raquo;)).
             1. If _selected_ is *true*, then
               1. Append _kValue_ to the end of _kept_.
@@ -34993,7 +34993,7 @@ <h1>%TypedArray%.prototype.map ( _callbackfn_ [ , _thisArg_ ] )</h1>
           1. Let _k_ be 0.
           1. Repeat, while _k_ &lt; _len_,
             1. Let _Pk_ be ! ToString(_k_).
-            1. Let _kValue_ be ? Get(_O_, _Pk_).
+            1. Let _kValue_ be ! Get(_O_, _Pk_).
             1. Let _mappedValue_ be ? Call(_callbackfn_, _thisArg_, &laquo; _kValue_, _k_, _O_ &raquo;).
             1. Perform ? Set(_A_, _Pk_, _mappedValue_, *true*).
             1. Set _k_ to _k_ + 1.
@@ -35137,7 +35137,7 @@ <h1>%TypedArray%.prototype.slice ( _start_, _end_ )</h1>
             1. Let _n_ be 0.
             1. Repeat, while _k_ &lt; _final_,
               1. Let _Pk_ be ! ToString(_k_).
-              1. Let _kValue_ be ? Get(_O_, _Pk_).
+              1. Let _kValue_ be ! Get(_O_, _Pk_).
               1. Perform ! Set(_A_, ! ToString(_n_), _kValue_, *true*).
               1. Set _k_ to _k_ + 1.
               1. Set _n_ to _n_ + 1.