Fix decorator initProto usage in derived classes

packages/babel-plugin-proposal-decorators/src/transformer-2023-05.ts

@@ -949,7 +949,7 @@ function transformClass(
       value.replaceWith(t.sequenceExpression(body));
     } else if (constructorPath) {
       if (path.node.superClass) {
-        path.traverse({
+        constructorPath.traverse({
           CallExpression: {
             exit(path) {
               if (!path.get("callee").isSuper()) return;
@@ -961,6 +961,11 @@ function transformClass(
               path.skip();
             },
           },
+          ClassMethod(path) {
+            if (path.node.kind === "constructor") {
+              path.skip();
+            }
+          },
         });
       } else {
         constructorPath.node.body.body.unshift(
@@ -1336,7 +1341,7 @@ function NamedEvaluationVisitoryFactory(
             t.assignmentExpression(
               "=",
               ref,
-              t.callExpression(state.addHelper("toPropertyKey"), [key]),
+              createToPropertyKeyCall(state, key),
             ),
           );
         return t.cloneNode(ref);

packages/babel-plugin-proposal-decorators/test/fixtures/2021-12-misc--to-es2015/initProto-existing-derived-constructor/exec.js

@@ -1,28 +1,173 @@
-let self, a, initCalled;
+{
+  let self, a, initCalled;
 
-function deco(_, context) {
-  context.addInitializer(() => {
-    initCalled = true;
-  })
-}
+  function deco(_, context) {
+    context.addInitializer(() => {
+      initCalled = true;
+    });
+  }
 
-class B {
-  constructor(s) {
-    a = s;
+  class B {
+    constructor(s) {
+      a = s;
+    }
   }
-}
 
-class A extends B {
-  constructor() {
-    let a = 2;
-    self = super(a);
+  class A extends B {
+    constructor() {
+      let a = 2;
+      self = super(a);
+    }
+
+    @deco
+    method() {}
   }
 
-  @deco
-  method() {}
+  let instance = new A();
+  expect(self).toBe(instance);
+  expect(a).toBe(2);
+  expect(initCalled).toBe(true);
 }
 
-let instance = new A();
-expect(self).toBe(instance);
-expect(a).toBe(2);
-expect(initCalled).toBe(true);
+{
+  const dec = (fn) => {
+    return function () {
+      return fn.call(this) + 100;
+    };
+  };
+
+  class B {
+    constructor(v) {
+      this.a = v;
+    }
+    method() {
+      return this.a;
+    }
+  }
+
+  {
+    ("super() nested within another constructor should not be transformed");
+    let log = [];
+    class A extends B {
+      constructor() {
+        log.push(super(3).method());
+        new (class Dummy extends B {
+          constructor() {
+            log.push(super(4).method());
+          }
+        })();
+      }
+
+      @dec
+      method() {
+        return this.a;
+      }
+    }
+
+    new A();
+
+    expect(log + "").toBe("103,4");
+  }
+
+  {
+    ("super() not in decorated derived constructor should not be transformed: computed key");
+    let log = [];
+    new (class Dummy extends B {
+      constructor() {
+        let key;
+        class A extends B {
+          constructor() {
+            log.push(super(6).method());
+          }
+
+          @dec
+          method() {
+            return this.a;
+          }
+
+          [((key = super(5).method()), log.push(key), key)];
+        }
+
+        new A();
+      }
+    })();
+
+    expect(log + "").toBe("5,106");
+  }
+
+  {
+    ("super() in decorator expression within decorated derived constructor should be transformed: decorator expression");
+    let log = [];
+    const noop = () => (fn) => fn;
+    new (class extends B {
+      constructor() {
+        class A extends B {
+          constructor() {
+            log.push(super(8).method());
+          }
+
+          @dec
+          method() {
+            return this.a;
+          }
+
+          @noop(log.push(super(7).method())) noop() {}
+        }
+
+        new A();
+      }
+    })();
+
+    expect(log + "").toBe("7,108");
+  }
+
+  {
+    ("super() within decorated derived constructor should be transformed: computed key");
+    let log = [];
+    class A extends B {
+      constructor() {
+        let key;
+        new (class Dummy extends B {
+          constructor() {
+            log.push(super(10).method());
+          }
+          [((key = super(9).method()), log.push(key), key)];
+        })();
+      }
+
+      @dec
+      method() {
+        return this.a;
+      }
+    }
+
+    new A();
+
+    expect(log + "").toBe("109,10");
+  }
+
+  {
+    ("super() within decorated derived constructor should be transformed: decorator expression");
+    let log = [];
+    const noop = () => (fn) => fn;
+    class A extends B {
+      constructor() {
+        new (class Dummy extends B {
+          constructor() {
+            log.push(super(12).method());
+          }
+          @noop(log.push(super(11).method())) noop() {}
+        })();
+      }
+
+      @dec
+      method() {
+        return this.a;
+      }
+    }
+
+    new A();
+
+    expect(log + "").toBe("111,12");
+  }
+}

packages/babel-plugin-proposal-decorators/test/fixtures/2021-12-misc/initProto-existing-derived-constructor/exec.js

@@ -0,0 +1,173 @@
+{
+  let self, a, initCalled;
+
+  function deco(_, context) {
+    context.addInitializer(() => {
+      initCalled = true;
+    });
+  }
+
+  class B {
+    constructor(s) {
+      a = s;
+    }
+  }
+
+  class A extends B {
+    constructor() {
+      let a = 2;
+      self = super(a);
+    }
+
+    @deco
+    method() {}
+  }
+
+  let instance = new A();
+  expect(self).toBe(instance);
+  expect(a).toBe(2);
+  expect(initCalled).toBe(true);
+}
+
+{
+  const dec = (fn) => {
+    return function () {
+      return fn.call(this) + 100;
+    };
+  };
+
+  class B {
+    constructor(v) {
+      this.a = v;
+    }
+    method() {
+      return this.a;
+    }
+  }
+
+  {
+    ("super() nested within another constructor should not be transformed");
+    let log = [];
+    class A extends B {
+      constructor() {
+        log.push(super(3).method());
+        new (class Dummy extends B {
+          constructor() {
+            log.push(super(4).method());
+          }
+        })();
+      }
+
+      @dec
+      method() {
+        return this.a;
+      }
+    }
+
+    new A();
+
+    expect(log + "").toBe("103,4");
+  }
+
+  {
+    ("super() not in decorated derived constructor should not be transformed: computed key");
+    let log = [];
+    new (class Dummy extends B {
+      constructor() {
+        let key;
+        class A extends B {
+          constructor() {
+            log.push(super(6).method());
+          }
+
+          @dec
+          method() {
+            return this.a;
+          }
+
+          [((key = super(5).method()), log.push(key), key)];
+        }
+
+        new A();
+      }
+    })();
+
+    expect(log + "").toBe("5,106");
+  }
+
+  {
+    ("super() in decorator expression within decorated derived constructor should be transformed: decorator expression");
+    let log = [];
+    const noop = () => (fn) => fn;
+    new (class extends B {
+      constructor() {
+        class A extends B {
+          constructor() {
+            log.push(super(8).method());
+          }
+
+          @dec
+          method() {
+            return this.a;
+          }
+
+          @noop(log.push(super(7).method())) noop() {}
+        }
+
+        new A();
+      }
+    })();
+
+    expect(log + "").toBe("7,108");
+  }
+
+  {
+    ("super() within decorated derived constructor should be transformed: computed key");
+    let log = [];
+    class A extends B {
+      constructor() {
+        let key;
+        new (class Dummy extends B {
+          constructor() {
+            log.push(super(10).method());
+          }
+          [((key = super(9).method()), log.push(key), key)];
+        })();
+      }
+
+      @dec
+      method() {
+        return this.a;
+      }
+    }
+
+    new A();
+
+    expect(log + "").toBe("109,10");
+  }
+
+  {
+    ("super() within decorated derived constructor should be transformed: decorator expression");
+    let log = [];
+    const noop = () => (fn) => fn;
+    class A extends B {
+      constructor() {
+        new (class Dummy extends B {
+          constructor() {
+            log.push(super(12).method());
+          }
+          @noop(log.push(super(11).method())) noop() {}
+        })();
+      }
+
+      @dec
+      method() {
+        return this.a;
+      }
+    }
+
+    new A();
+
+    expect(log + "").toBe("111,12");
+  }
+}