IntegerIndexedElementSet should always indicate success. Ref: tc39/ecma262/pull/2210

test/built-ins/TypedArray/prototype/fill/BigInt/fill-values-non-numeric-throw.js

@@ -5,33 +5,43 @@ esid: sec-%typedarray%.prototype.fill
 description: >
   Fills all the elements with non numeric values values.
 info: |
-  22.2.3.8 %TypedArray%.prototype.fill (value [ , start [ , end ] ] )
+  %TypedArray%.prototype.fill ( value [ , start [ , end ] ] )
 
-  %TypedArray%.prototype.fill is a distinct function that implements the same
+  Let O be the this value.
-  algorithm as Array.prototype.fill as defined in 22.1.3.6 except that the this
+  Perform ? ValidateTypedArray(O).
-  object's [[ArrayLength]] internal slot is accessed in place of performing a
+  Let len be O.[[ArrayLength]].
-  [[Get]] of "length". The implementation of the algorithm may be optimized with
+  If O.[[ContentType]] is BigInt, set value to ? ToBigInt(value).
-  the knowledge that the this value is an object that has a fixed length and
+  Otherwise, set value to ? ToNumber(value).
-  whose integer indexed properties are not sparse. However, such optimization
+  Let relativeStart be ? ToIntegerOrInfinity(start).
-  must not introduce any observable changes in the specified behaviour of the
+  If relativeStart is -Infinity, let k be 0.
-  algorithm.
+  Else if relativeStart < 0, let k be max(len + relativeStart, 0).
+  Else, let k be min(relativeStart, len).
+  If end is undefined, let relativeEnd be len; else let relativeEnd be ? ToIntegerOrInfinity(end).
+  If relativeEnd is -Infinity, let final be 0.
+  Else if relativeEnd < 0, let final be max(len + relativeEnd, 0).
+  Else, let final be min(relativeEnd, len).
+  If IsDetachedBuffer(O.[[ViewedArrayBuffer]]) is true, throw a TypeError exception.
+  Repeat, while k < final,
+    Let Pk be ! ToString(F(k)).
+    Perform ! Set(O, Pk, value, true).
+    Set k to k + 1.
+  Return O.
 
-  ...
+  IntegerIndexedElementSet ( O, index, value )
 
-  22.1.3.6 Array.prototype.fill (value [ , start [ , end ] ] )
+  Assert: O is an Integer-Indexed exotic object.
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
-  ...
-  7. Repeat, while k < final
-    a. Let Pk be ! ToString(k).
-    b. Perform ? Set(O, Pk, value, true).
-  ...
-
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
-
-  ...
-  5. If arrayTypeName is "BigUint64Array" or "BigInt64Array",
-     let numValue be ? ToBigInt(value).
-  ...
 
 includes: [testBigIntTypedArray.js]
 features: [BigInt, TypedArray]

test/built-ins/TypedArray/prototype/fill/BigInt/fill-values-non-numeric.js

@@ -5,33 +5,42 @@ esid: sec-%typedarray%.prototype.fill
 description: >
   Fills all the elements with non numeric values values.
 info: |
-  22.2.3.8 %TypedArray%.prototype.fill (value [ , start [ , end ] ] )
+  %TypedArray%.prototype.fill ( value [ , start [ , end ] ] )
 
-  %TypedArray%.prototype.fill is a distinct function that implements the same
+  Let O be the this value.
-  algorithm as Array.prototype.fill as defined in 22.1.3.6 except that the this
+  Perform ? ValidateTypedArray(O).
-  object's [[ArrayLength]] internal slot is accessed in place of performing a
+  Let len be O.[[ArrayLength]].
-  [[Get]] of "length". The implementation of the algorithm may be optimized with
+  If O.[[ContentType]] is BigInt, set value to ? ToBigInt(value).
-  the knowledge that the this value is an object that has a fixed length and
+  Otherwise, set value to ? ToNumber(value).
-  whose integer indexed properties are not sparse. However, such optimization
+  Let relativeStart be ? ToIntegerOrInfinity(start).
-  must not introduce any observable changes in the specified behaviour of the
+  If relativeStart is -Infinity, let k be 0.
-  algorithm.
+  Else if relativeStart < 0, let k be max(len + relativeStart, 0).
+  Else, let k be min(relativeStart, len).
+  If end is undefined, let relativeEnd be len; else let relativeEnd be ? ToIntegerOrInfinity(end).
+  If relativeEnd is -Infinity, let final be 0.
+  Else if relativeEnd < 0, let final be max(len + relativeEnd, 0).
+  Else, let final be min(relativeEnd, len).
+  If IsDetachedBuffer(O.[[ViewedArrayBuffer]]) is true, throw a TypeError exception.
+  Repeat, while k < final,
+    Let Pk be ! ToString(F(k)).
+    Perform ! Set(O, Pk, value, true).
+    Set k to k + 1.
+  Return O.
 
-  ...
+  IntegerIndexedElementSet ( O, index, value )
 
-  22.1.3.6 Array.prototype.fill (value [ , start [ , end ] ] )
+  Assert: O is an Integer-Indexed exotic object.
-
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-  ...
+  Otherwise, let numValue be ? ToNumber(value).
-  7. Repeat, while k < final
+  Let buffer be O.[[ViewedArrayBuffer]].
-    a. Let Pk be ! ToString(k).
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
-    b. Perform ? Set(O, Pk, value, true).
+    Let offset be O.[[ByteOffset]].
-  ...
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
-
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
-
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
-  ...
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
-  5. If arrayTypeName is "BigUint64Array" or "BigInt64Array",
+  Return NormalCompletion(undefined).
-     let numValue be ? ToBigInt(value).
-  ...
 
 includes: [testBigIntTypedArray.js]
 features: [BigInt, TypedArray]

test/built-ins/TypedArray/prototype/fill/BigInt/fill-values-symbol-throws.js

@@ -5,32 +5,43 @@ esid: sec-%typedarray%.prototype.fill
 description: >
   Throws a TypeError if value is a Symbol
 info: |
-  22.2.3.8 %TypedArray%.prototype.fill (value [ , start [ , end ] ] )
+  %TypedArray%.prototype.fill ( value [ , start [ , end ] ] )
 
-  %TypedArray%.prototype.fill is a distinct function that implements the same
+  Let O be the this value.
-  algorithm as Array.prototype.fill as defined in 22.1.3.6 except that the this
+  Perform ? ValidateTypedArray(O).
-  object's [[ArrayLength]] internal slot is accessed in place of performing a
+  Let len be O.[[ArrayLength]].
-  [[Get]] of "length". The implementation of the algorithm may be optimized with
+  If O.[[ContentType]] is BigInt, set value to ? ToBigInt(value).
-  the knowledge that the this value is an object that has a fixed length and
+  Otherwise, set value to ? ToNumber(value).
-  whose integer indexed properties are not sparse. However, such optimization
+  Let relativeStart be ? ToIntegerOrInfinity(start).
-  must not introduce any observable changes in the specified behaviour of the
+  If relativeStart is -Infinity, let k be 0.
-  algorithm.
+  Else if relativeStart < 0, let k be max(len + relativeStart, 0).
+  Else, let k be min(relativeStart, len).
+  If end is undefined, let relativeEnd be len; else let relativeEnd be ? ToIntegerOrInfinity(end).
+  If relativeEnd is -Infinity, let final be 0.
+  Else if relativeEnd < 0, let final be max(len + relativeEnd, 0).
+  Else, let final be min(relativeEnd, len).
+  If IsDetachedBuffer(O.[[ViewedArrayBuffer]]) is true, throw a TypeError exception.
+  Repeat, while k < final,
+    Let Pk be ! ToString(F(k)).
+    Perform ! Set(O, Pk, value, true).
+    Set k to k + 1.
+  Return O.
 
