Support TS 4.7 instantiation expression (prettier#12898)

* Handle `TSInstantiationExpression`

* Print `typeParameters` for `TSTypeQuery`

* Add tests

* Add more tests

src/language-js/print/typescript.js

@@ -202,7 +202,7 @@ function printTypescript(path, options, print) {
 
       return parts;
     case "TSTypeQuery":
-      return ["typeof ", print("exprName")];
+      return ["typeof ", print("exprName"), print("typeParameters")];
     case "TSIndexSignature": {
       const parent = path.getParentNode();
 
@@ -520,6 +520,8 @@ function printTypescript(path, options, print) {
       return ["?", print("typeAnnotation")];
     case "TSJSDocNonNullableType":
       return ["!", print("typeAnnotation")];
+    case "TSInstantiationExpression":
+      return [print("expression"), print("typeParameters")];
     default:
       /* istanbul ignore next */
       throw new Error(

tests/format/misc/typescript-babel-only/__snapshots__/jsfmt.spec.js.snap

@@ -218,6 +218,34 @@ type X9<U, T> = T extends (infer U extends number ? U : T) ? U : T;
 ================================================================================
 `;
 
+exports[`ts-4.7-instantiation-expression.ts format 1`] = `
+====================================options=====================================
+parsers: ["babel-ts"]
+printWidth: 80
+                                                                                | printWidth
+=====================================input======================================
+// basic
+const foo = bar<T>;
+
+// typeof
+let x: typeof y.z<w>;
+
+// new
+new A<T>;
+
+=====================================output=====================================
+// basic
+const foo = bar<T>;
+
+// typeof
+let x: typeof y.z<w>;
+
+// new
+new A<T>();
+
+================================================================================
+`;
+
 exports[`tuple-labeled-ts.ts format 1`] = `
 ====================================options=====================================
 parsers: ["babel-ts"]

tests/format/misc/typescript-babel-only/ts-4.7-instantiation-expression.ts

@@ -0,0 +1,8 @@
+// basic
+const foo = bar<T>;
+
+// typeof
+let x: typeof y.z<w>;
+
+// new
+new A<T>;

tests/format/typescript/instantiation-expression/__snapshots__/jsfmt.spec.js.snap

@@ -0,0 +1,38 @@
+// Jest Snapshot v1, https://goo.gl/fbAQLP
+
+exports[`binary-expr.ts format 1`] = `
+====================================options=====================================
+parsers: ["typescript"]
+printWidth: 80
+                                                                                | printWidth
+=====================================input======================================
+new A < B >
+C
+
+=====================================output=====================================
+new A() < B > C;
+
+================================================================================
+`;
+
+exports[`inferface-asi.ts format 1`] = `
+====================================options=====================================
+parsers: ["typescript"]
+printWidth: 80
+                                                                                | printWidth
+=====================================input======================================
+interface Example {
+  (a: number): typeof a
+      
+  <T>(): void
+};
+
+=====================================output=====================================
+interface Example {
+  (a: number): typeof a;
+
+  <T>(): void;
+}
+
+================================================================================
+`;

tests/format/typescript/instantiation-expression/binary-expr.ts

@@ -0,0 +1,2 @@
+new A < B >
+C

tests/format/typescript/instantiation-expression/inferface-asi.ts

@@ -0,0 +1,5 @@
+interface Example {
+  (a: number): typeof a
+
+  <T>(): void
+};

tests/format/typescript/instantiation-expression/jsfmt.spec.js

@@ -0,0 +1 @@
+run_spec(__dirname, ["typescript"]);