Translate $ArrayLike to ArrayLike

Summary: Updates `flow-api-translator` in a way that it translates Flow's `$ArrayLike` to TS's `ArrayLike`.

Reviewed By: pieterv

Differential Revision: D70387099

fbshipit-source-id: 31a5f2ba08e576b71fa15824716561641f85a562

Author: j-piasecki

tools/hermes-parser/js/flow-api-translator/__tests__/flowDefToTSDef/fixtures/types/utilities/$ArrayLike/spec.js

@@ -0,0 +1,11 @@
+/**
+ * Copyright (c) Meta Platforms, Inc. and affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *
+ * @flow strict-local
+ * @format
+ */
+
+type T = $ArrayLike<Foo>;

tools/hermes-parser/js/flow-api-translator/__tests__/flowDefToTSDef/fixtures/types/utilities/$ArrayLike/translate-result.shot

@@ -0,0 +1,16 @@
+// Jest Snapshot v1, https://goo.gl/fbAQLP
+
+exports[`flowDefToTSDef types/utilities/$ArrayLike 1`] = `
+"/**
+ * Copyright (c) Meta Platforms, Inc. and affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *
+ *
+ * @format
+ */
+
+type T = ArrayLike<Foo>;
+"
+`;

tools/hermes-parser/js/flow-api-translator/src/flowDefToTSDef.js

@@ -2069,6 +2069,24 @@ const getTransforms = (
           return unsupportedAnnotation(node, fullTypeName);
         }
 
+        case '$ArrayLike': {
+          // `$ArrayLike<T>` => `ArrayLike<T>`
+          return {
+            type: 'TSTypeReference',
+            loc: DUMMY_LOC,
+            typeName: {
+              type: 'Identifier',
+              loc: DUMMY_LOC,
+              name: 'ArrayLike',
+            },
+            typeParameters: {
+              type: 'TSTypeParameterInstantiation',
+              loc: DUMMY_LOC,
+              params: assertHasExactlyNTypeParameters(1),
+            },
+          };
+        }
+
         case '$Diff':
         case '$Rest': {
           // `$Diff<A, B>` => `Pick<A, Exclude<keyof A, keyof B>>`