-  ...
+  IntegerIndexedElementSet ( O, index, value )
 
-  22.1.3.6 Array.prototype.fill (value [ , start [ , end ] ] )
+  Assert: O is an Integer-Indexed exotic object.
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
-  ...
-  7. Repeat, while k < final
-    a. Let Pk be ! ToString(k).
-    b. Perform ? Set(O, Pk, value, true).
-  ...
-
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
-
-  ...
-  3. Let numValue be ? ToNumber(value).
-  ...
 
 includes: [testBigIntTypedArray.js]
 features: [BigInt, Symbol, TypedArray]

test/built-ins/TypedArray/prototype/fill/BigInt/return-abrupt-from-set-value.js

@@ -5,32 +5,43 @@ esid: sec-%typedarray%.prototype.fill
 description: >
   Returns abrupt from value set
 info: |
-  22.2.3.8 %TypedArray%.prototype.fill (value [ , start [ , end ] ] )
+  %TypedArray%.prototype.fill ( value [ , start [ , end ] ] )
 
-  %TypedArray%.prototype.fill is a distinct function that implements the same
+  Let O be the this value.
-  algorithm as Array.prototype.fill as defined in 22.1.3.6 except that the this
+  Perform ? ValidateTypedArray(O).
-  object's [[ArrayLength]] internal slot is accessed in place of performing a
+  Let len be O.[[ArrayLength]].
-  [[Get]] of "length". The implementation of the algorithm may be optimized with
+  If O.[[ContentType]] is BigInt, set value to ? ToBigInt(value).
-  the knowledge that the this value is an object that has a fixed length and
+  Otherwise, set value to ? ToNumber(value).
-  whose integer indexed properties are not sparse. However, such optimization
+  Let relativeStart be ? ToIntegerOrInfinity(start).
-  must not introduce any observable changes in the specified behaviour of the
+  If relativeStart is -Infinity, let k be 0.
-  algorithm.
+  Else if relativeStart < 0, let k be max(len + relativeStart, 0).
+  Else, let k be min(relativeStart, len).
+  If end is undefined, let relativeEnd be len; else let relativeEnd be ? ToIntegerOrInfinity(end).
+  If relativeEnd is -Infinity, let final be 0.
+  Else if relativeEnd < 0, let final be max(len + relativeEnd, 0).
+  Else, let final be min(relativeEnd, len).
+  If IsDetachedBuffer(O.[[ViewedArrayBuffer]]) is true, throw a TypeError exception.
+  Repeat, while k < final,
+    Let Pk be ! ToString(F(k)).
+    Perform ! Set(O, Pk, value, true).
+    Set k to k + 1.
+  Return O.
 
-  ...
+  IntegerIndexedElementSet ( O, index, value )
 
-  22.1.3.6 Array.prototype.fill (value [ , start [ , end ] ] )
+  Assert: O is an Integer-Indexed exotic object.
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
-  ...
-  7. Repeat, while k < final
-    a. Let Pk be ! ToString(k).
-    b. Perform ? Set(O, Pk, value, true).
-  ...
-
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
-
-  ...
-  3. Let numValue be ? ToNumber(value).
-  ...
 
 includes: [testBigIntTypedArray.js]
 features: [BigInt, TypedArray]

test/built-ins/TypedArray/prototype/fill/fill-values-non-numeric.js

@@ -5,32 +5,43 @@ esid: sec-%typedarray%.prototype.fill
 description: >
   Fills all the elements with non numeric values values.
 info: |
-  22.2.3.8 %TypedArray%.prototype.fill (value [ , start [ , end ] ] )
+  %TypedArray%.prototype.fill ( value [ , start [ , end ] ] )
 
-  %TypedArray%.prototype.fill is a distinct function that implements the same
+  Let O be the this value.
-  algorithm as Array.prototype.fill as defined in 22.1.3.6 except that the this
+  Perform ? ValidateTypedArray(O).
-  object's [[ArrayLength]] internal slot is accessed in place of performing a
+  Let len be O.[[ArrayLength]].
-  [[Get]] of "length". The implementation of the algorithm may be optimized with
+  If O.[[ContentType]] is BigInt, set value to ? ToBigInt(value).
-  the knowledge that the this value is an object that has a fixed length and
+  Otherwise, set value to ? ToNumber(value).
-  whose integer indexed properties are not sparse. However, such optimization
+  Let relativeStart be ? ToIntegerOrInfinity(start).
-  must not introduce any observable changes in the specified behaviour of the
+  If relativeStart is -Infinity, let k be 0.
-  algorithm.
+  Else if relativeStart < 0, let k be max(len + relativeStart, 0).
+  Else, let k be min(relativeStart, len).
+  If end is undefined, let relativeEnd be len; else let relativeEnd be ? ToIntegerOrInfinity(end).
+  If relativeEnd is -Infinity, let final be 0.
+  Else if relativeEnd < 0, let final be max(len + relativeEnd, 0).
+  Else, let final be min(relativeEnd, len).
+  If IsDetachedBuffer(O.[[ViewedArrayBuffer]]) is true, throw a TypeError exception.
+  Repeat, while k < final,
+    Let Pk be ! ToString(F(k)).
+    Perform ! Set(O, Pk, value, true).
+    Set k to k + 1.
+  Return O.
 
-  ...
+  IntegerIndexedElementSet ( O, index, value )
 
-  22.1.3.6 Array.prototype.fill (value [ , start [ , end ] ] )
+  Assert: O is an Integer-Indexed exotic object.
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
-  ...
-  7. Repeat, while k < final
-    a. Let Pk be ! ToString(k).
-    b. Perform ? Set(O, Pk, value, true).
-  ...
-
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
-
-  ...
-  3. Let numValue be ? ToNumber(value).
-  ...
 
 includes: [testTypedArray.js]
 features: [TypedArray]

test/built-ins/TypedArray/prototype/fill/fill-values-symbol-throws.js

@@ -5,32 +5,43 @@ esid: sec-%typedarray%.prototype.fill
 description: >
   Throws a TypeError if value is a Symbol
 info: |
-  22.2.3.8 %TypedArray%.prototype.fill (value [ , start [ , end ] ] )
+  %TypedArray%.prototype.fill ( value [ , start [ , end ] ] )
 
