//@ runBigIntEnabled

function assert(a, message) {
    if (!a)
        throw new Error(message);
}

function assertThrowTypeError(a, b, message) {
    try {
        let n = a | b;
        assert(false, message + ": Should throw TypeError, but executed without exception");
    } catch (e) {
        assert(e instanceof TypeError, message + ": expected TypeError, got: " + e);
    }
}

assertThrowTypeError(30n, "foo", "BigInt | String");
assertThrowTypeError("bar", 18757382984821n, "String | BigInt");
assertThrowTypeError(30n, Symbol("foo"), "BigInt | Symbol");
assertThrowTypeError(Symbol("bar"), 18757382984821n, "Symbol | BigInt");
assertThrowTypeError(30n, 3320, "BigInt | Int32");
assertThrowTypeError(33256, 18757382984821n, "Int32 | BigInt");
assertThrowTypeError(30n, 0.543, "BigInt | Double");
assertThrowTypeError(230.19293, 18757382984821n, "Double | BigInt");
assertThrowTypeError(30n, NaN, "BigInt | NaN");
assertThrowTypeError(NaN, 18757382984821n, "NaN | BigInt");
assertThrowTypeError(30n, NaN, "BigInt | NaN");
assertThrowTypeError(NaN, 18757382984821n, "NaN | BigInt");
assertThrowTypeError(30n, +Infinity, "BigInt | +Infinity");
assertThrowTypeError(+Infinity, 18757382984821n, "+Infinity | BigInt");
assertThrowTypeError(30n, -Infinity, "BigInt | -Infinity");
assertThrowTypeError(-Infinity, 18757382984821n, "-Infinity | BigInt");
assertThrowTypeError(30n, null, "BigInt | null");
assertThrowTypeError(null, 18757382984821n, "null | BigInt");
assertThrowTypeError(30n, undefined, "BigInt | undefined");
assertThrowTypeError(undefined, 18757382984821n, "undefined | BigInt");
assertThrowTypeError(30n, true, "BigInt | true");
assertThrowTypeError(true, 18757382984821n, "true | BigInt");
assertThrowTypeError(30n, false, "BigInt | false");
assertThrowTypeError(false, 18757382984821n, "false | BigInt");

// Error when returning from object

let o = {
    valueOf: function () { return Symbol("Foo"); }
};

assertThrowTypeError(30n, o, "BigInt | Object.valueOf returning Symbol");
assertThrowTypeError(o, 18757382984821n, "Object.valueOf returning Symbol | BigInt");

o = {
    valueOf: function () { return 33256; }
};

assertThrowTypeError(30n, o, "BigInt | Object.valueOf returning Int32");
assertThrowTypeError(o, 18757382984821n, "Object.valueOf returning Int32 | BigInt");

o = {
    valueOf: function () { return 0.453; }
};

assertThrowTypeError(30n, o, "BigInt | Object.valueOf returning Double");
assertThrowTypeError(o, 18757382984821n, "Object.valueOf returning Double | BigInt");

o = {
    toString: function () { return Symbol("Foo"); }
};

assertThrowTypeError(30n, o, "BigInt | Object.toString returning Symbol");
assertThrowTypeError(o, 18757382984821n, "Object.toString returning Symbol | BigInt");

o = {
    toString: function () { return 33256; }
};

assertThrowTypeError(30n, o, "BigInt | Object.toString returning Int32");
assertThrowTypeError(o, 18757382984821n, "Object.toString returning Int32 | BigInt");

o = {
    toString: function () { return 0.453; }
};

assertThrowTypeError(30n, o, "BigInt | Object.toString returning Double");
assertThrowTypeError(o, 18757382984821n, "Object.toString returning Double | BigInt");

o = {
    [Symbol.toPrimitive]: function () { return Symbol("Foo"); }
};

assertThrowTypeError(30n, o, "BigInt | Object.@@toPrimitive returning Symbol");
assertThrowTypeError(o, 18757382984821n, "Object.@@toPrimitive returning Symbol | BigInt");

o = {
    [Symbol.toPrimitive]: function () { return 33256; }
};

assertThrowTypeError(30n, o, "BigInt | Object.@@toPrimitive returning Int32");
assertThrowTypeError(o, 18757382984821n, "Object.@@toPrimitive returning Int32 | BigInt");

o = {
    [Symbol.toPrimitive]: function () { return 0.453; }
};

assertThrowTypeError(30n, o, "BigInt | Object.@@toPrimitive returning Double");
assertThrowTypeError(o, 18757382984821n, "Object.@@toPrimitive returning Double | BigInt");