BigInt arithmetic type errors

harness/typeCoercion.js

@@ -407,3 +407,45 @@ function testNotCoercibleToBigInt(test) {
   testStringValue("0xg");
   testStringValue("1n");
 }
+
+function testNotCoercibleToBigIntAdditionOperand(test) {
+  function testPrimitiveValue(error, value) {
+    test(error, value);
+    testPrimitiveWrappers(value, "number", function (value) {
+      test(error, value);
+    });
+  }
+
+  // Undefined, Null, Number, Symbol -> TypeError
+  testPrimitiveValue(TypeError, undefined);
+  testPrimitiveValue(TypeError, null);
+  testPrimitiveValue(TypeError, 0);
+  testPrimitiveValue(TypeError, NaN);
+  testPrimitiveValue(TypeError, Infinity);
+  testPrimitiveValue(TypeError, Symbol("1"));
+}
+
+function testNotCoercibleToBigIntOperand(test) {
+  function testPrimitiveValue(error, value) {
+    test(error, value);
+    testPrimitiveWrappers(value, "number", function (value) {
+      test(error, value);
+    });
+  }
+
+  // Non-BigInt primitive -> TypeError
+  testPrimitiveValue(TypeError, undefined);
+  testPrimitiveValue(TypeError, null);
+  testPrimitiveValue(TypeError, 0);
+  testPrimitiveValue(TypeError, NaN);
+  testPrimitiveValue(TypeError, Infinity);
+  testPrimitiveValue(TypeError, "");
+  testPrimitiveValue(TypeError, "1");
+  testPrimitiveValue(TypeError, Symbol("1"));
+}
+
+function testCoercibleToBigIntOperand(value, test) {
+  test(value);
+  // ToPrimitive
+  testPrimitiveWrappers(value, "number", test);
+}

test/language/expressions/addition/bigint-err.js

@@ -0,0 +1,29 @@
+// Copyright (C) 2017 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-addition-operator-plus-runtime-semantics-evaluation
+description: BigInt addition type errors
+info: >
+  The Addition Operator ( + )
+
+  Runtime Semantics: Evaluation
+
+  ...
+  5. Let lprim be ? ToPrimitive(lval).
+  6. Let rprim be ? ToPrimitive(rval).
+  ...
+  8. Let lnum be ? ToNumeric(lprim).
+  9. Let rnum be ? ToNumeric(rprim).
+  10. If Type(lnum) does not equal Type(rnum), throw a TypeError
+  exception.
+includes: [typeCoercion.js]
+features: [BigInt, Symbol, Symbol.toPrimitive, arrow-function]
+---*/
+
+testNotCoercibleToBigIntAdditionOperand(function (error, value1) {
+  testCoercibleToBigIntOperand(0n, function (value2) {
+    assert.throws(error, () => value1 + value2);
+    assert.throws(error, () => value2 + value1);
+  });
+});

test/language/expressions/bitwise-and/bigint-err.js

@@ -0,0 +1,27 @@
+// Copyright (C) 2017 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-binary-bitwise-operators-runtime-semantics-evaluation
+description: BigInt bitwise and type errors
+info: >
+  Binary Bitwise Operators
+
+  Runtime Semantics: Evaluation
+
+  ...
+  5. Let lnum be ? ToNumeric(leftValue).
+  6. Let rnum be ? ToNumeric(rightValue).
+  7. If Type(lnum) does not equal Type(rnum), throw a TypeError
+  exception.
+  ...
+includes: [typeCoercion.js]
+features: [BigInt, Symbol, Symbol.toPrimitive, arrow-function]
+---*/
+
+testNotCoercibleToBigIntOperand(function (error, value1) {
+  testCoercibleToBigIntOperand(0n, function (value2) {
+    assert.throws(error, () => value1 & value2);
+    assert.throws(error, () => value2 & value1);
+  });
+});

test/language/expressions/bitwise-or/bigint-err.js

@@ -0,0 +1,27 @@
+// Copyright (C) 2017 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-binary-bitwise-operators-runtime-semantics-evaluation
+description: BigInt bitwise or type errors
+info: >
+  Binary Bitwise Operators
+
+  Runtime Semantics: Evaluation
+
+  ...
+  5. Let lnum be ? ToNumeric(leftValue).
+  6. Let rnum be ? ToNumeric(rightValue).
+  7. If Type(lnum) does not equal Type(rnum), throw a TypeError
+  exception.
+  ...
+includes: [typeCoercion.js]
+features: [BigInt, Symbol, Symbol.toPrimitive, arrow-function]
+---*/
+
+testNotCoercibleToBigIntOperand(function (error, value1) {
+  testCoercibleToBigIntOperand(0n, function (value2) {
+    assert.throws(error, () => value1 | value2);
+    assert.throws(error, () => value2 | value1);
+  });
+});

