flow-api-translator 0.33.2 → 0.34.0

package/dist/TSDefToFlowDef.js

@@ -525,7 +525,7 @@ const getTransforms = (originalCode, opts) => {
         }),
         importKind: // `import type React from 'react'` in TS means `import typeof React from react` in Flow
         specifiers.some(s => s.type === 'ImportDefaultSpecifier') && node.importKind === 'type' ? 'typeof' : node.importKind,
-        assertions: [],
+        attributes: [],
         specifiers
       });
     }

package/dist/TSDefToFlowDef.js.flow

@@ -606,7 +606,7 @@ const getTransforms = (originalCode: string, opts: TranslationOptions) => {
           node.importKind === 'type'
             ? 'typeof'
             : node.importKind,
-        assertions: [],
+        attributes: [],
         specifiers,
       });
     }

package/dist/flowDefToTSDef.js

@@ -720,11 +720,21 @@ const getTransforms = (originalCode, scopeManager, opts) => {
       case 'ComponentTypeAnnotation':
         return transform.ComponentTypeAnnotation(node);
 
+      case 'NeverTypeAnnotation':
+        return transform.NeverTypeAnnotation(node);
+
+      case 'UndefinedTypeAnnotation':
+        return transform.UndefinedTypeAnnotation(node);
+
+      case 'UnknownTypeAnnotation':
+        return transform.UnknownTypeAnnotation(node);
+
       default:
         throw unexpectedTranslationError(node, `Unhandled type ${node.type}`);
     }
   };
 
