Fix: missing typeParameters in expressions

Author: armano2

analyze-scope.js

@@ -218,6 +218,20 @@ class Referencer extends OriginalReferencer {
         super.visitClass(node);
     }
 
+    /**
+     * Visit typeParameters.
+     * @param {*} node The node to visit.
+     * @returns {void}
+     */
+    visitTypeParameters(node) {
+        if (node.typeParameters) {
+            const upperTypeMode = this.typeMode;
+            this.typeMode = true;
+            this.visit(node.typeParameters);
+            this.typeMode = upperTypeMode;
+        }
+    }
+
     /**
      * Override.
      * Don't create the reference object in the type mode.
@@ -286,6 +300,41 @@ class Referencer extends OriginalReferencer {
         this.typeMode = upperTypeMode;
     }
 
+    /**
+     * Visit new expression.
+     * @param {NewExpression} node The NewExpression node to visit.
+     * @returns {void}
+     */
+    NewExpression(node) {
+        this.visitTypeParameters(node);
+        this.visit(node.callee);
+        if (node.arguments) {
+            node.arguments.forEach(this.visit, this);
+        }
+    }
+
+    /**
+     * Override.
+     * Visit call expression.
+     * @param {CallExpression} node The CallExpression node to visit.
+     * @returns {void}
+     */
+    CallExpression(node) {
+        this.visitTypeParameters(node);
+
+        // Check this is direct call to eval
+        if (!this.scopeManager.__ignoreEval() && node.callee.type === "Identifier" && node.callee.name === "eval") {
+
+            // NOTE: This should be `variableScope`. Since direct eval call always creates Lexical environment and
+            // let / const should be enclosed into it. Only VariableDeclaration affects on the caller's environment.
+            this.currentScope().variableScope.__detectEval();
+        }
+        this.visit(node.callee);
+        if (node.arguments) {
+            node.arguments.forEach(this.visit, this);
+        }
+    }
+
     /**
      * Define the variable of this function declaration only once.
      * Because to avoid confusion of `no-redeclare` rule by overloading.

tests/fixtures/scope-analysis/expression-type-parameters.ts

@@ -0,0 +1,5 @@
+const a, b, c, d, e, f
+
+new foo<Bar>(a, b, c);
+
+baz<Bar>(d, e, f);