flow-api-translator 0.37.0 → 0.327.0

package/dist/src/flowToJS.js

@@ -4,27 +4,20 @@ Object.defineProperty(exports, "__esModule", {
   value: true
 });
 exports.flowToJS = flowToJS;
-
-var _hermesParser = require("hermes-parser");
-
+var _flowParser = require("flow-parser");
 var _DocblockUtils = require("./utils/DocblockUtils");
-
 const {
   nodeWith
-} = _hermesParser.astNodeMutationHelpers;
-
+} = _flowParser.astNodeMutationHelpers;
 function stripAtFlow(ast, _options) {
   const docblock = ast.docblock;
-
   if (docblock == null) {
     return ast;
   }
-
   return nodeWith(ast, {
     docblock: (0, _DocblockUtils.removeAtFlowFromDocblock)(docblock)
   });
 }
-
 function flowToJS(sourceAST, _code, _scopeManager) {
-  return [_hermesParser.Transforms.transformComponentSyntax, _hermesParser.Transforms.stripFlowTypes, stripAtFlow].reduce((ast, transform) => transform(ast, {}), sourceAST);
+  return [_flowParser.Transforms.transformComponentSyntax, _flowParser.Transforms.stripFlowTypes, stripAtFlow].reduce((ast, transform) => transform(ast, {}), sourceAST);
 }

package/dist/src/index.js

@@ -9,85 +9,69 @@ exports.translateFlowToFlowDef = translateFlowToFlowDef;
 exports.translateFlowToJS = translateFlowToJS;
 exports.translateFlowToTSDef = translateFlowToTSDef;
 exports.unstable_translateTSDefToFlowDef = unstable_translateTSDefToFlowDef;
-
-var _hermesTransform = require("hermes-transform");
-
+var _flowTransform = require("flow-transform");
 var _parser = require("@typescript-eslint/parser");
-
 var _visitorKeys = require("@typescript-eslint/visitor-keys");
-
 var _flowToFlowDef = _interopRequireDefault(require("./flowToFlowDef"));
-
 var _flowDefToTSDef = require("./flowDefToTSDef");
-
 var _flowToJS = require("./flowToJS");
-
 var _flowImportTo = require("./flowImportTo");
-
 var _TSDefToFlowDef = require("./TSDefToFlowDef");
-
-function _interopRequireDefault(obj) { return obj && obj.__esModule ? obj : { default: obj }; }
-
+function _interopRequireDefault(e) { return e && e.__esModule ? e : { default: e }; }
 async function translateFlowToFlowDef(code, prettierOptions = {}, opts) {
   const {
     ast,
     scopeManager
-  } = await (0, _hermesTransform.parse)(code);
+  } = await (0, _flowTransform.parse)(code);
   const [flowDefAst, mutatedCode] = (0, _flowToFlowDef.default)(ast, code, scopeManager, {
     recoverFromErrors: true,
     mungeUnderscores: opts == null ? void 0 : opts.mungeUnderscores
   });
-  return (0, _hermesTransform.print)(flowDefAst, mutatedCode, prettierOptions);
+  return (0, _flowTransform.print)(flowDefAst, mutatedCode, prettierOptions);
 }
-
 async function translateFlowToTSDef(code, prettierOptions = {}) {
   const flowDefCode = await translateFlowToFlowDef(code, prettierOptions);
   return translateFlowDefToTSDef(flowDefCode, prettierOptions);
 }
-
 async function translateFlowDefToTSDef(code, prettierOptions = {}) {
   const {
     ast,
     scopeManager
-  } = await (0, _hermesTransform.parse)(code);
+  } = await (0, _flowTransform.parse)(code);
   const [tsAST, mutatedCode] = (0, _flowDefToTSDef.flowDefToTSDef)(code, ast, scopeManager, {
     recoverFromErrors: true
   });
