JSTests/stress/big-int-type-of-proven-type.js

//@ runDefault("--useBigInt=true", "--useConcurrentJIT=false")

function assert(input, expected) {
    if (input !== expected)
        throw new Error("Bad result: " + input);
}

function foo(o) {
    let newString = o.toString();
    if (typeof o === "bigint")
        return newString;
}
noInline(foo);

for (let i = 0; i < 10000; i++) {
    assert(foo(3n), "3");
}