test/language/expressions/bitwise-xor/bigint-err.js

@@ -0,0 +1,27 @@
+// Copyright (C) 2017 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-binary-bitwise-operators-runtime-semantics-evaluation
+description: BigInt bitwise xor type errors
+info: >
+  Binary Bitwise Operators
+
+  Runtime Semantics: Evaluation
+
+  ...
+  5. Let lnum be ? ToNumeric(leftValue).
+  6. Let rnum be ? ToNumeric(rightValue).
+  7. If Type(lnum) does not equal Type(rnum), throw a TypeError
+  exception.
+  ...
+includes: [typeCoercion.js]
+features: [BigInt, Symbol, Symbol.toPrimitive, arrow-function]
+---*/
+
+testNotCoercibleToBigIntOperand(function (error, value1) {
+  testCoercibleToBigIntOperand(0n, function (value2) {
+    assert.throws(error, () => value1 ^ value2);
+    assert.throws(error, () => value2 ^ value1);
+  });
+});

test/language/expressions/division/bigint-err.js

@@ -0,0 +1,27 @@
+// Copyright (C) 2017 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-multiplicative-operators-runtime-semantics-evaluation
+description: BigInt division type errors
+info: >
+  Multiplicative Operators
+
+  Runtime Semantics: Evaluation
+
+  ...
+  5. Let lnum be ? ToNumeric(leftValue).
+  6. Let rnum be ? ToNumeric(rightValue).
+  7. If Type(lnum) does not equal Type(rnum), throw a TypeError
+  exception.
+  ...
+includes: [typeCoercion.js]
+features: [BigInt, Symbol, Symbol.toPrimitive, arrow-function]
+---*/
+
+testNotCoercibleToBigIntOperand(function (error, value1) {
+  testCoercibleToBigIntOperand(1n, function (value2) {
+    assert.throws(error, () => value1 / value2);
+    assert.throws(error, () => value2 / value1);
+  });
+});

test/language/expressions/exponentiation/bigint-err.js

@@ -0,0 +1,27 @@
+// Copyright (C) 2017 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-exp-operator-runtime-semantics-evaluation
+description: BigInt exponentiation type errors
+info: >
+  Exponentiation Operator
+
+  Runtime Semantics: Evaluation
+
+  ...
+  5. Let base be ? ToNumeric(leftValue).
+  6. Let exponent be ? ToNumeric(rightValue).
+  7. If Type(lnum) does not equal Type(rnum), throw a TypeError
+  exception.
+  ...
+includes: [typeCoercion.js]
+features: [BigInt, Symbol, Symbol.toPrimitive, arrow-function]
+---*/
+
+testNotCoercibleToBigIntOperand(function (error, value1) {
+  testCoercibleToBigIntOperand(1n, function (value2) {
+    assert.throws(error, () => value1 ** value2);
+    assert.throws(error, () => value2 ** value1);
+  });
+});

test/language/expressions/left-shift/bigint-err.js

@@ -0,0 +1,27 @@
+// Copyright (C) 2017 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-left-shift-operator-runtime-semantics-evaluation
+description: BigInt left shift type errors
+info: >
+  The Left Shift Operator ( << )
+
+  Runtime Semantics: Evaluation
+
+  ...
+  5. Let lnum be ? ToNumeric(leftValue).
+  6. Let rnum be ? ToNumeric(rightValue).
+  7. If Type(lnum) does not equal Type(rnum), throw a TypeError
+  exception.
+  ...
+includes: [typeCoercion.js]
+features: [BigInt, Symbol, Symbol.toPrimitive, arrow-function]
+---*/
+
+testNotCoercibleToBigIntOperand(function (error, value1) {
+  testCoercibleToBigIntOperand(0n, function (value2) {
+    assert.throws(error, () => value1 << value2);
+    assert.throws(error, () => value2 << value1);
+  });
+});

test/language/expressions/modulus/bigint-err.js