-  return (0, _hermesTransform.print)(tsAST, mutatedCode, { ...prettierOptions
+  return (0, _flowTransform.print)(tsAST, mutatedCode, {
+    ...prettierOptions
   }, _visitorKeys.visitorKeys);
 }
-
 async function translateFlowToJS(code, prettierOptions = {}) {
   const {
     ast,
     scopeManager
-  } = await (0, _hermesTransform.parse)(code);
+  } = await (0, _flowTransform.parse)(code);
   const jsAST = (0, _flowToJS.flowToJS)(ast, code, scopeManager);
-  return (0, _hermesTransform.print)(jsAST, code, prettierOptions);
+  return (0, _flowTransform.print)(jsAST, code, prettierOptions);
 }
-
 async function unstable_translateTSDefToFlowDef(code, prettierOptions = {}) {
   const ast = (0, _parser.parse)(code, {
     loc: true,
     range: true,
     sourceType: 'module'
   });
-
   if (ast == null) {
     throw `Failed to parse ${code} with @typescript-eslint/parser`;
   }
-
   const [flowAST, mutatedCode] = (0, _TSDefToFlowDef.TSDefToFlowDef)(code, ast, {
     recoverFromErrors: false
   });
-  return (0, _hermesTransform.print)(flowAST, mutatedCode, prettierOptions);
+  return (0, _flowTransform.print)(flowAST, mutatedCode, prettierOptions);
 }
-
 async function translateFlowImportsTo(code, prettierOptions = {}, opts) {
   const {
     ast,
     scopeManager
-  } = await (0, _hermesTransform.parse)(code);
+  } = await (0, _flowTransform.parse)(code);
   const jsAST = (0, _flowImportTo.flowImportTo)(ast, code, scopeManager, opts);
-  return (0, _hermesTransform.print)(jsAST, code, prettierOptions);
+  return (0, _flowTransform.print)(jsAST, code, prettierOptions);
 }

package/dist/src/utils/DocblockUtils.js

@@ -5,17 +5,17 @@ Object.defineProperty(exports, "__esModule", {
 });
 exports.removeAtFlowFromDocblock = removeAtFlowFromDocblock;
 const FLOW_DIRECTIVE = /(@flow(\s+(strict(-local)?|weak))?|@noflow)/;
