Order of operations, when to throw or silently do nothing?

• Should sliceToImmutable with reversed start and end throw an exception even though slice with the same arguments would not?

• Should trying to write data in an immutable ArrayBuffer via a TypedArray element set throw, even though trying to write out-of-bounds or to a detached ArrayBuffer does not?

• Should TypedArray write methods (copyWithin, fill, reverse, set, etc.) throw when their backing ArrayBuffer is immutable but the targeted range is zero-length? If so, how early or late in the algorithm? The methods currently inspect arguments after ValidateTypedArray.

Similarly,

• How early or late in SetViewValue against an immutable ArrayBuffer should an exception be thrown? It currently inspects arguments before IsViewOutOfBounds.

• Likewise for abstract operations such as ArrayBufferCopyAndDetach (which currently checks IsSharedArrayBuffer, then newLength, then IsDetachedBuffer).

• And also for Atomics functions.

Examinez les opérations listées—sliceToImmutable, TypedArray write methods, SetViewValue, ArrayBufferCopyAndDetach et Atomics—et comparez leur ordre actuel de validation. L’issue ne sera terminée qu’une fois que la proposition aura déterminé quand les erreurs liées aux buffers immuables doivent se produire par rapport aux vérifications des arguments, des limites, du détachement et de la longueur nulle.