@@ -0,0 +1,27 @@
+// Copyright (C) 2017 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-multiplicative-operators-runtime-semantics-evaluation
+description: BigInt remainder type errors
+info: >
+  Multiplicative Operators
+
+  Runtime Semantics: Evaluation
+
+  ...
+  5. Let lnum be ? ToNumeric(leftValue).
+  6. Let rnum be ? ToNumeric(rightValue).
+  7. If Type(lnum) does not equal Type(rnum), throw a TypeError
+  exception.
+  ...
+includes: [typeCoercion.js]
+features: [BigInt, Symbol, Symbol.toPrimitive, arrow-function]
+---*/
+
+testNotCoercibleToBigIntOperand(function (error, value1) {
+  testCoercibleToBigIntOperand(1n, function (value2) {
+    assert.throws(error, () => value1 % value2);
+    assert.throws(error, () => value2 % value1);
+  });
+});

test/language/expressions/multiplication/bigint-err.js

@@ -0,0 +1,27 @@
+// Copyright (C) 2017 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-multiplicative-operators-runtime-semantics-evaluation
+description: BigInt multiplication type errors
+info: >
+  Multiplicative Operators
+
+  Runtime Semantics: Evaluation
+
+  ...
+  5. Let lnum be ? ToNumeric(leftValue).
+  6. Let rnum be ? ToNumeric(rightValue).
+  7. If Type(lnum) does not equal Type(rnum), throw a TypeError
+  exception.
+  ...
+includes: [typeCoercion.js]
+features: [BigInt, Symbol, Symbol.toPrimitive, arrow-function]
+---*/
+
+testNotCoercibleToBigIntOperand(function (error, value1) {
+  testCoercibleToBigIntOperand(0n, function (value2) {
+    assert.throws(error, () => value1 * value2);
+    assert.throws(error, () => value2 * value1);
+  });
+});

test/language/expressions/right-shift/bigint-err.js

@@ -0,0 +1,27 @@
+// Copyright (C) 2017 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-signed-right-shift-operator-runtime-semantics-evaluation
+description: BigInt right shift type errors
+info: >
+  The Signed Right Shift Operator ( >> )
+
+  Runtime Semantics: Evaluation
+
+  ...
+  5. Let lnum be ? ToNumeric(leftValue).
+  6. Let rnum be ? ToNumeric(rightValue).
+  7. If Type(lnum) does not equal Type(rnum), throw a TypeError
+  exception.
+  ...
+includes: [typeCoercion.js]
+features: [BigInt, Symbol, Symbol.toPrimitive, arrow-function]
+---*/
+
+testNotCoercibleToBigIntOperand(function (error, value1) {
+  testCoercibleToBigIntOperand(0n, function (value2) {
+    assert.throws(error, () => value1 >> value2);
+    assert.throws(error, () => value2 >> value1);
+  });
+});

test/language/expressions/subtraction/bigint-err.js

@@ -0,0 +1,27 @@
+// Copyright (C) 2017 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-subtraction-operator-minus-runtime-semantics-evaluation
+description: BigInt subtraction type errors
+info: >
+  The Subtraction Operator ( - )
+
+  Runtime Semantics: Evaluation
+
+  ...
+  5. Let lnum be ? ToNumeric(lval).
+  6. Let rnum be ? ToNumeric(rval).
+  7. If Type(lnum) does not equal Type(rnum), throw a TypeError
+  exception.
+  ...
+includes: [typeCoercion.js]
+features: [BigInt, Symbol, Symbol.toPrimitive, arrow-function]
+---*/
+
+testNotCoercibleToBigIntOperand(function (error, value1) {
+  testCoercibleToBigIntOperand(0n, function (value2) {
+    assert.throws(error, () => value1 - value2);
+    assert.throws(error, () => value2 - value1);
+  });
+});

test/language/expressions/unsigned-right-shift/bigint-err.js

@@ -0,0 +1,27 @@
+// Copyright (C) 2017 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-unsigned-right-shift-operator-runtime-semantics-evaluation
+description: BigInt unsigned right shift type errors
+info: >
+  The Unsigned Right Shift Operator ( >>> )
+
+  Runtime Semantics: Evaluation
+
+  ...
+  5. Let lnum be ? ToNumeric(leftValue).
+  6. Let rnum be ? ToNumeric(rightValue).
+  7. If Type(lnum) does not equal Type(rnum), throw a TypeError
+  exception.
+  ...
+includes: [typeCoercion.js]
+features: [BigInt, Symbol, Symbol.toPrimitive, arrow-function]
+---*/
+
+testNotCoercibleToBigIntOperand(function (error, value1) {
+  testCoercibleToBigIntOperand(0n, function (value2) {
+    assert.throws(error, () => value1 >>> value2);
+    assert.throws(error, () => value2 >>> value1);
+  });
+});