-  %TypedArray%.prototype.fill is a distinct function that implements the same
+  Let O be the this value.
-  algorithm as Array.prototype.fill as defined in 22.1.3.6 except that the this
+  Perform ? ValidateTypedArray(O).
-  object's [[ArrayLength]] internal slot is accessed in place of performing a
+  Let len be O.[[ArrayLength]].
-  [[Get]] of "length". The implementation of the algorithm may be optimized with
+  If O.[[ContentType]] is BigInt, set value to ? ToBigInt(value).
-  the knowledge that the this value is an object that has a fixed length and
+  Otherwise, set value to ? ToNumber(value).
-  whose integer indexed properties are not sparse. However, such optimization
+  Let relativeStart be ? ToIntegerOrInfinity(start).
-  must not introduce any observable changes in the specified behaviour of the
+  If relativeStart is -Infinity, let k be 0.
-  algorithm.
+  Else if relativeStart < 0, let k be max(len + relativeStart, 0).
+  Else, let k be min(relativeStart, len).
+  If end is undefined, let relativeEnd be len; else let relativeEnd be ? ToIntegerOrInfinity(end).
+  If relativeEnd is -Infinity, let final be 0.
+  Else if relativeEnd < 0, let final be max(len + relativeEnd, 0).
+  Else, let final be min(relativeEnd, len).
+  If IsDetachedBuffer(O.[[ViewedArrayBuffer]]) is true, throw a TypeError exception.
+  Repeat, while k < final,
+    Let Pk be ! ToString(F(k)).
+    Perform ! Set(O, Pk, value, true).
+    Set k to k + 1.
+  Return O.
 
-  ...
+  IntegerIndexedElementSet ( O, index, value )
 
-  22.1.3.6 Array.prototype.fill (value [ , start [ , end ] ] )
+  Assert: O is an Integer-Indexed exotic object.
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
-  ...
-  7. Repeat, while k < final
-    a. Let Pk be ! ToString(k).
-    b. Perform ? Set(O, Pk, value, true).
-  ...
-
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
-
-  ...
-  3. Let numValue be ? ToNumber(value).
-  ...
 
 includes: [testTypedArray.js]
 features: [Symbol, TypedArray]

test/built-ins/TypedArray/prototype/fill/return-abrupt-from-set-value.js

@@ -5,32 +5,43 @@ esid: sec-%typedarray%.prototype.fill
 description: >
   Returns abrupt from value set
 info: |
-  22.2.3.8 %TypedArray%.prototype.fill (value [ , start [ , end ] ] )
+  %TypedArray%.prototype.fill ( value [ , start [ , end ] ] )
 
-  %TypedArray%.prototype.fill is a distinct function that implements the same
+  Let O be the this value.
-  algorithm as Array.prototype.fill as defined in 22.1.3.6 except that the this
+  Perform ? ValidateTypedArray(O).
-  object's [[ArrayLength]] internal slot is accessed in place of performing a
+  Let len be O.[[ArrayLength]].
-  [[Get]] of "length". The implementation of the algorithm may be optimized with
+  If O.[[ContentType]] is BigInt, set value to ? ToBigInt(value).
-  the knowledge that the this value is an object that has a fixed length and
+  Otherwise, set value to ? ToNumber(value).
-  whose integer indexed properties are not sparse. However, such optimization
+  Let relativeStart be ? ToIntegerOrInfinity(start).
-  must not introduce any observable changes in the specified behaviour of the
+  If relativeStart is -Infinity, let k be 0.
-  algorithm.
+  Else if relativeStart < 0, let k be max(len + relativeStart, 0).
+  Else, let k be min(relativeStart, len).
+  If end is undefined, let relativeEnd be len; else let relativeEnd be ? ToIntegerOrInfinity(end).
+  If relativeEnd is -Infinity, let final be 0.
+  Else if relativeEnd < 0, let final be max(len + relativeEnd, 0).
+  Else, let final be min(relativeEnd, len).
+  If IsDetachedBuffer(O.[[ViewedArrayBuffer]]) is true, throw a TypeError exception.
+  Repeat, while k < final,
+    Let Pk be ! ToString(F(k)).
+    Perform ! Set(O, Pk, value, true).
+    Set k to k + 1.
+  Return O.
 
-  ...
+  IntegerIndexedElementSet ( O, index, value )
 
-  22.1.3.6 Array.prototype.fill (value [ , start [ , end ] ] )
+  Assert: O is an Integer-Indexed exotic object.
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
-  ...
-  7. Repeat, while k < final
-    a. Let Pk be ! ToString(k).
-    b. Perform ? Set(O, Pk, value, true).
-  ...
-
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
-
-  ...
-  3. Let numValue be ? ToNumber(value).
-  ...
 
 includes: [testTypedArray.js]
 features: [TypedArray]

test/built-ins/TypedArray/prototype/includes/detached-buffer-tointeger.js

@@ -2,30 +2,36 @@
 // This code is governed by the BSD license found in the LICENSE file.
 /*---
 esid: sec-%typedarray%.prototype.includes
-description: Throws a TypeError if this has a detached buffer after index coercion
+description: >
+  Does not throw a TypeError if this has a detached buffer after index coercion,
+  because ValidateTypedArray has already successfully completed.
+
 info: |
   22.2.3.14 %TypedArray%.prototype.includes ( searchElement [ , fromIndex ] )
 
-  This function is not generic. ValidateTypedArray is applied to the this value
+  The interpretation and use of the arguments of %TypedArray%.prototype.includes are the same as for Array.prototype.includes as defined in 22.1.3.13.
-  prior to evaluating the algorithm. If its result is an abrupt completion that
-  exception is thrown instead of evaluating the algorithm.
 
-  22.2.3.5.1 Runtime Semantics: ValidateTypedArray ( O )
+  When the includes method is called with one or two arguments, the following steps are taken:
 
+  Let O be the this value.
+  Perform ? ValidateTypedArray(O).
+  Let len be O.[[ArrayLength]].
+  If len is 0, return false.
+  Let n be ? ToIntegerOrInfinity(fromIndex).
   ...
-  5. If IsDetachedBuffer(buffer) is true, throw a TypeError exception.
+
-  ...
 includes: [testTypedArray.js, detachArrayBuffer.js]
-features: [TypedArray]
+features: [align-detached-buffer-semantics-with-web-reality, TypedArray]
 ---*/
 
 testWithTypedArrayConstructors(function(TA) {
-  var sample = new TA(10);
+  const sample = new TA(10);
-  function detachAndReturnIndex(){
+  let isDetached = false;
+  function valueOf(){
     $DETACHBUFFER(sample.buffer);
+    isDetached = true;
     return 0;
   }
-  assert.throws(TypeError, function() {
+  assert.sameValue(sample.includes(0, {valueOf}), false);
-    sample.includes(0, {valueOf :detachAndReturnIndex});
+  assert.sameValue(isDetached, true);
-  });
 });

test/built-ins/TypedArray/prototype/map/return-new-typedarray-conversion-operation-consistent-nan.js

@@ -12,11 +12,20 @@ info: |
     d. Perform ? Set(A, Pk, mappedValue, true).
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
-  15. Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue).
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-  ...
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
   24.1.1.6 SetValueInBuffer ( arrayBuffer, byteIndex, type, value [ ,
   isLittleEndian ] )

test/built-ins/TypedArray/prototype/map/return-new-typedarray-conversion-operation.js

@@ -14,11 +14,20 @@ info: |
     d. Perform ? Set(A, Pk, mappedValue, true).
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
-  15. Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue).
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-  ...
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
   24.1.1.6 SetValueInBuffer ( arrayBuffer, byteIndex, type, value [ ,
   isLittleEndian ] )

test/built-ins/TypedArrayConstructors/ctors-bigint/object-arg/bigint-tobigint64.js

