Name mangler of minifier should understand block scoping

[kdy1]

While working on #5763, I found that terser reuses variable names in more cases compared to swc.

Input

function test(foo, bar) {
    try {
        const bar = {};
        throw "PASS";
    } catch (error) {
        return bar(error);
    }
}
console.log(test(null, (x) => x));

Current

function n(n, o) {
    try {
        const t = {};
        throw "PASS";
    } catch (c) {
        return o(c);
    }
}
console.log(n(null, (n)=>n));

terser output

function n(n, o) {
    try {
        const n = {};
        throw "PASS";
    } catch (n) {
        return o(n);
    }
}
console.log(n(null, (n) => n));

[hyf0]

@kdy1 Are there any traps to implement this? Or just improving the analysis here would be good enough?

[kdy1]

There's no trap and improving the analyzer is the all of the required work

[swc-bot]

This closed issue has been automatically locked because it had no new activity for a month. If you are running into a similar issue, please create a new issue with the steps to reproduce. Thank you.