flow-api-translator 0.36.1 → 0.37.0

package/dist/src/flowImportTo.js

@@ -1,12 +1,3 @@
-/**
- * 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
- */
 'use strict';
 
 Object.defineProperty(exports, "__esModule", {

package/dist/src/flowToFlowDef.js

@@ -1,12 +1,3 @@
-/**
- * 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
- */
 'use strict';
 
 Object.defineProperty(exports, "__esModule", {
@@ -49,7 +40,6 @@ function getTopLevelStatement(node, context) {
     var _currentNode$parent;
 
     if (((_currentNode$parent = currentNode.parent) == null ? void 0 : _currentNode$parent.type) === 'Program') {
-      // $FlowFixMe[incompatible-type]
       return currentNode;
     }
 
@@ -60,20 +50,10 @@ function getTopLevelStatement(node, context) {
 }
 
 function transferProgramStatementProperties(stmt, orgStmt) {
-  // $FlowExpectedError[prop-missing]
-  // $FlowExpectedError[incompatible-use]
-  stmt.comments = orgStmt.comments; // $FlowExpectedError[incompatible-use]
-
-  stmt.range = orgStmt.range; // $FlowExpectedError[incompatible-use]
-
+  stmt.comments = orgStmt.comments;
+  stmt.range = orgStmt.range;
   stmt.loc = orgStmt.loc;
 }
-/**
- * Consume an arbitrary Flow AST and convert it into a type definition file.
- *
- * To do this all runtime logic will be stripped and only types that describe the module boundary will remain.
- */
-
 
 function flowToFlowDef(ast, code, scopeManager, opts) {
   var _ast$interpreter$valu, _ast$interpreter;
@@ -123,8 +103,7 @@ function flowToFlowDef(ast, code, scopeManager, opts) {
   function updateProcessedStatement(stmt) {
     processedStatements.add(stmt);
     pendingStatements.delete(stmt);
-  } // Process all export statements
-
+  }
 
   for (const stmt of ast.body) {
     const resultExport = convertExport(stmt, context);
@@ -203,14 +182,11 @@ function convertExport(stmt, context) {
         if (expr.type === 'AssignmentExpression' && expr.left.type === 'MemberExpression') {
           const member = expr.left;
 
-          if ( // exports.A = 1;
-          member.object.type === 'Identifier' && member.object.name === 'exports' || // module.exports.A = 1;
-          member.object.type === 'MemberExpression' && member.object.object.type === 'Identifier' && member.object.object.name === 'module' && member.object.property.type === 'Identifier' && member.object.property.name === 'exports') {
+          if (member.object.type === 'Identifier' && member.object.name === 'exports' || member.object.type === 'MemberExpression' && member.object.object.type === 'Identifier' && member.object.object.name === 'module' && member.object.property.type === 'Identifier' && member.object.property.name === 'exports') {
             throw (0, _ErrorUtils.translationError)(stmt, `convertExport: Named CommonJS exports not supported. Use either \`module.exports = {...}\` or ES6 exports.`, context);
           }
 
-          if ( // exports.A = 1;
-          member.object.type === 'Identifier' && member.object.name === 'module' && member.property.type === 'Identifier' && member.property.name === 'exports') {
+          if (member.object.type === 'Identifier' && member.object.name === 'module' && member.property.type === 'Identifier' && member.property.name === 'exports') {
             const [typeAnnotation, deps] = convertExpressionToTypeAnnotation(expr.right, context);
             return [_hermesTransform.t.DeclareModuleExports({
               typeAnnotation: _hermesTransform.t.TypeAnnotation({
@@ -225,14 +201,12 @@ function convertExport(stmt, context) {
 
     default:
       {
-        // Skip non exported functions
         return null;
       }
   }
 }
 
 function stripUnusedDefs(detachedStmt, usedDeps, context) {
-  // $FlowExpectedError[incompatible-type]
   const stmt = detachedStmt;
 
   switch (stmt.type) {
@@ -315,6 +289,12 @@ function convertStatement(stmt, context) {
 
     case 'VariableDeclaration':
       {
+        const requireImport = convertRequireToImport(stmt);
+
+        if (requireImport != null) {
+          return requireImport;
+        }
+
         const [result, deps] = convertVariableDeclaration(stmt, context);
         return [result, deps];
       }
@@ -396,7 +376,6 @@ function convertExpressionToTypeAnnotation(expr, context) {
 }
 
 function inheritComments(fromNode, toNode) {
-  // $FlowFixMe[unclear-type]
   toNode.comments = fromNode.comments;
   return toNode;
 }
@@ -425,7 +404,6 @@ function convertObjectExpression(expr, context) {
 
             const [resultExpr, deps] = convertAFunction(prop.value, context);
             return [inheritComments(prop, _hermesTransform.t.ObjectTypeMethodSignature({
-              // $FlowFixMe[incompatible-type]
               key: (0, _hermesTransform.asDetachedNode)(prop.key),
               value: resultExpr
             })), deps];
@@ -439,7 +417,6 @@ function convertObjectExpression(expr, context) {
             const kind = prop.kind;
             const [resultExpr, deps] = convertAFunction(prop.value, context);
             return [inheritComments(prop, _hermesTransform.t.ObjectTypeAccessorSignature({
-              // $FlowFixMe[incompatible-type]
               key: (0, _hermesTransform.asDetachedNode)(prop.key),
               kind,
               value: resultExpr
@@ -448,7 +425,6 @@ function convertObjectExpression(expr, context) {
 
           const [resultExpr, deps] = convertExpressionToTypeAnnotation(prop.value, context);
           return [inheritComments(prop, _hermesTransform.t.ObjectTypePropertySignature({
-            // $FlowFixMe[incompatible-type]
             key: (0, _hermesTransform.asDetachedNode)(prop.key),
             value: resultExpr,
             optional: false,
@@ -726,6 +702,76 @@ function convertVariableDeclaration(stmt, context) {
   }), annotDeps];
 }
 
+function convertRequireToImport(stmt) {
+  if (stmt.declarations.length !== 1) {
+    return null;
+  }
+
+  const decl = stmt.declarations[0];
+  const init = decl.init;
+
+  if (init == null || init.type !== 'CallExpression' || init.callee.type !== 'Identifier' || init.callee.name !== 'require' || init.arguments.length !== 1) {
+    return null;
+  }
+
+  const sourceArg = init.arguments[0];
+
+  if (!(0, _hermesEstree.isStringLiteral)(sourceArg)) {
+    return null;
+  }
+
+  const id = decl.id;
+
+  if (id.type === 'Identifier') {
+    return [_hermesTransform.t.ImportDeclaration({
+      importKind: 'value',
+      source: (0, _hermesTransform.asDetachedNode)(sourceArg),
+      specifiers: [_hermesTransform.t.ImportDefaultSpecifier({
+        local: _hermesTransform.t.Identifier({
+          name: id.name
+        })
+      })],
+      attributes: []
+    }), []];
+  }
+
+  if (id.type === 'ObjectPattern') {
+    const specifiers = [];
+
+    for (const prop of id.properties) {
+      if (prop.type === 'RestElement') {
+        return null;
+      }
+
+      const key = prop.key;
+      const value = prop.value;
+
+      if (key.type !== 'Identifier' || value.type !== 'Identifier') {
+        return null;
+      }
+
+      specifiers.push(_hermesTransform.t.ImportSpecifier({
+        imported: _hermesTransform.t.Identifier({
+          name: key.name
+        }),
+        local: _hermesTransform.t.Identifier({
+          name: value.name
+        }),
+        importKind: null
+      }));
+    }
+
+    return [_hermesTransform.t.ImportDeclaration({
+      importKind: 'value',
+      source: (0, _hermesTransform.asDetachedNode)(sourceArg),
+      specifiers,
+      attributes: []
+    }), []];
+  }
+
+  return null;
+}
+
 function convertImportDeclaration(stmt, context) {
   if (stmt.attributes.length > 0) {
     throw (0, _ErrorUtils.translationError)(stmt, 'ImportDeclaration: attributes not supported', context);
@@ -754,7 +800,6 @@ function convertClassDeclaration(class_, context) {
   }
 
   return [_hermesTransform.t.DeclareClass({
-    // $FlowFixMe[incompatible-type]
     id: (0, _hermesTransform.asDetachedNode)(class_.id),
     typeParameters: resultTypeParams,
     implements: class_.implements.map(impl => (0, _hermesTransform.asDetachedNode)(impl)),
@@ -886,7 +931,6 @@ function convertClassMember(member, context) {
       {
         var _member$value;
 
-        // PrivateIdentifier's are not exposed so can be stripped.
         if (member.key.type === 'PrivateIdentifier') {
           return EMPTY_TRANSLATION_RESULT;
         }
@@ -902,7 +946,6 @@ function convertClassMember(member, context) {
         if (((_member$value = member.value) == null ? void 0 : _member$value.type) === 'ArrowFunctionExpression' && member.typeAnnotation == null) {
           const [resultTypeAnnotation, deps] = convertAFunction(member.value, context);
           return [inheritComments(member, _hermesTransform.t.ObjectTypePropertySignature({
-            // $FlowFixMe[incompatible-type]
             key: (0, _hermesTransform.asDetachedNode)(member.key),
             value: resultTypeAnnotation,
             optional: member.optional,
@@ -913,7 +956,6 @@ function convertClassMember(member, context) {
 
         const [resultTypeAnnotation, deps] = convertTypeAnnotation(member.typeAnnotation, member, context);
         return [inheritComments(member, _hermesTransform.t.ObjectTypePropertySignature({
-          // $FlowFixMe[incompatible-type]
           key: (0, _hermesTransform.asDetachedNode)(member.key),
           value: resultTypeAnnotation,
           optional: member.optional,
@@ -924,7 +966,6 @@ function convertClassMember(member, context) {
 
     case 'MethodDefinition':
       {
-        // PrivateIdentifier's are not exposed so can be stripped.
         if (member.key.type === 'PrivateIdentifier') {
           return EMPTY_TRANSLATION_RESULT;
         }
@@ -943,10 +984,8 @@ function convertClassMember(member, context) {
         }) : member.key;
 
         if (member.kind === 'get' || member.kind === 'set') {
-          // accessors are methods - but flow accessor signatures are properties
           const kind = member.kind;
           return [inheritComments(member, _hermesTransform.t.ObjectTypeAccessorSignature({
-            // $FlowFixMe[incompatible-type]
             key: (0, _hermesTransform.asDetachedNode)(newKey),
             value: resultValue,
             static: member.static,
@@ -955,7 +994,6 @@ function convertClassMember(member, context) {
         }
 
         return [inheritComments(member, _hermesTransform.t.ObjectTypeMethodSignature({
-          // $FlowFixMe[incompatible-type]
           key: (0, _hermesTransform.asDetachedNode)(newKey),
           value: resultValue,
           static: member.static
@@ -1115,8 +1153,7 @@ function convertHookDeclaration(hook, context) {
   var _hook$returnType;
 
   const id = hook.id;
-  const returnType = (_hook$returnType = hook.returnType) != null ? _hook$returnType : // $FlowFixMe[incompatible-type]
-  _hermesTransform.t.TypeAnnotation({
+  const returnType = (_hook$returnType = hook.returnType) != null ? _hook$returnType : _hermesTransform.t.TypeAnnotation({
     typeAnnotation: _hermesTransform.t.VoidTypeAnnotation()
   });
   const [resultReturnType, returnDeps] = convertTypeAnnotation(returnType, hook, context);
@@ -1206,8 +1243,7 @@ function convertFunctionParameters(params, context) {
             throw (0, _ErrorUtils.translationError)(param, `FunctionParameter: Multiple rest elements found`, context);
           }
 
-          const [resultParam, deps] = convertBindingNameToFunctionTypeParam( // $FlowFixMe[incompatible-type] I dont think these other cases are possible
-          param.argument, context, index, false);
+          const [resultParam, deps] = convertBindingNameToFunctionTypeParam(param.argument, context, index, false);
           return [resultParams, resultParam, [...paramsDeps, ...deps]];
         }
     }

package/dist/src/flowToJS.js

@@ -1,12 +1,3 @@
-/**
- * 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
- */
 'use strict';
 
 Object.defineProperty(exports, "__esModule", {

package/dist/src/index.js

@@ -1,12 +1,3 @@
-/**
- * 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
- */
 'use strict';
 
 Object.defineProperty(exports, "__esModule", {
@@ -62,8 +53,7 @@ async function translateFlowDefToTSDef(code, prettierOptions = {}) {
   const [tsAST, mutatedCode] = (0, _flowDefToTSDef.flowDefToTSDef)(code, ast, scopeManager, {
     recoverFromErrors: true
   });
-  return (0, _hermesTransform.print)( // $FlowExpectedError[incompatible-type] - this is fine as we're providing the visitor keys
-  tsAST, mutatedCode, { ...prettierOptions
+  return (0, _hermesTransform.print)(tsAST, mutatedCode, { ...prettierOptions
   }, _visitorKeys.visitorKeys);
 }
 
@@ -75,18 +65,6 @@ async function translateFlowToJS(code, prettierOptions = {}) {
   const jsAST = (0, _flowToJS.flowToJS)(ast, code, scopeManager);
   return (0, _hermesTransform.print)(jsAST, code, prettierOptions);
 }
-/**
- * This translator is very experimental and unstable.
- *
- * It is not written with productionizing it in mind, but instead used to evaluate how close Flow
- * is to TypeScript.
- *
- * If you are going to use it anyways, you agree that you are calling a potentially broken function
- * without any guarantee.
- *
- * @deprecated
- */
-
 
 async function unstable_translateTSDefToFlowDef(code, prettierOptions = {}) {
   const ast = (0, _parser.parse)(code, {

package/dist/src/utils/DocblockUtils.js

@@ -1,12 +1,3 @@
-/**
- * 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
- */
 'use strict';
 
 Object.defineProperty(exports, "__esModule", {
@@ -21,7 +12,6 @@ function removeAtFlowFromDocblock(docblock) {
   }
 
   return {
-    // $FlowExpectedError[cannot-spread-interface]
     comment: { ...docblock.comment,
       value: docblock.comment.value.replace(FLOW_DIRECTIVE, '')
     },

package/dist/src/utils/ErrorUtils.js

@@ -1,12 +1,3 @@
-/**
- * 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
- */
 'use strict';
 
 Object.defineProperty(exports, "__esModule", {
@@ -37,18 +28,7 @@ function flowFixMeOrError(container, message, context) {
 class TranslationErrorBase extends Error {
   constructor(node, message, context) {
     const framedMessage = buildCodeFrame(node, message, context.code);
-    super( // jest error snapshots will use a hard-coded string representation if
-    // `instanceof Error` which makes the code frame look awful and hard to verify:
-    //
-    // [TranslationError: > 12 | code
-    //       | ^^^^ error]
-    //
-    // this just adds a newline in jest tests so that it all lines up nicely
-    //
-    // [TranslationError:
-    // > 12 | code
-    //      | ^^^^ error]
-    process.env.JEST_WORKER_ID == null ? framedMessage : `\n${framedMessage}`);
+    super(process.env.JEST_WORKER_ID == null ? framedMessage : `\n${framedMessage}`);
     this.name = 'TranslationError';
   }
 
@@ -83,7 +63,6 @@ function unexpectedTranslationError(node, message, context) {
 }
 
 function buildCodeFrame(node, message, code, highlightCode = process.env.NODE_ENV !== 'test') {
-  // babel uses 1-indexed columns
   const locForBabel = {
     start: {
       line: node.loc.start.line,

package/dist/src/utils/FlowAnalyze.js

@@ -1,12 +1,3 @@
-/**
- * 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
- */
 'use strict';
 
 Object.defineProperty(exports, "__esModule", {
@@ -24,9 +15,7 @@ function analyzeFunctionReturn(func) {
 
   if (returnType != null) {
     return returnType;
-  } // We trust Flow has validated this function to only return void
-  // $FlowFixMe[incompatible-type]
-
+  }
 
   return _hermesTransform.t.TypeAnnotation({
     typeAnnotation: _hermesTransform.t.VoidTypeAnnotation()
@@ -43,6 +32,8 @@ function analyzeTypeDependencies(rootNode, context) {
 
         if (variable != null) {
           deps.push(variable.name);
+        } else if (context.variableMap.has(node.name)) {
+          deps.push(node.name);
         }
       }
     },

package/dist/src/utils/TSNodeUtils.js

@@ -0,0 +1,68 @@
+'use strict';
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.extractPropertyKeyLiterals = extractPropertyKeyLiterals;
+
+var TSESTree = _interopRequireWildcard(require("./ts-estree-ast-types"));
+
+function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
+
+function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { default: obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj.default = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
+
+const DUMMY_LOC = {
+  start: {
+    line: 1,
+    column: 0
+  },
+  end: {
+    line: 1,
+    column: 0
+  }
+};
+
+function extractPropertyKeyLiterals(members) {
+  if (members.length === 0) {
+    return null;
+  }
+
+  const literals = [];
+
+  for (const member of members) {
+    if (member.type !== 'TSPropertySignature' && member.type !== 'TSMethodSignature') {
+      return null;
+    }
+
+    if (member.computed === true) {
+      return null;
+    }
+
+    const {
+      key
+    } = member;
+
+    if (key.type === 'Identifier') {
+      literals.push({
+        type: 'TSLiteralType',
+        loc: DUMMY_LOC,
+        literal: {
+          type: 'Literal',
+          loc: DUMMY_LOC,
+          value: key.name,
+          raw: `'${key.name}'`
+        }
+      });
+    } else if (key.type === 'Literal') {
+      literals.push({
+        type: 'TSLiteralType',
+        loc: DUMMY_LOC,
+        literal: key
+      });
+    } else {
+      return null;
+    }
+  }
+
+  return literals;
+}

package/dist/src/utils/TranslationUtils.js

@@ -1,12 +1,3 @@
-/**
- * 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
- */
 'use strict';
 
 Object.defineProperty(exports, "__esModule", {

package/dist/src/utils/ts-estree-ast-types.js

@@ -1,30 +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
- */
-
-/**
- * The following types have been adapted by hand from
- * https://unpkg.com/browse/@typescript-eslint/types@5.41.0/dist/generated/ast-spec.d.ts
- *
- * Changes:
- * - remove and inline `ValueOf` type
- * - `undefined` -> `void`
- * - remove all `declare` keywords
- * - comment out `bigint` type
- *     -> flow doesn't support it yet
- * - remove `range` and `loc` from `NodeOrTokenData`
- *     -> during conversion our locations will be all off, so we'll rely on prettier to print later
- * - make all properties readonly and all arrays $ReadOnlyArray
- *     -> unlike TS - flow enforces subtype constraints strictly!
- * - add `type` to interfaces that previously relied upon inheriting the `type`
- *     -> this is because flow sentinel refinement does not check inherited members
- * - create "Ambiguous" versions for some nodes that have unions (like PropertyDefinition, MemberDefinition)
- *     -> makes it easier to construct them from other nodes that have unions
- */
 'use strict';

package/dist/utils/DocblockUtils.js

@@ -1,12 +1,3 @@
-/**
- * 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
- */
 'use strict';
 
 Object.defineProperty(exports, "__esModule", {
@@ -21,7 +12,6 @@ function removeAtFlowFromDocblock(docblock) {
   }
 
   return {
-    // $FlowExpectedError[cannot-spread-interface]
     comment: { ...docblock.comment,
       value: docblock.comment.value.replace(FLOW_DIRECTIVE, '')
     },

package/dist/utils/ErrorUtils.js

@@ -1,12 +1,3 @@
-/**
- * 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
- */
 'use strict';
 
 Object.defineProperty(exports, "__esModule", {
@@ -37,18 +28,7 @@ function flowFixMeOrError(container, message, context) {
 class TranslationErrorBase extends Error {
   constructor(node, message, context) {
     const framedMessage = buildCodeFrame(node, message, context.code);
-    super( // jest error snapshots will use a hard-coded string representation if
-    // `instanceof Error` which makes the code frame look awful and hard to verify:
-    //
-    // [TranslationError: > 12 | code
-    //       | ^^^^ error]
-    //
-    // this just adds a newline in jest tests so that it all lines up nicely
-    //
-    // [TranslationError:
-    // > 12 | code
-    //      | ^^^^ error]
-    process.env.JEST_WORKER_ID == null ? framedMessage : `\n${framedMessage}`);
+    super(process.env.JEST_WORKER_ID == null ? framedMessage : `\n${framedMessage}`);
     this.name = 'TranslationError';
   }
 
@@ -83,7 +63,6 @@ function unexpectedTranslationError(node, message, context) {
 }
 
 function buildCodeFrame(node, message, code, highlightCode = process.env.NODE_ENV !== 'test') {
-  // babel uses 1-indexed columns
   const locForBabel = {
     start: {
       line: node.loc.start.line,

package/dist/utils/ErrorUtils.js.flow

@@ -33,7 +33,7 @@ class TranslationErrorBase extends Error {
   constructor(
     node: ObjectWithLoc,
     message: string,
-    context: $ReadOnly<{code: string, ...}>,
+    context: Readonly<{code: string, ...}>,
   ) {
     const framedMessage = buildCodeFrame(node, message, context.code);
     super(
@@ -59,7 +59,7 @@ export class ExpectedTranslationError extends TranslationErrorBase {
 export function translationError(
   node: ObjectWithLoc,
   message: string,
-  context: $ReadOnly<{code: string, ...}>,
+  context: Readonly<{code: string, ...}>,
 ): ExpectedTranslationError {
   return new ExpectedTranslationError(node, message, context);
 }
@@ -70,7 +70,7 @@ export class UnexpectedTranslationError extends TranslationErrorBase {
 export function unexpectedTranslationError(
   node: ObjectWithLoc,
   message: string,
-  context: $ReadOnly<{code: string, ...}>,
+  context: Readonly<{code: string, ...}>,
 ): UnexpectedTranslationError {
   return new UnexpectedTranslationError(node, message, context);
 }

package/dist/utils/FlowAnalyze.js

@@ -1,12 +1,3 @@
-/**
- * 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
- */
 'use strict';
 
 Object.defineProperty(exports, "__esModule", {
@@ -24,9 +15,7 @@ function analyzeFunctionReturn(func) {
 
   if (returnType != null) {
     return returnType;
-  } // We trust Flow has validated this function to only return void
-  // $FlowFixMe[incompatible-type]
-
+  }
 
   return _hermesTransform.t.TypeAnnotation({
     typeAnnotation: _hermesTransform.t.VoidTypeAnnotation()
@@ -43,6 +32,8 @@ function analyzeTypeDependencies(rootNode, context) {
 
         if (variable != null) {
           deps.push(variable.name);
+        } else if (context.variableMap.has(node.name)) {
+          deps.push(node.name);
         }
       }
     },