+  const wellKnownSymbols = new Set(['iterator', 'asyncIterator', 'dispose', 'asyncDispose']);
   const transform = {
     AnyTypeAnnotation(_node) {
       return {
@@ -890,7 +900,7 @@ const getTransforms = (originalCode, scopeManager, opts) => {
                   if (_key.type === 'Identifier' && _key.name.startsWith('@@')) {
                     const name = _key.name.slice(2);
 
-                    if (['iterator', 'asyncIterator'].includes(name)) {
+                    if (wellKnownSymbols.has(name)) {
                       return [{
                         type: 'MemberExpression',
                         computed: false,
@@ -1258,7 +1268,7 @@ const getTransforms = (originalCode, scopeManager, opts) => {
             return {
               type: 'ExportNamedDeclaration',
               loc: DUMMY_LOC,
-              // flow does not currently support assertions
+              // flow does not currently support attributes
               assertions: [],
               declaration: null,
               // flow does not support declared type exports with specifiers
@@ -1341,7 +1351,7 @@ const getTransforms = (originalCode, scopeManager, opts) => {
                 return [{
                   type: 'ExportNamedDeclaration',
                   loc: DUMMY_LOC,
-                  // flow does not currently support assertions
+                  // flow does not currently support attributes
                   assertions: [],
                   declaration,
                   exportKind,
@@ -1376,7 +1386,7 @@ const getTransforms = (originalCode, scopeManager, opts) => {
                   loc: DUMMY_LOC,
                   specifiers: [],
                   exportKind: 'type',
-                  // flow does not currently support assertions
+                  // flow does not currently support attributes
                   assertions: []
                 }];
               }
@@ -1385,7 +1395,7 @@ const getTransforms = (originalCode, scopeManager, opts) => {
             const exportNamedDeclaration = {
               type: 'ExportNamedDeclaration',
               loc: DUMMY_LOC,
-              // flow does not currently support assertions
+              // flow does not currently support attributes
               assertions: [],
               declaration,
               exportKind,
@@ -1399,7 +1409,7 @@ const getTransforms = (originalCode, scopeManager, opts) => {
           return {
             type: 'ExportNamedDeclaration',
             loc: DUMMY_LOC,
-            // flow does not currently support assertions
+            // flow does not currently support attributes
             assertions: [],
             declaration: null,
             // flow does not support declared type exports with a source
@@ -1709,7 +1719,7 @@ const getTransforms = (originalCode, scopeManager, opts) => {
       return {
         type: 'ExportAllDeclaration',
         loc: DUMMY_LOC,
-        // flow does not currently support import/export assertions
+        // flow does not currently support import/export attributes
         assertions: [],
         exportKind: node.exportKind,
         source: transform.StringLiteral(node.source),
@@ -1723,7 +1733,7 @@ const getTransforms = (originalCode, scopeManager, opts) => {
         return {
           type: 'ExportNamedDeclaration',
           loc: DUMMY_LOC,
-          // flow does not currently support import/export assertions
+          // flow does not currently support import/export attributes
           assertions: [],
           declaration: null,
           exportKind: node.exportKind,
@@ -2972,7 +2982,7 @@ const getTransforms = (originalCode, scopeManager, opts) => {
       const out = specifiers.length ? [{
         type: 'ImportDeclaration',
         loc: DUMMY_LOC,
-        assertions: node.assertions.map(transform.ImportAttribute),
+        assertions: node.attributes.map(transform.ImportAttribute),
         importKind: importKind === 'typeof' ? 'type' : importKind != null ? importKind : 'value',
         source: transform.StringLiteral(node.source),
         specifiers
@@ -3417,20 +3427,50 @@ const getTransforms = (originalCode, scopeManager, opts) => {
     ObjectTypeProperty(node) {
       var _node$variance3;
 
-      const key = node.key.type === 'Identifier' ? transform.Identifier(node.key) : node.key.literalType === 'string' ? transform.StringLiteral(node.key) : null;
+      const [key, computed] = (() => {
+        if (node.key.type === 'Identifier' && node.key.name.startsWith('@@')) {
+          const name = node.key.name.slice(2);
 
-      if (key == null) {
-        throw unexpectedTranslationError(node, 'Unsupported key type');
-      }
+          if (node.method === true && wellKnownSymbols.has(name)) {
+            return [{
+              type: 'MemberExpression',
+              computed: false,
+              object: {
+                type: 'Identifier',
+                name: 'Symbol',
+                optional: false,
+                loc: DUMMY_LOC
+              },
+              optional: false,
+              property: {
+                type: 'Identifier',
+                name,
+                optional: false,
+                loc: DUMMY_LOC
+              },
+              loc: DUMMY_LOC
+            }, true];
+          }
+        }
+
+        const key = node.key.type === 'Identifier' ? transform.Identifier(node.key) : node.key.literalType === 'string' ? transform.StringLiteral(node.key) : null;
+
+        if (key == null) {
+          throw unexpectedTranslationError(node, 'Unsupported key type');
+        }
+
+        return [key, false];
+      })();
 
       if (node.method === true) {
         // flow has just one node for all object properties and relies upon the method flag
         // TS has separate nodes for methods and properties
-        const func = transform.FunctionTypeAnnotation(node.value);
+        const func = transform.FunctionTypeAnnotation(node.value); // $FlowFixMe[incompatible-type] `computed` is set dynamically
+
         return {
           type: 'TSMethodSignature',
           loc: DUMMY_LOC,
-          computed: false,
+          computed,
           key,
           kind: node.kind === 'init' ? 'method' : node.kind,
           optional: node.optional,
@@ -3444,11 +3484,12 @@ const getTransforms = (originalCode, scopeManager, opts) => {
       if (node.kind === 'get' || node.kind === 'set') {
         // flow treats getters/setters as true property signatures (method === false)
         // TS treats them as method signatures
-        const func = transform.FunctionTypeAnnotation(node.value);
+        const func = transform.FunctionTypeAnnotation(node.value); // $FlowFixMe[incompatible-type] `computed` is set dynamically
+
         return {
           type: 'TSMethodSignature',
           loc: DUMMY_LOC,
-          computed: false,
+          computed,
           key,
           kind: node.kind,
           optional: false,
@@ -3459,12 +3500,13 @@ const getTransforms = (originalCode, scopeManager, opts) => {
           // TS accessors cannot have type parameters
           typeParameters: undefined
         };
-      }
+      } // $FlowFixMe[incompatible-type] `computed` is set dynamically
+
 
       return {
         type: 'TSPropertySignature',
         loc: DUMMY_LOC,
-        computed: false,
+        computed,
         key,
         optional: node.optional,
         readonly: ((_node$variance3 = node.variance) == null ? void 0 : _node$variance3.kind) === 'plus',
@@ -3756,6 +3798,27 @@ const getTransforms = (originalCode, scopeManager, opts) => {
       };
     },
 
+    NeverTypeAnnotation(_node) {
+      return {
+        type: 'TSNeverKeyword',
+        loc: DUMMY_LOC
+      };
+    },
+
+    UndefinedTypeAnnotation(_node) {
+      return {
+        type: 'TSUndefinedKeyword',
+        loc: DUMMY_LOC
+      };
+    },
+
+    UnknownTypeAnnotation(_node) {
+      return {
+        type: 'TSUnknownKeyword',
+        loc: DUMMY_LOC
+      };
+    },
+
     ConditionalTypeAnnotation(node) {
       return {
         type: 'TSConditionalType',

package/dist/flowDefToTSDef.js.flow

@@ -755,11 +755,24 @@ const getTransforms = (
         return transform.TypeOperator(node);
       case 'ComponentTypeAnnotation':
         return transform.ComponentTypeAnnotation(node);
+      case 'NeverTypeAnnotation':
+        return transform.NeverTypeAnnotation(node);
+      case 'UndefinedTypeAnnotation':
+        return transform.UndefinedTypeAnnotation(node);
+      case 'UnknownTypeAnnotation':
+        return transform.UnknownTypeAnnotation(node);
       default:
         throw unexpectedTranslationError(node, `Unhandled type ${node.type}`);
     }
   };
 
+  const wellKnownSymbols = new Set([
+    'iterator',
+    'asyncIterator',
+    'dispose',
+    'asyncDispose',
+  ]);
+
   const transform = {
     AnyTypeAnnotation(
       _node: FlowESTree.AnyTypeAnnotation,
@@ -938,7 +951,7 @@ const getTransforms = (
                 const _key = member.key;
                 if (_key.type === 'Identifier' && _key.name.startsWith('@@')) {
                   const name = _key.name.slice(2);
-                  if (['iterator', 'asyncIterator'].includes(name)) {
+                  if (wellKnownSymbols.has(name)) {
                     return [
                       {
                         type: 'MemberExpression',
@@ -1367,7 +1380,7 @@ const getTransforms = (
             return ({
               type: 'ExportNamedDeclaration',
               loc: DUMMY_LOC,
-              // flow does not currently support assertions
+              // flow does not currently support attributes
               assertions: [],
               declaration: null,
               // flow does not support declared type exports with specifiers
@@ -1464,7 +1477,7 @@ const getTransforms = (
                   {
                     type: 'ExportNamedDeclaration',
                     loc: DUMMY_LOC,
-                    // flow does not currently support assertions
+                    // flow does not currently support attributes
                     assertions: [],
                     declaration,
                     exportKind,
@@ -1500,7 +1513,7 @@ const getTransforms = (
                     loc: DUMMY_LOC,
                     specifiers: [],
                     exportKind: 'type',
-                    // flow does not currently support assertions
+                    // flow does not currently support attributes
                     assertions: [],
                   },
                 ];
@@ -1511,7 +1524,7 @@ const getTransforms = (
               {
                 type: 'ExportNamedDeclaration',
                 loc: DUMMY_LOC,
-                // flow does not currently support assertions
+                // flow does not currently support attributes
                 assertions: [],
                 declaration,
                 exportKind,
@@ -1526,7 +1539,7 @@ const getTransforms = (
           return ({
             type: 'ExportNamedDeclaration',
             loc: DUMMY_LOC,
-            // flow does not currently support assertions
+            // flow does not currently support attributes
             assertions: [],
             declaration: null,
             // flow does not support declared type exports with a source
@@ -1899,7 +1912,7 @@ const getTransforms = (
       return {
         type: 'ExportAllDeclaration',
         loc: DUMMY_LOC,
-        // flow does not currently support import/export assertions
+        // flow does not currently support import/export attributes
         assertions: [],
         exportKind: node.exportKind,
         source: transform.StringLiteral(node.source),
@@ -1917,7 +1930,7 @@ const getTransforms = (
         return {
           type: 'ExportNamedDeclaration',
           loc: DUMMY_LOC,
-          // flow does not currently support import/export assertions
+          // flow does not currently support import/export attributes
           assertions: [],
           declaration: null,
           exportKind: node.exportKind,
@@ -3221,7 +3234,7 @@ const getTransforms = (
             {
               type: 'ImportDeclaration',
               loc: DUMMY_LOC,
-              assertions: node.assertions.map(transform.ImportAttribute),
+              assertions: node.attributes.map(transform.ImportAttribute),
               importKind:
                 importKind === 'typeof' ? 'type' : (importKind ?? 'value'),
               source: transform.StringLiteral(node.source),
@@ -3722,25 +3735,57 @@ const getTransforms = (
     ObjectTypeProperty(
       node: FlowESTree.ObjectTypeProperty,
     ): TSESTree.TSPropertySignature | TSESTree.TSMethodSignature {
-      const key =
-        node.key.type === 'Identifier'
-          ? transform.Identifier(node.key)
-          : node.key.literalType === 'string'
-            ? transform.StringLiteral(node.key)
-            : null;
-
-      if (key == null) {
-        throw unexpectedTranslationError(node, 'Unsupported key type');
-      }
+      const [key, computed] = ((): [TSESTree.PropertyName, boolean] => {
+        if (node.key.type === 'Identifier' && node.key.name.startsWith('@@')) {
+          const name = node.key.name.slice(2);
+          if (node.method === true && wellKnownSymbols.has(name)) {
+            return [
+              {
+                type: 'MemberExpression',
+                computed: false,
+                object: {
+                  type: 'Identifier',
+                  name: 'Symbol',
+                  optional: false,
+                  loc: DUMMY_LOC,
+                },
+                optional: false,
+                property: {
+                  type: 'Identifier',
+                  name,
+                  optional: false,
+                  loc: DUMMY_LOC,
+                },
+                loc: DUMMY_LOC,
+              },
+              true,
+            ];
+          }
+        }
+
+        const key =
+          node.key.type === 'Identifier'
+            ? transform.Identifier(node.key)
+            : node.key.literalType === 'string'
+              ? transform.StringLiteral(node.key)
+              : null;
+
+        if (key == null) {
+          throw unexpectedTranslationError(node, 'Unsupported key type');
+        }
+
+        return [key, false];
+      })();
 
       if (node.method === true) {
         // flow has just one node for all object properties and relies upon the method flag
         // TS has separate nodes for methods and properties
         const func = transform.FunctionTypeAnnotation(node.value);
+        // $FlowFixMe[incompatible-type] `computed` is set dynamically
         return {
           type: 'TSMethodSignature',
           loc: DUMMY_LOC,
-          computed: false,
+          computed,
           key,
           kind: node.kind === 'init' ? 'method' : node.kind,
           optional: node.optional,
@@ -3755,10 +3800,11 @@ const getTransforms = (
         // flow treats getters/setters as true property signatures (method === false)
         // TS treats them as method signatures
         const func = transform.FunctionTypeAnnotation(node.value);
+        // $FlowFixMe[incompatible-type] `computed` is set dynamically
         return {
           type: 'TSMethodSignature',
           loc: DUMMY_LOC,
-          computed: false,
+          computed,
           key,
           kind: node.kind,
           optional: false,
@@ -3771,10 +3817,11 @@ const getTransforms = (
         };
       }
 
+      // $FlowFixMe[incompatible-type] `computed` is set dynamically
       return {
         type: 'TSPropertySignature',
         loc: DUMMY_LOC,
-        computed: false,
+        computed,
         key,
         optional: node.optional,
         readonly: node.variance?.kind === 'plus',
@@ -4105,6 +4152,30 @@ const getTransforms = (
         loc: DUMMY_LOC,
       };
     },
+    NeverTypeAnnotation(
+      _node: FlowESTree.NeverTypeAnnotation,
+    ): TSESTree.TSNeverKeyword {
+      return {
+        type: 'TSNeverKeyword',
+        loc: DUMMY_LOC,
+      };
+    },
+    UndefinedTypeAnnotation(
+      _node: FlowESTree.UndefinedTypeAnnotation,
+    ): TSESTree.TSUndefinedKeyword {
+      return {
+        type: 'TSUndefinedKeyword',
+        loc: DUMMY_LOC,
+      };
+    },
+    UnknownTypeAnnotation(
+      _node: FlowESTree.UnknownTypeAnnotation,
+    ): TSESTree.TSUnknownKeyword {
+      return {
+        type: 'TSUnknownKeyword',
+        loc: DUMMY_LOC,
+      };
+    },
     ConditionalTypeAnnotation(
       node: FlowESTree.ConditionalTypeAnnotation,
     ): TSESTree.TSConditionalType {

package/dist/flowToFlowDef.js

@@ -249,7 +249,7 @@ function stripUnusedDefs(detachedStmt, usedDeps, context) {
             specifiers: resultSpecfiers,
             importKind: stmt.importKind,
             source: stmt.source,
-            assertions: stmt.assertions
+            attributes: stmt.attributes
           });
         }
 
@@ -727,15 +727,15 @@ function convertVariableDeclaration(stmt, context) {
 }
 
 function convertImportDeclaration(stmt, context) {
-  if (stmt.assertions.length > 0) {
-    throw (0, _ErrorUtils.translationError)(stmt, 'ImportDeclaration: assertions not supported', context);
+  if (stmt.attributes.length > 0) {
+    throw (0, _ErrorUtils.translationError)(stmt, 'ImportDeclaration: attributes not supported', context);
   }
 
   return [_hermesTransform.t.ImportDeclaration({
     specifiers: stmt.specifiers,
     importKind: stmt.importKind,
     source: stmt.source,
-    assertions: []
+    attributes: []
   }), []];
 }
 
@@ -1147,12 +1147,12 @@ function convertFunctionParameters(params, context) {
 }
 
 function convertBindingNameToFunctionTypeParam(pat, context, index, isAssignment) {
-  const name = pat.type === 'Identifier' ? pat.name : `$$PARAM_${index}$$`;
+  const name = pat.type === 'Identifier' && pat.name != null ? pat.name : `$$PARAM_${index}$$`;
   const [resultParamTypeAnnotation, paramDeps] = convertTypeAnnotation(pat.typeAnnotation, pat, context);
   return [_hermesTransform.t.FunctionTypeParam({
-    name: name != null ? _hermesTransform.t.Identifier({
+    name: _hermesTransform.t.Identifier({
       name
-    }) : null,
+    }),
     typeAnnotation: resultParamTypeAnnotation,
     optional: isAssignment || (pat.type === 'Identifier' ? pat.optional : false)
   }), paramDeps];

package/dist/flowToFlowDef.js.flow

@@ -357,7 +357,7 @@ function stripUnusedDefs(
           specifiers: resultSpecfiers,
           importKind: stmt.importKind,
           source: stmt.source,
-          assertions: stmt.assertions,
+          attributes: stmt.attributes,
         });
       }
       return detachedStmt;
@@ -940,10 +940,10 @@ function convertImportDeclaration(
   stmt: ImportDeclaration,
   context: TranslationContext,
 ): TranslatedResult<ImportDeclaration> {
-  if (stmt.assertions.length > 0) {
+  if (stmt.attributes.length > 0) {
     throw translationError(
       stmt,
-      'ImportDeclaration: assertions not supported',
+      'ImportDeclaration: attributes not supported',
       context,
     );
   }
@@ -953,7 +953,7 @@ function convertImportDeclaration(
       specifiers: stmt.specifiers,
       importKind: stmt.importKind,
       source: stmt.source,
-      assertions: [],
+      attributes: [],
     }),
     [],
   ];
@@ -1623,7 +1623,10 @@ function convertBindingNameToFunctionTypeParam(
   index: number,
   isAssignment: boolean,
 ): TranslatedResult<FunctionTypeParam> {
-  const name = pat.type === 'Identifier' ? pat.name : `$$PARAM_${index}$$`;
+  const name =
+    pat.type === 'Identifier' && pat.name != null
+      ? pat.name
+      : `$$PARAM_${index}$$`;
   const [resultParamTypeAnnotation, paramDeps] = convertTypeAnnotation(
     pat.typeAnnotation,
     pat,
@@ -1631,7 +1634,7 @@ function convertBindingNameToFunctionTypeParam(
   );
   return [
     t.FunctionTypeParam({
-      name: name != null ? t.Identifier({name}) : null,
+      name: t.Identifier({name}),
       typeAnnotation: resultParamTypeAnnotation,
       optional:
         isAssignment || (pat.type === 'Identifier' ? pat.optional : false),

package/dist/src/TSDefToFlowDef.js

@@ -525,7 +525,7 @@ const getTransforms = (originalCode, opts) => {
         }),
         importKind: // `import type React from 'react'` in TS means `import typeof React from react` in Flow
         specifiers.some(s => s.type === 'ImportDefaultSpecifier') && node.importKind === 'type' ? 'typeof' : node.importKind,
-        assertions: [],
+        attributes: [],
         specifiers
       });
     }

package/dist/src/flowDefToTSDef.js

@@ -720,11 +720,21 @@ const getTransforms = (originalCode, scopeManager, opts) => {
       case 'ComponentTypeAnnotation':
         return transform.ComponentTypeAnnotation(node);
 
+      case 'NeverTypeAnnotation':
+        return transform.NeverTypeAnnotation(node);
+
+      case 'UndefinedTypeAnnotation':
+        return transform.UndefinedTypeAnnotation(node);
+
+      case 'UnknownTypeAnnotation':
+        return transform.UnknownTypeAnnotation(node);
+
       default:
         throw unexpectedTranslationError(node, `Unhandled type ${node.type}`);
     }
   };
 
+  const wellKnownSymbols = new Set(['iterator', 'asyncIterator', 'dispose', 'asyncDispose']);
   const transform = {
     AnyTypeAnnotation(_node) {
       return {
@@ -890,7 +900,7 @@ const getTransforms = (originalCode, scopeManager, opts) => {
                   if (_key.type === 'Identifier' && _key.name.startsWith('@@')) {
                     const name = _key.name.slice(2);
 
-                    if (['iterator', 'asyncIterator'].includes(name)) {
+                    if (wellKnownSymbols.has(name)) {
                       return [{
                         type: 'MemberExpression',
                         computed: false,
@@ -1258,7 +1268,7 @@ const getTransforms = (originalCode, scopeManager, opts) => {
             return {
               type: 'ExportNamedDeclaration',
               loc: DUMMY_LOC,
-              // flow does not currently support assertions
+              // flow does not currently support attributes
               assertions: [],
               declaration: null,
               // flow does not support declared type exports with specifiers
@@ -1341,7 +1351,7 @@ const getTransforms = (originalCode, scopeManager, opts) => {
                 return [{
                   type: 'ExportNamedDeclaration',
                   loc: DUMMY_LOC,
-                  // flow does not currently support assertions
+                  // flow does not currently support attributes
                   assertions: [],
                   declaration,
                   exportKind,
@@ -1376,7 +1386,7 @@ const getTransforms = (originalCode, scopeManager, opts) => {
                   loc: DUMMY_LOC,
                   specifiers: [],
                   exportKind: 'type',
-                  // flow does not currently support assertions
+                  // flow does not currently support attributes
                   assertions: []
                 }];
               }
@@ -1385,7 +1395,7 @@ const getTransforms = (originalCode, scopeManager, opts) => {
             const exportNamedDeclaration = {
               type: 'ExportNamedDeclaration',
               loc: DUMMY_LOC,
-              // flow does not currently support assertions
+              // flow does not currently support attributes
               assertions: [],
               declaration,
               exportKind,
@@ -1399,7 +1409,7 @@ const getTransforms = (originalCode, scopeManager, opts) => {
           return {
             type: 'ExportNamedDeclaration',
             loc: DUMMY_LOC,
-            // flow does not currently support assertions
+            // flow does not currently support attributes
             assertions: [],
             declaration: null,
             // flow does not support declared type exports with a source
@@ -1709,7 +1719,7 @@ const getTransforms = (originalCode, scopeManager, opts) => {
       return {
         type: 'ExportAllDeclaration',
         loc: DUMMY_LOC,
-        // flow does not currently support import/export assertions
+        // flow does not currently support import/export attributes
         assertions: [],
         exportKind: node.exportKind,
         source: transform.StringLiteral(node.source),
@@ -1723,7 +1733,7 @@ const getTransforms = (originalCode, scopeManager, opts) => {
         return {
           type: 'ExportNamedDeclaration',
           loc: DUMMY_LOC,
-          // flow does not currently support import/export assertions
+          // flow does not currently support import/export attributes
           assertions: [],
           declaration: null,
           exportKind: node.exportKind,
@@ -2972,7 +2982,7 @@ const getTransforms = (originalCode, scopeManager, opts) => {
       const out = specifiers.length ? [{
         type: 'ImportDeclaration',
         loc: DUMMY_LOC,
-        assertions: node.assertions.map(transform.ImportAttribute),
+        assertions: node.attributes.map(transform.ImportAttribute),
         importKind: importKind === 'typeof' ? 'type' : importKind != null ? importKind : 'value',
         source: transform.StringLiteral(node.source),
         specifiers
@@ -3417,20 +3427,50 @@ const getTransforms = (originalCode, scopeManager, opts) => {
     ObjectTypeProperty(node) {
       var _node$variance3;
 
-      const key = node.key.type === 'Identifier' ? transform.Identifier(node.key) : node.key.literalType === 'string' ? transform.StringLiteral(node.key) : null;
+      const [key, computed] = (() => {
+        if (node.key.type === 'Identifier' && node.key.name.startsWith('@@')) {
+          const name = node.key.name.slice(2);
 
-      if (key == null) {
-        throw unexpectedTranslationError(node, 'Unsupported key type');
-      }
+          if (node.method === true && wellKnownSymbols.has(name)) {
+            return [{
+              type: 'MemberExpression',
+              computed: false,
+              object: {
+                type: 'Identifier',
+                name: 'Symbol',
+                optional: false,
+                loc: DUMMY_LOC
+              },
+              optional: false,
+              property: {
+                type: 'Identifier',
+                name,
+                optional: false,
+                loc: DUMMY_LOC
+              },
+              loc: DUMMY_LOC
+            }, true];
+          }
+        }
+
+        const key = node.key.type === 'Identifier' ? transform.Identifier(node.key) : node.key.literalType === 'string' ? transform.StringLiteral(node.key) : null;
+
+        if (key == null) {
+          throw unexpectedTranslationError(node, 'Unsupported key type');
+        }
+
+        return [key, false];
+      })();
 
       if (node.method === true) {
         // flow has just one node for all object properties and relies upon the method flag
         // TS has separate nodes for methods and properties
-        const func = transform.FunctionTypeAnnotation(node.value);
+        const func = transform.FunctionTypeAnnotation(node.value); // $FlowFixMe[incompatible-type] `computed` is set dynamically
+
         return {
           type: 'TSMethodSignature',
           loc: DUMMY_LOC,
-          computed: false,
+          computed,
           key,
           kind: node.kind === 'init' ? 'method' : node.kind,
           optional: node.optional,
@@ -3444,11 +3484,12 @@ const getTransforms = (originalCode, scopeManager, opts) => {
       if (node.kind === 'get' || node.kind === 'set') {
         // flow treats getters/setters as true property signatures (method === false)
         // TS treats them as method signatures
-        const func = transform.FunctionTypeAnnotation(node.value);
+        const func = transform.FunctionTypeAnnotation(node.value); // $FlowFixMe[incompatible-type] `computed` is set dynamically
+
         return {
           type: 'TSMethodSignature',
           loc: DUMMY_LOC,
-          computed: false,
+          computed,
           key,
           kind: node.kind,
           optional: false,
@@ -3459,12 +3500,13 @@ const getTransforms = (originalCode, scopeManager, opts) => {
           // TS accessors cannot have type parameters
           typeParameters: undefined
         };
-      }
+      } // $FlowFixMe[incompatible-type] `computed` is set dynamically
+
 
       return {
         type: 'TSPropertySignature',
         loc: DUMMY_LOC,
-        computed: false,
+        computed,
         key,
         optional: node.optional,
         readonly: ((_node$variance3 = node.variance) == null ? void 0 : _node$variance3.kind) === 'plus',
@@ -3756,6 +3798,27 @@ const getTransforms = (originalCode, scopeManager, opts) => {
       };
     },
 
+    NeverTypeAnnotation(_node) {
+      return {
+        type: 'TSNeverKeyword',
+        loc: DUMMY_LOC
+      };
+    },
+
+    UndefinedTypeAnnotation(_node) {
+      return {
+        type: 'TSUndefinedKeyword',
+        loc: DUMMY_LOC
+      };
+    },
+
+    UnknownTypeAnnotation(_node) {
+      return {
+        type: 'TSUnknownKeyword',
+        loc: DUMMY_LOC
+      };
+    },
+
     ConditionalTypeAnnotation(node) {
       return {
         type: 'TSConditionalType',

package/dist/src/flowToFlowDef.js

@@ -249,7 +249,7 @@ function stripUnusedDefs(detachedStmt, usedDeps, context) {
             specifiers: resultSpecfiers,
             importKind: stmt.importKind,
             source: stmt.source,
-            assertions: stmt.assertions
+            attributes: stmt.attributes
           });
         }
 
@@ -727,15 +727,15 @@ function convertVariableDeclaration(stmt, context) {
 }
 
 function convertImportDeclaration(stmt, context) {
-  if (stmt.assertions.length > 0) {
-    throw (0, _ErrorUtils.translationError)(stmt, 'ImportDeclaration: assertions not supported', context);
+  if (stmt.attributes.length > 0) {
+    throw (0, _ErrorUtils.translationError)(stmt, 'ImportDeclaration: attributes not supported', context);
   }
 
   return [_hermesTransform.t.ImportDeclaration({
     specifiers: stmt.specifiers,
     importKind: stmt.importKind,
     source: stmt.source,
-    assertions: []
+    attributes: []
   }), []];
 }
 
@@ -1147,12 +1147,12 @@ function convertFunctionParameters(params, context) {
 }
 
 function convertBindingNameToFunctionTypeParam(pat, context, index, isAssignment) {
-  const name = pat.type === 'Identifier' ? pat.name : `$$PARAM_${index}$$`;
+  const name = pat.type === 'Identifier' && pat.name != null ? pat.name : `$$PARAM_${index}$$`;
   const [resultParamTypeAnnotation, paramDeps] = convertTypeAnnotation(pat.typeAnnotation, pat, context);
   return [_hermesTransform.t.FunctionTypeParam({
-    name: name != null ? _hermesTransform.t.Identifier({
+    name: _hermesTransform.t.Identifier({
       name
-    }) : null,
+    }),
     typeAnnotation: resultParamTypeAnnotation,
     optional: isAssignment || (pat.type === 'Identifier' ? pat.optional : false)
   }), paramDeps];

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "flow-api-translator",
-  "version": "0.33.2",
+  "version": "0.34.0",
   "description": "Toolkit for creating Flow and TypeScript compatible libraries from Flow source code.",
   "main": "dist/index.js",
   "license": "MIT",
@@ -13,10 +13,10 @@
     "@typescript-eslint/parser": "8.38.0",
     "@typescript-eslint/visitor-keys": "8.38.0",
     "flow-enums-runtime": "^0.0.6",
-    "hermes-eslint": "0.33.2",
-    "hermes-estree": "0.33.2",
-    "hermes-parser": "0.33.2",
-    "hermes-transform": "0.33.2",
+    "hermes-eslint": "0.34.0",
+    "hermes-estree": "0.34.0",
+    "hermes-parser": "0.34.0",
+    "hermes-transform": "0.34.0",
     "typescript": "5.3.2"
   },
   "peerDependencies": {