@@ -22,17 +22,24 @@ info: |
   2. If Type(P) is String and if SameValue(O, Receiver) is true, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
   IntegerIndexedElementSet ( O, index, value )
-  ...
+
-  5. If arrayTypeName is "BigUint64Array" or "BigInt64Array",
+  Assert: O is an Integer-Indexed exotic object.
-     let numValue be ? ToBigInt(value).
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-  ...
+  Otherwise, let numValue be ? ToNumber(value).
-  15. Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, "Unordered").
+  Let buffer be O.[[ViewedArrayBuffer]].
-      // NOTE: type will be set to BigInt64 in this test
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
-  16. Return true.
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
   SetValueInBuffer ( arrayBuffer, byteIndex, type, value, isTypedArray, order [ , isLittleEndian ] )
   ...

test/built-ins/TypedArrayConstructors/ctors-bigint/object-arg/bigint-tobiguint64.js

@@ -22,17 +22,24 @@ info: |
   2. If Type(P) is String and if SameValue(O, Receiver) is true, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
   IntegerIndexedElementSet ( O, index, value )
-  ...
+
-  5. If arrayTypeName is "BigUint64Array" or "BigInt64Array",
+  Assert: O is an Integer-Indexed exotic object.
-     let numValue be ? ToBigInt(value).
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-  ...
+  Otherwise, let numValue be ? ToNumber(value).
-  15. Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, "Unordered").
+  Let buffer be O.[[ViewedArrayBuffer]].
-      // NOTE: type will be set to BigUint64 in this test
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
-  16. Return true.
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
   SetValueInBuffer ( arrayBuffer, byteIndex, type, value, isTypedArray, order [ , isLittleEndian ] )
   ...

test/built-ins/TypedArrayConstructors/ctors-bigint/object-arg/boolean-tobigint.js

@@ -22,14 +22,24 @@ info: |
   2. If Type(P) is String and if SameValue(O, Receiver) is true, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
   IntegerIndexedElementSet ( O, index, value )
-  ...
+
-  5. If arrayTypeName is "BigUint64Array" or "BigInt64Array",
+  Assert: O is an Integer-Indexed exotic object.
-     let numValue be ? ToBigInt(value).
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-  ...
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
   ToBigInt ( argument )
   Object, Apply the following steps:

test/built-ins/TypedArrayConstructors/ctors-bigint/object-arg/null-tobigint.js

@@ -22,14 +22,24 @@ info: |
   2. If Type(P) is String and if SameValue(O, Receiver) is true, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
   IntegerIndexedElementSet ( O, index, value )
-  ...
+
-  5. If arrayTypeName is "BigUint64Array" or "BigInt64Array",
+  Assert: O is an Integer-Indexed exotic object.
-     let numValue be ? ToBigInt(value).
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-  ...
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
   ToBigInt ( argument )
   Object, Apply the following steps:

test/built-ins/TypedArrayConstructors/ctors-bigint/object-arg/number-tobigint.js

@@ -25,15 +25,24 @@ info: |
   2. If Type(P) is String and if SameValue(O, Receiver) is true, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
-  5. If arrayTypeName is "BigUint64Array" or "BigInt64Array",
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-     let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
-  ...
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
   ToBigInt ( argument )
 

test/built-ins/TypedArrayConstructors/ctors-bigint/object-arg/string-nan-tobigint.js

@@ -25,15 +25,24 @@ info: |
   2. If Type(P) is String and if SameValue(O, Receiver) is true, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
-  5. If arrayTypeName is "BigUint64Array" or "BigInt64Array",
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-     let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
-  ...
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
   ToBigInt ( argument )
 

test/built-ins/TypedArrayConstructors/ctors-bigint/object-arg/string-tobigint.js

@@ -25,15 +25,24 @@ info: |
   2. If Type(P) is String and if SameValue(O, Receiver) is true, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
-  5. If arrayTypeName is "BigUint64Array" or "BigInt64Array",
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-     let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
-  ...
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
   ToBigInt ( argument )
 

test/built-ins/TypedArrayConstructors/ctors-bigint/object-arg/symbol-tobigint.js

@@ -25,15 +25,24 @@ info: |
   2. If Type(P) is String and if SameValue(O, Receiver) is true, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
-  5. If arrayTypeName is "BigUint64Array" or "BigInt64Array",
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-     let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
-  ...
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
   ToBigInt ( argument )
 

test/built-ins/TypedArrayConstructors/ctors-bigint/object-arg/throws-setting-obj-to-primitive-typeerror.js

@@ -25,15 +25,24 @@ info: |
   2. If Type(P) is String and if SameValue(O, Receiver) is true, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
-  5. If arrayTypeName is "BigUint64Array" or "BigInt64Array",
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-     let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
-  ...
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
   ToBigInt ( argument )
 

test/built-ins/TypedArrayConstructors/ctors-bigint/object-arg/throws-setting-obj-to-primitive.js

@@ -25,15 +25,24 @@ info: |
   2. If Type(P) is String and if SameValue(O, Receiver) is true, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
-  5. If arrayTypeName is "BigUint64Array" or "BigInt64Array",
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-     let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
-  ...
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
   ToBigInt ( argument )
 

test/built-ins/TypedArrayConstructors/ctors-bigint/object-arg/throws-setting-obj-tostring.js

@@ -25,15 +25,24 @@ info: |
   2. If Type(P) is String and if SameValue(O, Receiver) is true, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
-  5. If arrayTypeName is "BigUint64Array" or "BigInt64Array",
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-     let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
-  ...
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
   ToBigInt ( argument )
 

test/built-ins/TypedArrayConstructors/ctors-bigint/object-arg/throws-setting-obj-valueof-typeerror.js

@@ -25,15 +25,24 @@ info: |
   2. If Type(P) is String and if SameValue(O, Receiver) is true, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
-  5. If arrayTypeName is "BigUint64Array" or "BigInt64Array",
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-     let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
-  ...
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
   ToBigInt ( argument )
 

test/built-ins/TypedArrayConstructors/ctors-bigint/object-arg/throws-setting-obj-valueof.js

@@ -25,15 +25,24 @@ info: |
   2. If Type(P) is String and if SameValue(O, Receiver) is true, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
-  5. If arrayTypeName is "BigUint64Array" or "BigInt64Array",
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-     let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
-  ...
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
   ToBigInt ( argument )
 

test/built-ins/TypedArrayConstructors/ctors-bigint/object-arg/undefined-tobigint.js

@@ -22,14 +22,24 @@ info: |
   2. If Type(P) is String and if SameValue(O, Receiver) is true, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
   IntegerIndexedElementSet ( O, index, value )
-  ...
+
-  5. If arrayTypeName is "BigUint64Array" or "BigInt64Array",
+  Assert: O is an Integer-Indexed exotic object.
-     let numValue be ? ToBigInt(value).
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-  ...
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
   ToBigInt ( argument )
   Object, Apply the following steps:

test/built-ins/TypedArrayConstructors/ctors/object-arg/conversion-operation-consistent-nan.js

@@ -17,11 +17,20 @@ info: |
     c. Perform ? Set(O, Pk, kValue, true).
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
-  15. Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue).
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-  ...
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
   24.1.1.6 SetValueInBuffer ( arrayBuffer, byteIndex, type, value [ ,
   isLittleEndian ] )