-
 function removeAtFlowFromDocblock(docblock) {
   if (!FLOW_DIRECTIVE.test(docblock.comment.value)) {
     return docblock;
   }
-
   return {
-    comment: { ...docblock.comment,
+    comment: {
+      ...docblock.comment,
       value: docblock.comment.value.replace(FLOW_DIRECTIVE, '')
     },
-    directives: { ...docblock.directives,
+    directives: {
+      ...docblock.directives,
       flow: undefined,
       noflow: undefined
     }

package/dist/src/utils/ErrorUtils.js

@@ -8,60 +8,45 @@ exports.buildCodeFrame = buildCodeFrame;
 exports.flowFixMeOrError = flowFixMeOrError;
 exports.translationError = translationError;
 exports.unexpectedTranslationError = unexpectedTranslationError;
-
-var _hermesTransform = require("hermes-transform");
-
+var _flowTransform = require("flow-transform");
 var _codeFrame = require("@babel/code-frame");
-
 function flowFixMeOrError(container, message, context) {
   if (context.recoverFromErrors) {
-    return _hermesTransform.t.GenericTypeAnnotation({
-      id: _hermesTransform.t.Identifier({
+    return _flowTransform.t.GenericTypeAnnotation({
+      id: _flowTransform.t.Identifier({
         name: '$FlowFixMe'
       })
     });
   }
-
   throw translationError(container, message, context);
 }
-
 class TranslationErrorBase extends Error {
   constructor(node, message, context) {
     const framedMessage = buildCodeFrame(node, message, context.code);
     super(process.env.JEST_WORKER_ID == null ? framedMessage : `\n${framedMessage}`);
     this.name = 'TranslationError';
   }
-
 }
-
 class ExpectedTranslationError extends TranslationErrorBase {
   constructor(...args) {
     super(...args);
     this.name = 'ExpectedTranslationError';
   }
-
 }
-
 exports.ExpectedTranslationError = ExpectedTranslationError;
-
 function translationError(node, message, context) {
   return new ExpectedTranslationError(node, message, context);
 }
-
 class UnexpectedTranslationError extends TranslationErrorBase {
   constructor(...args) {
     super(...args);
     this.name = 'UnexpectedTranslationError';
   }
-
 }
-
 exports.UnexpectedTranslationError = UnexpectedTranslationError;
-
 function unexpectedTranslationError(node, message, context) {
   return new UnexpectedTranslationError(node, message, context);
 }
-
 function buildCodeFrame(node, message, code, highlightCode = process.env.NODE_ENV !== 'test') {
   const locForBabel = {
     start: {

package/dist/src/utils/FlowAnalyze.js

@@ -5,31 +5,23 @@ Object.defineProperty(exports, "__esModule", {
 });
 exports.analyzeFunctionReturn = analyzeFunctionReturn;
 exports.analyzeTypeDependencies = analyzeTypeDependencies;
-
-var _hermesTransform = require("hermes-transform");
-
-var _hermesParser = require("hermes-parser");
-
+var _flowTransform = require("flow-transform");
+var _flowParser = require("flow-parser");
 function analyzeFunctionReturn(func) {
   const returnType = func.returnType;
-
   if (returnType != null) {
     return returnType;
   }
-
-  return _hermesTransform.t.TypeAnnotation({
-    typeAnnotation: _hermesTransform.t.VoidTypeAnnotation()
+  return _flowTransform.t.TypeAnnotation({
+    typeAnnotation: _flowTransform.t.VoidTypeAnnotation()
   });
 }
-
 function analyzeTypeDependencies(rootNode, context) {
   const deps = [];
-
-  _hermesParser.SimpleTraverser.traverse(rootNode, {
+  _flowParser.SimpleTraverser.traverse(rootNode, {
     enter(node) {
       if (node.type === 'Identifier' || node.type === 'JSXIdentifier') {
         const variable = context.referenceMap.get(node);
-
         if (variable != null) {
           deps.push(variable.name);
         } else if (context.variableMap.has(node.name)) {
@@ -37,10 +29,7 @@ function analyzeTypeDependencies(rootNode, context) {
         }
       }
     },
-
     leave() {}
-
   });
-
   return deps;
 }

package/dist/src/utils/TSNodeUtils.js

@@ -3,14 +3,10 @@
 Object.defineProperty(exports, "__esModule", {
   value: true
 });
+exports.ensureTypeIncludesUndefined = ensureTypeIncludesUndefined;
 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; }
-
+function _interopRequireWildcard(e, t) { if ("function" == typeof WeakMap) var r = new WeakMap(), n = new WeakMap(); return (_interopRequireWildcard = function (e, t) { if (!t && e && e.__esModule) return e; var o, i, f = { __proto__: null, default: e }; if (null === e || "object" != typeof e && "function" != typeof e) return f; if (o = t ? n : r) { if (o.has(e)) return o.get(e); o.set(e, f); } for (const t in e) "default" !== t && {}.hasOwnProperty.call(e, t) && ((i = (o = Object.defineProperty) && Object.getOwnPropertyDescriptor(e, t)) && (i.get || i.set) ? o(f, t, i) : f[t] = e[t]); return f; })(e, t); }
 const DUMMY_LOC = {
   start: {
     line: 1,
@@ -21,27 +17,21 @@ const DUMMY_LOC = {
     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',
@@ -63,6 +53,31 @@ function extractPropertyKeyLiterals(members) {
       return null;
     }
   }
-
   return literals;
+}
+function ensureTypeIncludesUndefined(typeAnnotation) {
+  if (typeAnnotation.type === 'TSUndefinedKeyword') {
+    return typeAnnotation;
+  }
+  if (typeAnnotation.type === 'TSUnionType') {
+    if (typeAnnotation.types.some(type => type.type === 'TSUndefinedKeyword')) {
+      return typeAnnotation;
+    }
+    return {
+      type: 'TSUnionType',
+      loc: DUMMY_LOC,
+      types: [...typeAnnotation.types, {
+        type: 'TSUndefinedKeyword',
+        loc: DUMMY_LOC
+      }]
+    };
+  }
+  return {
+    type: 'TSUnionType',
+    loc: DUMMY_LOC,
+    types: [typeAnnotation, {
+      type: 'TSUndefinedKeyword',
+      loc: DUMMY_LOC
+    }]
+  };
 }

package/dist/src/utils/TranslationUtils.js

@@ -4,7 +4,6 @@ Object.defineProperty(exports, "__esModule", {
   value: true
 });
 exports.createTranslationContext = createTranslationContext;
-
 function createTranslationContext(code, scopeManager, {
   recoverFromErrors,
   mungeUnderscores = true
@@ -12,18 +11,15 @@ function createTranslationContext(code, scopeManager, {
   const referenceMap = new Map();
   const variableMap = new Map();
   const moduleScope = scopeManager.globalScope.childScopes[0];
-
   if (moduleScope == null || moduleScope.type !== 'module') {
     throw new Error('createTranslationContext: Module scope not found');
   }
-
   for (const variable of moduleScope.variables) {
     for (const reference of variable.references) {
       referenceMap.set(reference.identifier, variable);
       variableMap.set(variable.name, variable);
     }
   }
-
   return {
     scopeManager,
     referenceMap,

package/dist/utils/DocblockUtils.js

@@ -5,17 +5,17 @@ Object.defineProperty(exports, "__esModule", {
 });
 exports.removeAtFlowFromDocblock = removeAtFlowFromDocblock;
 const FLOW_DIRECTIVE = /(@flow(\s+(strict(-local)?|weak))?|@noflow)/;
-
 function removeAtFlowFromDocblock(docblock) {
   if (!FLOW_DIRECTIVE.test(docblock.comment.value)) {
     return docblock;
   }
-
   return {
-    comment: { ...docblock.comment,
+    comment: {
+      ...docblock.comment,
       value: docblock.comment.value.replace(FLOW_DIRECTIVE, '')
     },
-    directives: { ...docblock.directives,
+    directives: {
+      ...docblock.directives,
       flow: undefined,
       noflow: undefined
     }

package/dist/utils/DocblockUtils.js.flow

@@ -10,7 +10,7 @@
 
 'use strict';
 
-import type {DocblockMetadata} from 'hermes-estree';
+import type {DocblockMetadata} from 'flow-estree';
 
 const FLOW_DIRECTIVE = /(@flow(\s+(strict(-local)?|weak))?|@noflow)/;
 

package/dist/utils/ErrorUtils.js

@@ -8,60 +8,45 @@ exports.buildCodeFrame = buildCodeFrame;
 exports.flowFixMeOrError = flowFixMeOrError;
 exports.translationError = translationError;
 exports.unexpectedTranslationError = unexpectedTranslationError;
-
-var _hermesTransform = require("hermes-transform");
-
+var _flowTransform = require("flow-transform");
 var _codeFrame = require("@babel/code-frame");
-
 function flowFixMeOrError(container, message, context) {
   if (context.recoverFromErrors) {
-    return _hermesTransform.t.GenericTypeAnnotation({
-      id: _hermesTransform.t.Identifier({
+    return _flowTransform.t.GenericTypeAnnotation({
+      id: _flowTransform.t.Identifier({
         name: '$FlowFixMe'
       })
     });
   }
-
   throw translationError(container, message, context);
 }
-
 class TranslationErrorBase extends Error {
   constructor(node, message, context) {
     const framedMessage = buildCodeFrame(node, message, context.code);
     super(process.env.JEST_WORKER_ID == null ? framedMessage : `\n${framedMessage}`);
     this.name = 'TranslationError';
   }
-
 }
-
 class ExpectedTranslationError extends TranslationErrorBase {
   constructor(...args) {
     super(...args);
     this.name = 'ExpectedTranslationError';
   }
-
 }
-
 exports.ExpectedTranslationError = ExpectedTranslationError;
-
 function translationError(node, message, context) {
   return new ExpectedTranslationError(node, message, context);
 }
-
 class UnexpectedTranslationError extends TranslationErrorBase {
   constructor(...args) {
     super(...args);
     this.name = 'UnexpectedTranslationError';
   }
-
 }
-
 exports.UnexpectedTranslationError = UnexpectedTranslationError;
-
 function unexpectedTranslationError(node, message, context) {
   return new UnexpectedTranslationError(node, message, context);
 }
-
 function buildCodeFrame(node, message, code, highlightCode = process.env.NODE_ENV !== 'test') {
   const locForBabel = {
     start: {

package/dist/utils/ErrorUtils.js.flow

@@ -10,11 +10,11 @@
 
 'use strict';
 
-import type {ObjectWithLoc, TypeAnnotationType} from 'hermes-estree';
+import type {ObjectWithLoc, TypeAnnotationType} from 'flow-estree';
 import type {TranslationContext} from './TranslationUtils';
-import type {DetachedNode} from 'hermes-transform';
+import type {DetachedNode} from 'flow-transform';
 
-import {t} from 'hermes-transform';
+import {t} from 'flow-transform';
 import {codeFrameColumns} from '@babel/code-frame';
 
 export function flowFixMeOrError(

package/dist/utils/FlowAnalyze.js

@@ -5,31 +5,23 @@ Object.defineProperty(exports, "__esModule", {
 });
 exports.analyzeFunctionReturn = analyzeFunctionReturn;
 exports.analyzeTypeDependencies = analyzeTypeDependencies;
-
-var _hermesTransform = require("hermes-transform");
-
-var _hermesParser = require("hermes-parser");
-
+var _flowTransform = require("flow-transform");
+var _flowParser = require("flow-parser");
 function analyzeFunctionReturn(func) {
   const returnType = func.returnType;
-
   if (returnType != null) {
     return returnType;
   }
-
-  return _hermesTransform.t.TypeAnnotation({
-    typeAnnotation: _hermesTransform.t.VoidTypeAnnotation()
+  return _flowTransform.t.TypeAnnotation({
+    typeAnnotation: _flowTransform.t.VoidTypeAnnotation()
   });
 }
-
 function analyzeTypeDependencies(rootNode, context) {
   const deps = [];
-
-  _hermesParser.SimpleTraverser.traverse(rootNode, {
+  _flowParser.SimpleTraverser.traverse(rootNode, {
     enter(node) {
       if (node.type === 'Identifier' || node.type === 'JSXIdentifier') {
         const variable = context.referenceMap.get(node);
-
         if (variable != null) {
           deps.push(variable.name);
         } else if (context.variableMap.has(node.name)) {
@@ -37,10 +29,7 @@ function analyzeTypeDependencies(rootNode, context) {
         }
       }
     },
-
     leave() {}
-
   });
-
   return deps;
 }

package/dist/utils/FlowAnalyze.js.flow

@@ -10,11 +10,11 @@
 
 'use strict';
 
-import type {AFunction, TypeAnnotation, ESNode} from 'hermes-estree';
+import type {AFunction, TypeAnnotation, ESNode} from 'flow-estree';
 import type {TranslationContext, Dep} from './TranslationUtils';
 
-import {t} from 'hermes-transform';
-import {SimpleTraverser} from 'hermes-parser';
+import {t} from 'flow-transform';
+import {SimpleTraverser} from 'flow-parser';
 
 export function analyzeFunctionReturn(func: AFunction): TypeAnnotation {
   const returnType = func.returnType;

package/dist/utils/TSNodeUtils.js

@@ -3,14 +3,10 @@
 Object.defineProperty(exports, "__esModule", {
   value: true
 });
+exports.ensureTypeIncludesUndefined = ensureTypeIncludesUndefined;
 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; }
-
+function _interopRequireWildcard(e, t) { if ("function" == typeof WeakMap) var r = new WeakMap(), n = new WeakMap(); return (_interopRequireWildcard = function (e, t) { if (!t && e && e.__esModule) return e; var o, i, f = { __proto__: null, default: e }; if (null === e || "object" != typeof e && "function" != typeof e) return f; if (o = t ? n : r) { if (o.has(e)) return o.get(e); o.set(e, f); } for (const t in e) "default" !== t && {}.hasOwnProperty.call(e, t) && ((i = (o = Object.defineProperty) && Object.getOwnPropertyDescriptor(e, t)) && (i.get || i.set) ? o(f, t, i) : f[t] = e[t]); return f; })(e, t); }
 const DUMMY_LOC = {
   start: {
     line: 1,
@@ -21,27 +17,21 @@ const DUMMY_LOC = {
     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',
@@ -63,6 +53,31 @@ function extractPropertyKeyLiterals(members) {
       return null;
     }
   }
-
   return literals;
+}
+function ensureTypeIncludesUndefined(typeAnnotation) {
+  if (typeAnnotation.type === 'TSUndefinedKeyword') {
+    return typeAnnotation;
+  }
+  if (typeAnnotation.type === 'TSUnionType') {
+    if (typeAnnotation.types.some(type => type.type === 'TSUndefinedKeyword')) {
+      return typeAnnotation;
+    }
+    return {
+      type: 'TSUnionType',
+      loc: DUMMY_LOC,
+      types: [...typeAnnotation.types, {
+        type: 'TSUndefinedKeyword',
+        loc: DUMMY_LOC
+      }]
+    };
+  }
+  return {
+    type: 'TSUnionType',
+    loc: DUMMY_LOC,
+    types: [typeAnnotation, {
+      type: 'TSUndefinedKeyword',
+      loc: DUMMY_LOC
+    }]
+  };
 }

package/dist/utils/TSNodeUtils.js.flow

@@ -10,7 +10,7 @@
 
 'use strict';
 
-import type {SourceLocation} from 'hermes-estree';
+import type {SourceLocation} from 'flow-estree';
 
 import * as TSESTree from './ts-estree-ast-types';
 
@@ -72,3 +72,37 @@ export function extractPropertyKeyLiterals(
   }
   return literals;
 }
+
+/**
+ * Returns a type that is guaranteed to include `undefined`, without duplicating
+ * it when already present.
+ *
+ * Flow's optional members permit `undefined`, so the faithful TypeScript
+ * translation of `foo?: T` is `foo?: T | undefined` (the two are distinct under
+ * `exactOptionalPropertyTypes`).
+ */
+export function ensureTypeIncludesUndefined(
+  typeAnnotation: TSESTree.TypeNode,
+): TSESTree.TypeNode {
+  if (typeAnnotation.type === 'TSUndefinedKeyword') {
+    return typeAnnotation;
+  }
+  if (typeAnnotation.type === 'TSUnionType') {
+    if (typeAnnotation.types.some(type => type.type === 'TSUndefinedKeyword')) {
+      return typeAnnotation;
+    }
+    return {
+      type: 'TSUnionType',
+      loc: DUMMY_LOC,
+      types: [
+        ...typeAnnotation.types,
+        {type: 'TSUndefinedKeyword', loc: DUMMY_LOC},
+      ],
+    };
+  }
+  return {
+    type: 'TSUnionType',
+    loc: DUMMY_LOC,
+    types: [typeAnnotation, {type: 'TSUndefinedKeyword', loc: DUMMY_LOC}],
+  };
+}