Arithmetic expression may have side effect even with current assumption

[Austaras]

Describe the bug

Currently SWC minifier would assume toString and valueOf to be pure so it would remove a + b. However if a is number and b is BigInt, it would result in a TypeError

Input code

export function foo(a, b) {
    a + b
}

Config

Playground link (or link to the minimal reproduction)

link

SWC Info output

No response

Expected behavior

No idea

Actual behavior

export function foo(a, b) {
}

Version

Additional context

terser/terser#1301