test/built-ins/TypedArrayConstructors/ctors/object-arg/conversion-operation.js

@@ -19,11 +19,20 @@ info: |
     c. Perform ? Set(O, Pk, kValue, true).
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
-  15. Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue).
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-  ...
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
   24.1.1.6 SetValueInBuffer ( arrayBuffer, byteIndex, type, value [ ,
   isLittleEndian ] )

test/built-ins/TypedArrayConstructors/ctors/object-arg/throws-setting-obj-to-primitive-typeerror.js

@@ -25,16 +25,26 @@ info: |
   2. If Type(P) is String and if SameValue(O, Receiver) is true, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
-  3. Let numValue be ? ToNumber(value).
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-  ...
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
-  7.1.3 ToNumber ( argument )
+  ToNumber ( argument )
 
   Object, Apply the following steps:
 

test/built-ins/TypedArrayConstructors/ctors/object-arg/throws-setting-obj-to-primitive.js

@@ -25,16 +25,26 @@ info: |
   2. If Type(P) is String and if SameValue(O, Receiver) is true, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
-  3. Let numValue be ? ToNumber(value).
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-  ...
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
-  7.1.3 ToNumber ( argument )
+  ToNumber ( argument )
 
   Object, Apply the following steps:
 

test/built-ins/TypedArrayConstructors/ctors/object-arg/throws-setting-obj-tostring.js

@@ -25,16 +25,26 @@ info: |
   2. If Type(P) is String and if SameValue(O, Receiver) is true, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
-  3. Let numValue be ? ToNumber(value).
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-  ...
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
-  7.1.3 ToNumber ( argument )
+  ToNumber ( argument )
 
   Object, Apply the following steps:
 

test/built-ins/TypedArrayConstructors/ctors/object-arg/throws-setting-obj-valueof-typeerror.js

@@ -25,16 +25,26 @@ info: |
   2. If Type(P) is String and if SameValue(O, Receiver) is true, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
-  3. Let numValue be ? ToNumber(value).
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-  ...
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
-  7.1.3 ToNumber ( argument )
+  ToNumber ( argument )
 
   Object, Apply the following steps:
 

test/built-ins/TypedArrayConstructors/ctors/object-arg/throws-setting-obj-valueof.js

@@ -25,16 +25,26 @@ info: |
   2. If Type(P) is String and if SameValue(O, Receiver) is true, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
-  3. Let numValue be ? ToNumber(value).
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-  ...
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
-  7.1.3 ToNumber ( argument )
+  ToNumber ( argument )
 
   Object, Apply the following steps:
 

test/built-ins/TypedArrayConstructors/from/BigInt/source-value-is-symbol-throws.js

@@ -5,11 +5,23 @@ esid: sec-%typedarray%.from
 description: >
   Throws a TypeError if argument is a Symbol
 info: |
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
+
+  Assert: O is an Integer-Indexed exotic object.
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+    Return NormalCompletion(undefined).
+
+  Return NormalCompletion(undefined).
 
-  ...
-  3. Let numValue be ? ToNumber(value).
-  ...
 includes: [testBigIntTypedArray.js]
 features: [BigInt, Symbol, TypedArray]
 ---*/

test/built-ins/TypedArrayConstructors/from/nan-conversion.js

@@ -5,12 +5,20 @@ esid: sec-%typedarray%.from
 description: >
   Test NaN conversions
 info: |
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
-
-  ...
-  3. Let numValue be ? ToNumber(value).
-  ...
 
+  Assert: O is an Integer-Indexed exotic object.
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
   24.1.1.6 SetValueInBuffer ( arrayBuffer, byteIndex, type, value [ ,
   isLittleEndian ] )
 includes: [testTypedArray.js]

test/built-ins/TypedArrayConstructors/from/source-value-is-symbol-throws.js

@@ -5,11 +5,21 @@ esid: sec-%typedarray%.from
 description: >
   Throws a TypeError if argument is a Symbol
 info: |
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
+
+  Assert: O is an Integer-Indexed exotic object.
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+    Return NormalCompletion(undefined).
 
-  ...
-  3. Let numValue be ? ToNumber(value).
-  ...
 includes: [testTypedArray.js]
 features: [Symbol, TypedArray]
 ---*/

test/built-ins/TypedArrayConstructors/internals/DefineOwnProperty/BigInt/desc-value-throws.js

@@ -16,11 +16,23 @@ info: |
         2. Return ? IntegerIndexedElementSet(O, intIndex, value).
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
+
+  Assert: O is an Integer-Indexed exotic object.
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+    Return NormalCompletion(undefined).
+
+  Return NormalCompletion(undefined).
 
-  ...
-  3. Let numValue be ? ToNumber(value).
-  ...
 includes: [testBigIntTypedArray.js]
 features: [BigInt, TypedArray]
 ---*/

test/built-ins/TypedArrayConstructors/internals/DefineOwnProperty/BigInt/detached-buffer-realm.js

@@ -17,11 +17,20 @@ info: |
         2. Return ? IntegerIndexedElementSet(O, intIndex, value).
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
   Let buffer be O.[[ViewedArrayBuffer]].
-  If IsDetachedBuffer(buffer) is true, return false.
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
 includes: [testBigIntTypedArray.js, detachArrayBuffer.js]
 features: [align-detached-buffer-semantics-with-web-reality, BigInt, cross-realm, Reflect, TypedArray]

test/built-ins/TypedArrayConstructors/internals/DefineOwnProperty/BigInt/detached-buffer.js

@@ -16,12 +16,21 @@ info: |
         2. Return ? IntegerIndexedElementSet(O, intIndex, value).
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
   Let buffer be O.[[ViewedArrayBuffer]].
-  If IsDetachedBuffer(buffer) is true, return false.
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
-  ...
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
+
 includes: [testBigIntTypedArray.js, detachArrayBuffer.js]
 features: [align-detached-buffer-semantics-with-web-reality, BigInt, Reflect, TypedArray]
 ---*/

test/built-ins/TypedArrayConstructors/internals/DefineOwnProperty/BigInt/set-value.js

@@ -16,11 +16,21 @@ info: |
         2. Return ? IntegerIndexedElementSet(O, intIndex, value).
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
+
+  Assert: O is an Integer-Indexed exotic object.
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
-  ...
-  15. Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue).
-  16. Return true.
 includes: [testBigIntTypedArray.js]
 features: [BigInt, Reflect, TypedArray]
 ---*/

test/built-ins/TypedArrayConstructors/internals/DefineOwnProperty/BigInt/tonumber-value-detached-buffer.js

@@ -19,11 +19,21 @@ info: |
         2. Return ? IntegerIndexedElementSet(O, numericIndex, value).
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
+
+  Assert: O is an Integer-Indexed exotic object.
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
-  ...
-  15. Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue).
-  16. Return true.
 includes: [testBigIntTypedArray.js, detachArrayBuffer.js]
 features: [align-detached-buffer-semantics-with-web-reality, BigInt, Reflect, TypedArray]
 ---*/

test/built-ins/TypedArrayConstructors/internals/DefineOwnProperty/conversion-operation.js

@@ -18,11 +18,20 @@ info: |
         2. Return ? IntegerIndexedElementSet(O, intIndex, value).
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
-  15. Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue).
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-  ...
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
   24.1.1.6 SetValueInBuffer ( arrayBuffer, byteIndex, type, value [ ,
   isLittleEndian ] )

