fix corner case with destructuring `catch` (#4426)

fixes #4425

1 files changed, 36 insertions, 0 deletions

diff --git a/test/compress/destructured.js b/test/compress/destructured.js
index 06c9fddb..d36bbf33 100644
--- a/test/compress/destructured.js
+++ b/test/compress/destructured.js
@@ -2001,3 +2001,39 @@ issue_4420: {
     expect_stdout: "PASS"
     node_version: ">=8"
 }
+
+issue_4425: {
+    rename = true
+    input: {
+        var a;
+        console.log(function() {
+            try {
+                try {
+                    throw 42;
+                } catch ({
+                    [a]: a,
+                }) {}
+                return "FAIL";
+            } catch (e) {
+                return "PASS";
+            }
+        }());
+    }
+    expect: {
+        var a;
+        console.log(function() {
+            try {
+                try {
+                    throw 42;
+                } catch ({
+                    [b]: b,
+                }) {}
+                return "FAIL";
+            } catch (c) {
+                return "PASS";
+            }
+        }());
+    }
+    expect_stdout: "PASS"
+    node_version: ">=8"
+}