fix: Correctly parse cls.fn<C> = x (#16476)

* fix TSInstantiationExpression

* update tests

packages/babel-parser/src/plugins/typescript/index.ts

@@ -3708,6 +3708,7 @@ export default (superClass: ClassWithMixin<typeof Parser, IJSXParserMixin>) =>
             TSTypeCastExpression: true,
             TSParameterProperty: "parameter",
             TSNonNullExpression: "expression",
+            TSInstantiationExpression: "expression",
             TSAsExpression: (binding !== BindingFlag.TYPE_NONE ||
               !isUnparenthesizedInAssign) && ["expression", true],
             TSSatisfiesExpression: (binding !== BindingFlag.TYPE_NONE ||

packages/babel-parser/test/fixtures/typescript/assign/TSTypeParameterInstantiation-babel-7/input.ts

@@ -0,0 +1,18 @@
+export abstract class AbstractClass {
+    public static myFunc?: <M extends AbstractClass>(
+        this: AbstractClass,
+        instance: M,
+    ) => void;
+}
+
+export class ConcreteClass extends AbstractClass {
+    declare myField: string;
+}
+
+export const init = () => {
+    const cls = ConcreteClass;
+
+    cls.myFunc<ConcreteClass> = (instance) => {
+        console.log(instance.myField);
+    }
+}

packages/babel-parser/test/fixtures/typescript/assign/TSTypeParameterInstantiation-babel-7/options.json

@@ -0,0 +1,4 @@
+{
+  "BABEL_8_BREAKING": false,
+  "plugins": ["typescript"]
+}

packages/babel-parser/test/fixtures/typescript/assign/TSTypeParameterInstantiation/input.ts

@@ -0,0 +1,18 @@
+export abstract class AbstractClass {
+    public static myFunc?: <M extends AbstractClass>(
+        this: AbstractClass,
+        instance: M,
+    ) => void;
+}
+
+export class ConcreteClass extends AbstractClass {
+    declare myField: string;
+}
+
+export const init = () => {
+    const cls = ConcreteClass;
+
+    cls.myFunc<ConcreteClass> = (instance) => {
+        console.log(instance.myField);
+    }
+}

packages/babel-parser/test/fixtures/typescript/assign/TSTypeParameterInstantiation/options.json

@@ -0,0 +1,4 @@
+{
+  "BABEL_8_BREAKING": true,
+  "plugins": ["typescript"]
+}

packages/babel-plugin-transform-typescript/test/fixtures/lvalues/TSTypeParameterInstantiation/input.ts

@@ -0,0 +1,18 @@
+export abstract class AbstractClass {
+    public static myFunc?: <M extends AbstractClass>(
+        this: AbstractClass,
+        instance: M,
+    ) => void;
+}
+
+export class ConcreteClass extends AbstractClass {
+    declare myField: string;
+}
+
+export const init = () => {
+    const cls = ConcreteClass;
+
+    cls.myFunc<ConcreteClass> = (instance) => {
+        console.log(instance.myField);
+    }
+}

packages/babel-plugin-transform-typescript/test/fixtures/lvalues/TSTypeParameterInstantiation/options.json

@@ -0,0 +1,11 @@
+{
+  "sourceType": "module",
+  "plugins": [
+    [
+      "transform-typescript",
+      {
+        "allowDeclareFields": true
+      }
+    ]
+  ]
+}

packages/babel-plugin-transform-typescript/test/fixtures/lvalues/TSTypeParameterInstantiation/output.mjs

@@ -0,0 +1,10 @@
+export class AbstractClass {
+  static myFunc;
+}
+export class ConcreteClass extends AbstractClass {}
+export const init = () => {
+  const cls = ConcreteClass;
+  cls.myFunc = instance => {
+    console.log(instance.myField);
+  };
+};