test/built-ins/TypedArrayConstructors/internals/DefineOwnProperty/desc-value-throws.js

@@ -16,11 +16,21 @@ info: |
         2. Return ? IntegerIndexedElementSet(O, intIndex, value).
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
+
+  Assert: O is an Integer-Indexed exotic object.
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+    Return NormalCompletion(undefined).
 
-  ...
-  3. Let numValue be ? ToNumber(value).
-  ...
 includes: [testTypedArray.js]
 features: [TypedArray]
 ---*/

test/built-ins/TypedArrayConstructors/internals/DefineOwnProperty/detached-buffer-realm.js

@@ -17,12 +17,21 @@ info: |
         2. Return ? IntegerIndexedElementSet(O, intIndex, value).
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
   Let buffer be O.[[ViewedArrayBuffer]].
-  If IsDetachedBuffer(buffer) is true, return false.
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
-  ...
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
+
 includes: [testTypedArray.js, detachArrayBuffer.js]
 features: [align-detached-buffer-semantics-with-web-reality, cross-realm, Reflect, TypedArray]
 ---*/

test/built-ins/TypedArrayConstructors/internals/DefineOwnProperty/detached-buffer.js

@@ -16,12 +16,21 @@ info: |
         2. Return ? IntegerIndexedElementSet(O, intIndex, value).
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
   Let buffer be O.[[ViewedArrayBuffer]].
-  If IsDetachedBuffer(buffer) is true, return false.
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
-  ...
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
+
 includes: [testTypedArray.js, detachArrayBuffer.js]
 features: [align-detached-buffer-semantics-with-web-reality, Reflect, TypedArray]
 ---*/

test/built-ins/TypedArrayConstructors/internals/DefineOwnProperty/set-value.js

@@ -16,11 +16,21 @@ info: |
         2. Return ? IntegerIndexedElementSet(O, intIndex, value).
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
+
+  Assert: O is an Integer-Indexed exotic object.
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
-  ...
-  15. Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue).
-  16. Return true.
 includes: [testTypedArray.js]
 features: [Reflect, TypedArray]
 ---*/

test/built-ins/TypedArrayConstructors/internals/DefineOwnProperty/tonumber-value-detached-buffer.js

@@ -20,11 +20,21 @@ info: |
         2. Return ? IntegerIndexedElementSet(O, numericIndex, value).
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
+
+  Assert: O is an Integer-Indexed exotic object.
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
-  ...
-  15. Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue).
-  16. Return true.
 includes: [testTypedArray.js, detachArrayBuffer.js]
 features: [align-detached-buffer-semantics-with-web-reality, Reflect, TypedArray]
 ---*/

test/built-ins/TypedArrayConstructors/internals/Set/BigInt/detached-buffer-realm.js

@@ -12,7 +12,8 @@ info: |
   2. If Type(P) is String, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
   IntegerIndexedElementSet ( O, index, value )

test/built-ins/TypedArrayConstructors/internals/Set/BigInt/indexed-value.js

@@ -11,14 +11,10 @@ info: |
   2. If Type(P) is String, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
-
-  ...
-  15. Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue).
-  16. Return true.
 includes: [testBigIntTypedArray.js]
 features: [align-detached-buffer-semantics-with-web-reality, BigInt, Reflect, TypedArray]
 ---*/

test/built-ins/TypedArrayConstructors/internals/Set/BigInt/key-is-minus-zero.js

@@ -3,7 +3,7 @@
 /*---
 esid: sec-integer-indexed-exotic-objects-set-p-v-receiver
 description: >
-  Returns false if index is -0
+  Returns true, even if index is -0
 info: |
   [[Set]] ( P, V, Receiver)
 
@@ -11,19 +11,14 @@ info: |
   2. If Type(P) is String, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
-
-  IntegerIndexedElementSet ( O, index, value )
-
-  5. If arrayTypeName is "BigUint64Array" or "BigInt64Array", let numValue be ? ToBigInt(value).
-  ...
-  10. If index = -0, return false.
 includes: [testBigIntTypedArray.js]
 features: [align-detached-buffer-semantics-with-web-reality, BigInt, Reflect, TypedArray]
 ---*/
 testWithBigIntTypedArrayConstructors(function(TA) {
   var sample = new TA([42n]);
-  assert.sameValue(Reflect.set(sample, '-0', 1n), false, 'Reflect.set("new TA([42n])", "-0", 1n) must return false');
+  assert.sameValue(Reflect.set(sample, '-0', 1n), true, 'Reflect.set("new TA([42n])", "-0", 1n) must return true');
   assert.sameValue(sample.hasOwnProperty('-0'), false, 'sample.hasOwnProperty("-0") must return false');
 });

test/built-ins/TypedArrayConstructors/internals/Set/BigInt/key-is-not-integer.js

