Support type arguments after typeof (#15466)

changelog_unreleased/flow/15466.md

@@ -0,0 +1,8 @@
+#### Support type arguments after `typeof` (#15466 by @sosukesuzuki)
+
+Supports type arguments after `typeof` syntax supported since [Flow v0.127.0](https://github.com/facebook/flow/blob/HEAD/Changelog.md#02170):
+
+<!-- prettier-ignore -->
+```jsx
+type Foo = typeof MyGenericClass<string, number>;
+```

src/language-js/print/type-annotation.js

@@ -521,12 +521,11 @@ function printArrayType(print) {
 - `TypeofTypeAnnotation`
 */
 function printTypeQuery({ node }, print) {
-  return [
-    "typeof ",
-    ...(node.type === "TSTypeQuery"
-      ? [print("exprName"), print("typeParameters")]
-      : [print("argument")]),
-  ];
+  const argumentPropertyName =
+    node.type === "TSTypeQuery" ? "exprName" : "argument";
+  const typeArgsPropertyName =
+    node.type === "TSTypeQuery" ? "typeParameters" : "typeArguments";
+  return ["typeof ", print(argumentPropertyName), print(typeArgsPropertyName)];
 }
 
 function printTypePredicate(path, print) {

src/language-js/traverse/visitor-keys.evaluate.js

@@ -43,6 +43,7 @@ const additionalVisitorKeys = {
   AsExpression: ["expression", "typeAnnotation"],
   AsConstExpression: ["expression"],
   SatisfiesExpression: ["expression", "typeAnnotation"],
+  TypeofTypeAnnotation: ["argument", "typeArguments"],
 };
 
 const excludeKeys = {

tests/format/flow/typeof/__snapshots__/jsfmt.spec.js.snap

@@ -0,0 +1,15 @@
+// Jest Snapshot v1, https://goo.gl/fbAQLP
+
+exports[`typeof-with-type-arguments.js format 1`] = `
+====================================options=====================================
+parsers: ["flow"]
+printWidth: 80
+                                                                                | printWidth
+=====================================input======================================
+type Foo = typeof MyGenericClass<string, number>;
+
+=====================================output=====================================
+type Foo = typeof MyGenericClass<string, number>;
+
+================================================================================
+`;

tests/format/flow/typeof/jsfmt.spec.js

@@ -0,0 +1 @@
+run_spec(import.meta, ["flow"]);

tests/format/flow/typeof/typeof-with-type-arguments.js

@@ -0,0 +1 @@
+type Foo = typeof MyGenericClass<string, number>;

tests/unit/__snapshots__/visitor-keys.js.snap

@@ -1043,6 +1043,7 @@ exports[`visitor keys estree 1`] = `
   ],
   "TypeofTypeAnnotation": [
     "argument",
+    "typeArguments",
   ],
   "UnaryExpression": [
     "argument",