Support type params in CallExpression, NewExpression (TS)

Already supported in Flow.

Fixes #343

Author: jgoz

def/typescript.ts

@@ -484,4 +484,16 @@ export default function (fork: Fork) {
       def("TSDeclareMethod"),
       TSTypeMember
     )]);
+
+  def("CallExpression")
+    .field("typeParameters", or(
+      null,
+      def("TSTypeParameterInstantiation"),
+    ), defaults["null"]);
+
+  def("NewExpression")
+    .field("typeParameters", or(
+      null,
+      def("TSTypeParameterInstantiation"),
+    ), defaults["null"]);
 };

gen/builders.ts

@@ -584,7 +584,8 @@ export interface NewExpressionBuilder {
       callee: K.ExpressionKind,
       comments?: K.CommentKind[] | null,
       loc?: K.SourceLocationKind | null,
-      typeArguments?: null | K.TypeParameterInstantiationKind
+      typeArguments?: null | K.TypeParameterInstantiationKind,
+      typeParameters?: null | K.TSTypeParameterInstantiationKind
     }
   ): namedTypes.NewExpression;
 }
@@ -601,7 +602,8 @@ export interface CallExpressionBuilder {
       comments?: K.CommentKind[] | null,
       loc?: K.SourceLocationKind | null,
       optional?: boolean,
-      typeArguments?: null | K.TypeParameterInstantiationKind
+      typeArguments?: null | K.TypeParameterInstantiationKind,
+      typeParameters?: null | K.TSTypeParameterInstantiationKind
     }
   ): namedTypes.CallExpression;
 }
@@ -1192,7 +1194,8 @@ export interface OptionalCallExpressionBuilder {
       comments?: K.CommentKind[] | null,
       loc?: K.SourceLocationKind | null,
       optional?: boolean,
-      typeArguments?: null | K.TypeParameterInstantiationKind
+      typeArguments?: null | K.TypeParameterInstantiationKind,
+      typeParameters?: null | K.TSTypeParameterInstantiationKind
     }
   ): namedTypes.OptionalCallExpression;
 }

gen/namedTypes.ts

@@ -303,13 +303,15 @@ export namespace namedTypes {
     callee: K.ExpressionKind;
     arguments: (K.ExpressionKind | K.SpreadElementKind)[];
     typeArguments?: null | K.TypeParameterInstantiationKind;
+    typeParameters?: null | K.TSTypeParameterInstantiationKind;
   }
 
   export interface CallExpression extends Omit<Expression, "type">, Omit<ChainElement, "type"> {
     type: "CallExpression";
     callee: K.ExpressionKind;
     arguments: (K.ExpressionKind | K.SpreadElementKind)[];
     typeArguments?: null | K.TypeParameterInstantiationKind;
+    typeParameters?: null | K.TSTypeParameterInstantiationKind;
   }
 
   export interface RestElement extends Omit<Pattern, "type"> {

test/typescript.ts

@@ -166,6 +166,30 @@ glob("**/*.ts", {
       });
     });
   });
+});
+
+describe('typescript types', () => {
+  it('Explicit type arguments', function () {
+    const program = babelParse([
+      'test<A>();',
+      'test<B, C>();',
+      'new test<D>();',
+      'new test<E, F>();',
+    ].join("\n"), {
+      plugins: ['typescript']
+      });
+
+    const typeParamNames: any[] = []
+
+    visit(program, {
+      visitTSTypeReference(path: any) {
+        typeParamNames.push(path.node.typeName.name);
+        this.traverse(path);
+      }
+    });
+
+    assert.deepEqual(typeParamNames, ["A", "B", "C", "D", "E", "F"]);
+  });
 
   describe('scope', () => {
     const scope = [