@@ -3,7 +3,7 @@
 /*---
 esid: sec-integer-indexed-exotic-objects-set-p-v-receiver
 description: >
-  Returns false if index is not integer
+  Returns true, even if index is not CanonicalNumericIndexString
 info: |
   9.4.5.5 [[Set]] ( P, V, Receiver)
 
@@ -11,25 +11,21 @@ info: |
   2. If Type(P) is String, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
-
-  ...
-  6. If IsInteger(index) is false, return false.
-  ...
 includes: [testBigIntTypedArray.js]
 features: [align-detached-buffer-semantics-with-web-reality, BigInt, Reflect, TypedArray]
 ---*/
 testWithBigIntTypedArrayConstructors(function(TA) {
   var sample = new TA([42n]);
-  assert.sameValue(Reflect.set(sample, '1.1', 1n), false, 'Reflect.set("new TA([42n])", "1.1", 1n) must return false');
+  assert.sameValue(Reflect.set(sample, '1.1', 1n), true, 'Reflect.set("new TA([42n])", "1.1", 1n) must return true');
 
   assert.sameValue(
     Reflect.set(sample, '0.0001', 1n),
-    false,
+    true,
-    'Reflect.set("new TA([42n])", "0.0001", 1n) must return false'
+    'Reflect.set("new TA([42n])", "0.0001", 1n) must return true'
   );
 
   assert.sameValue(sample.hasOwnProperty('1.1'), false, 'sample.hasOwnProperty("1.1") must return false');

test/built-ins/TypedArrayConstructors/internals/Set/BigInt/key-is-out-of-bounds.js

@@ -3,7 +3,7 @@
 /*---
 esid: sec-integer-indexed-exotic-objects-set-p-v-receiver
 description: >
-  Returns false if index is out of bounds
+  Returns true, even if index is out of bounds
 info: |
   9.4.5.5 [[Set]] ( P, V, Receiver)
 
@@ -11,10 +11,11 @@ info: |
   2. If Type(P) is String, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  9.4.5.11 IntegerIndexedElementSet ( O, index, value )
 
   ...
   8. Let length be the value of O's [[ArrayLength]] internal slot.
@@ -25,9 +26,9 @@ features: [align-detached-buffer-semantics-with-web-reality, BigInt, Reflect, Ty
 ---*/
 testWithBigIntTypedArrayConstructors(function(TA) {
   var sample = new TA([42n]);
-  assert.sameValue(Reflect.set(sample, '-1', 1n), false, 'Reflect.set("new TA([42n])", "-1", 1n) must return false');
+  assert.sameValue(Reflect.set(sample, '-1', 1n), true, 'Reflect.set("new TA([42n])", "-1", 1n) must return false');
-  assert.sameValue(Reflect.set(sample, '1', 1n), false, 'Reflect.set("new TA([42n])", "1", 1n) must return false');
+  assert.sameValue(Reflect.set(sample, '1', 1n), true, 'Reflect.set("new TA([42n])", "1", 1n) must return false');
-  assert.sameValue(Reflect.set(sample, '2', 1n), false, 'Reflect.set("new TA([42n])", "2", 1n) must return false');
+  assert.sameValue(Reflect.set(sample, '2', 1n), true, 'Reflect.set("new TA([42n])", "2", 1n) must return false');
   assert.sameValue(sample.hasOwnProperty('-1'), false, 'sample.hasOwnProperty("-1") must return false');
   assert.sameValue(sample.hasOwnProperty('1'), false, 'sample.hasOwnProperty("1") must return false');
   assert.sameValue(sample.hasOwnProperty('2'), false, 'sample.hasOwnProperty("2") must return false');

test/built-ins/TypedArrayConstructors/internals/Set/BigInt/tonumber-value-detached-buffer.js

@@ -5,7 +5,8 @@
 esid: sec-integer-indexed-exotic-objects-set-p-v-receiver
 description: >
   Setting a typed array element to a value that, when converted to the typed
-  array element type, detaches the typed array's underlying buffer, should return false.
+  array element type, detaches the typed array's underlying buffer,
+  will always return true.
 info: |
   9.4.5.5 [[Set]] ( P, V, Receiver)
 
@@ -13,31 +14,25 @@ info: |
   2. If Type(P) is String, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
-
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
-
-  Assert: O is an Integer-Indexed exotic object.
-  Assert: Type(index) is Number.
-  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-  Otherwise, let numValue be ? ToNumber(value).
-  Let buffer be O.[[ViewedArrayBuffer]].
-  If IsDetachedBuffer(buffer) is true, return false.
-
 includes: [testBigIntTypedArray.js, detachArrayBuffer.js]
 features: [align-detached-buffer-semantics-with-web-reality, BigInt, Reflect, TypedArray]
 ---*/
 
 testWithBigIntTypedArrayConstructors(function(TA) {
   let ta = new TA(1);
+  let isDetached = false;
   let result = Reflect.set(ta, 0, {
     valueOf() {
       $DETACHBUFFER(ta.buffer);
+      isDetached = true;
       return 42n;
     }
   });
 
-  assert.sameValue(result, false);
+  assert.sameValue(result, true);
   assert.sameValue(ta[0], undefined);
+  assert.sameValue(isDetached, true);
 });

test/built-ins/TypedArrayConstructors/internals/Set/BigInt/tonumber-value-throws.js

@@ -11,7 +11,8 @@ info: |
   2. If Type(P) is String, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
   IntegerIndexedElementSet ( O, index, value )

test/built-ins/TypedArrayConstructors/internals/Set/conversion-operation-consistent-nan.js

@@ -15,15 +15,24 @@ info: |
   2. If Type(P) is String, then
     ...
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  #sec-integerindexedelementset
   IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
-  15. Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue).
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-  ...
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
   #sec-setvalueinbuffer
   SetValueInBuffer ( arrayBuffer, byteIndex, type, value [ ,

test/built-ins/TypedArrayConstructors/internals/Set/conversion-operation.js

@@ -12,14 +12,24 @@ info: |
   2. If Type(P) is String, then
     ...
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
-  15. Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue).
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-  ...
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
   24.1.1.6 SetValueInBuffer ( arrayBuffer, byteIndex, type, value [ ,
   isLittleEndian ] )

test/built-ins/TypedArrayConstructors/internals/Set/detached-buffer-realm.js

@@ -12,7 +12,8 @@ info: |
   2. If Type(P) is String, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
   IntegerIndexedElementSet ( O, index, value )

test/built-ins/TypedArrayConstructors/internals/Set/indexed-value.js

@@ -11,14 +11,25 @@ info: |
   2. If Type(P) is String, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
+
+  Assert: O is an Integer-Indexed exotic object.
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
-  ...
-  15. Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue).
-  16. Return true.
 includes: [testTypedArray.js]
 features: [align-detached-buffer-semantics-with-web-reality, Reflect, TypedArray]
 ---*/

test/built-ins/TypedArrayConstructors/internals/Set/key-is-minus-zero.js

@@ -3,7 +3,7 @@
 /*---
 esid: sec-integer-indexed-exotic-objects-set-p-v-receiver
 description: >
-  Returns false if index is -0
+  Returns true, even if index is -0
 info: |
   9.4.5.5 [[Set]] ( P, V, Receiver)
 
@@ -11,14 +11,10 @@ info: |
   2. If Type(P) is String, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
-
-  ...
-  7. If index = -0, return false.
-  ...
 includes: [testTypedArray.js]
 features: [align-detached-buffer-semantics-with-web-reality, Reflect, TypedArray]
 ---*/
@@ -26,6 +22,6 @@ features: [align-detached-buffer-semantics-with-web-reality, Reflect, TypedArray
 testWithTypedArrayConstructors(function(TA) {
   var sample = new TA([42]);
 
-  assert.sameValue(Reflect.set(sample, "-0", 1), false, 'Reflect.set(sample, "-0", 1) must return false');
+  assert.sameValue(Reflect.set(sample, "-0", 1), true, 'Reflect.set(sample, "-0", 1) must return true');
   assert.sameValue(sample.hasOwnProperty("-0"), false, 'sample.hasOwnProperty("-0") must return false');
 });

test/built-ins/TypedArrayConstructors/internals/Set/key-is-not-integer.js

@@ -3,7 +3,7 @@
 /*---
 esid: sec-integer-indexed-exotic-objects-set-p-v-receiver
 description: >
-  Returns false if index is not integer
+  Returns true, even if index is not CanonicalNumericIndexString
 info: |
   9.4.5.5 [[Set]] ( P, V, Receiver)
 
@@ -11,14 +11,10 @@ info: |
   2. If Type(P) is String, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
-
-  ...
-  6. If IsInteger(index) is false, return false.
-  ...
 includes: [testTypedArray.js]
 features: [align-detached-buffer-semantics-with-web-reality, Reflect, TypedArray]
 ---*/
@@ -26,8 +22,8 @@ features: [align-detached-buffer-semantics-with-web-reality, Reflect, TypedArray
 testWithTypedArrayConstructors(function(TA) {
   var sample = new TA([42]);
 
-  assert.sameValue(Reflect.set(sample, "1.1", 1), false, 'Reflect.set(sample, "1.1", 1) must return false');
+  assert.sameValue(Reflect.set(sample, "1.1", 1), true, 'Reflect.set(sample, "1.1", 1) must return true');
-  assert.sameValue(Reflect.set(sample, "0.0001", 1), false, 'Reflect.set(sample, "0.0001", 1) must return false');
+  assert.sameValue(Reflect.set(sample, "0.0001", 1), true, 'Reflect.set(sample, "0.0001", 1) must return true');
 
   assert.sameValue(sample.hasOwnProperty("1.1"), false, 'sample.hasOwnProperty("1.1") must return false');
   assert.sameValue(

test/built-ins/TypedArrayConstructors/internals/Set/key-is-out-of-bounds.js

@@ -3,7 +3,7 @@
 /*---
 esid: sec-integer-indexed-exotic-objects-set-p-v-receiver
 description: >
-  Returns false if index is out of bounds
+  Returns true even if index is out of bounds
 info: |
   9.4.5.5 [[Set]] ( P, V, Receiver)
 
@@ -11,15 +11,10 @@ info: |
   2. If Type(P) is String, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
-
-  ...
-  8. Let length be the value of O's [[ArrayLength]] internal slot.
-  9. If index < 0 or index ≥ length, return false.
-  ...
 includes: [testTypedArray.js]
 features: [align-detached-buffer-semantics-with-web-reality, Reflect, TypedArray]
 ---*/
@@ -27,9 +22,9 @@ features: [align-detached-buffer-semantics-with-web-reality, Reflect, TypedArray
 testWithTypedArrayConstructors(function(TA) {
   var sample = new TA([42]);
 
-  assert.sameValue(Reflect.set(sample, "-1", 1), false, 'Reflect.set(sample, "-1", 1) must return false');
+  assert.sameValue(Reflect.set(sample, "-1", 1), true, 'Reflect.set(sample, "-1", 1) must return true');
-  assert.sameValue(Reflect.set(sample, "1", 1), false, 'Reflect.set(sample, "1", 1) must return false');
+  assert.sameValue(Reflect.set(sample, "1", 1), true, 'Reflect.set(sample, "1", 1) must return true');
-  assert.sameValue(Reflect.set(sample, "2", 1), false, 'Reflect.set(sample, "2", 1) must return false');
+  assert.sameValue(Reflect.set(sample, "2", 1), true, 'Reflect.set(sample, "2", 1) must return true');
 
   assert.sameValue(sample.hasOwnProperty("-1"), false, 'sample.hasOwnProperty("-1") must return false');
   assert.sameValue(sample.hasOwnProperty("1"), false, 'sample.hasOwnProperty("1") must return false');

test/built-ins/TypedArrayConstructors/internals/Set/tonumber-value-detached-buffer.js

@@ -5,7 +5,7 @@
 esid: sec-integer-indexed-exotic-objects-set-p-v-receiver
 description: >
   Setting a typed array element to a value that, when converted to the typed
-  array element type, detaches the typed array's underlying buffer, should return false.
+  array element type, detaches the typed array's underlying buffer, will return true.
 info: |
   9.4.5.5 [[Set]] ( P, V, Receiver)
 
@@ -13,17 +13,24 @@ info: |
   2. If Type(P) is String, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  9.4.5.11 IntegerIndexedElementSet ( O, index, value )
 
   Assert: O is an Integer-Indexed exotic object.
-  Assert: Type(index) is Number.
   If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
   Otherwise, let numValue be ? ToNumber(value).
   Let buffer be O.[[ViewedArrayBuffer]].
-  If IsDetachedBuffer(buffer) is true, return false.
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
 includes: [testTypedArray.js, detachArrayBuffer.js]
 features: [align-detached-buffer-semantics-with-web-reality, Reflect, TypedArray]
@@ -38,6 +45,6 @@ testWithTypedArrayConstructors(function(TA) {
     }
   });
 
-  assert.sameValue(result, false);
+  assert.sameValue(result, true);
   assert.sameValue(ta[0], undefined);
 });

test/built-ins/TypedArrayConstructors/internals/Set/tonumber-value-throws.js

@@ -11,7 +11,8 @@ info: |
   2. If Type(P) is String, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
   IntegerIndexedElementSet ( O, index, value )

test/built-ins/TypedArrayConstructors/of/BigInt/argument-is-symbol-throws.js

@@ -5,11 +5,21 @@ esid: sec-%typedarray%.of
 description: >
   Throws a TypeError if argument is a Symbol
 info: |
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
+
+  Assert: O is an Integer-Indexed exotic object.
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
-  ...
-  3. Let numValue be ? ToNumber(value).
-  ...
 includes: [testBigIntTypedArray.js]
 features: [BigInt, Symbol, TypedArray]
 ---*/

test/built-ins/TypedArrayConstructors/of/BigInt/new-instance.js

@@ -11,14 +11,25 @@ info: |
   2. If Type(P) is String and if SameValue(O, Receiver) is true, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
+
+  Assert: O is an Integer-Indexed exotic object.
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
-  ...
-  3. Let numValue be ? ToNumber(value).
-  ...
 includes: [testBigIntTypedArray.js]
 features: [BigInt, TypedArray]
 ---*/

test/built-ins/TypedArrayConstructors/of/argument-is-symbol-throws.js

@@ -5,11 +5,21 @@ esid: sec-%typedarray%.of
 description: >
   Throws a TypeError if argument is a Symbol
 info: |
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
+
+  Assert: O is an Integer-Indexed exotic object.
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
-  ...
-  3. Let numValue be ? ToNumber(value).
-  ...
 includes: [testTypedArray.js]
 features: [Symbol, TypedArray]
 ---*/

test/built-ins/TypedArrayConstructors/of/nan-conversion.js

@@ -5,11 +5,20 @@ esid: sec-%typedarray%.of
 description: >
   Test NaN conversions
 info: |
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
 
-  ...
+  Assert: O is an Integer-Indexed exotic object.
-  3. Let numValue be ? ToNumber(value).
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
-  ...
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+  Return NormalCompletion(undefined).
 
   24.1.1.6 SetValueInBuffer ( arrayBuffer, byteIndex, type, value [ ,
   isLittleEndian ] )

test/built-ins/TypedArrayConstructors/of/new-instance.js

@@ -11,14 +11,25 @@ info: |
   2. If Type(P) is String and if SameValue(O, Receiver) is true, then
     a. Let numericIndex be ! CanonicalNumericIndexString(P).
     b. If numericIndex is not undefined, then
-      i. Return ? IntegerIndexedElementSet(O, numericIndex, V).
+      i. Perform ? IntegerIndexedElementSet(O, numericIndex, V).
+      ii. Return true.
   ...
 
-  9.4.5.9 IntegerIndexedElementSet ( O, index, value )
+  IntegerIndexedElementSet ( O, index, value )
+
+  Assert: O is an Integer-Indexed exotic object.
+  If O.[[ContentType]] is BigInt, let numValue be ? ToBigInt(value).
+  Otherwise, let numValue be ? ToNumber(value).
+  Let buffer be O.[[ViewedArrayBuffer]].
+  If IsDetachedBuffer(buffer) is false and ! IsValidIntegerIndex(O, index) is true, then
+    Let offset be O.[[ByteOffset]].
+    Let arrayTypeName be the String value of O.[[TypedArrayName]].
+    Let elementSize be the Element Size value specified in Table 62 for arrayTypeName.
+    Let indexedPosition be (ℝ(index) × elementSize) + offset.
+    Let elementType be the Element Type value in Table 62 for arrayTypeName.
+    Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue, true, Unordered).
+    Return NormalCompletion(undefined).
 
-  ...
-  3. Let numValue be ? ToNumber(value).
-  ...
 includes: [testTypedArray.js]
 features: [TypedArray]
 ---*/