@babel/traverse 8.0.0-alpha.2 → 8.0.0-alpha.3

package/lib/path/inference/index.js

@@ -1,137 +0,0 @@
-import * as inferers from "./inferers.js";
-import * as _t from "@babel/types";
-const {
-  anyTypeAnnotation,
-  isAnyTypeAnnotation,
-  isArrayTypeAnnotation,
-  isBooleanTypeAnnotation,
-  isEmptyTypeAnnotation,
-  isFlowBaseAnnotation,
-  isGenericTypeAnnotation,
-  isIdentifier,
-  isMixedTypeAnnotation,
-  isNumberTypeAnnotation,
-  isStringTypeAnnotation,
-  isTSArrayType,
-  isTSTypeAnnotation,
-  isTSTypeReference,
-  isTupleTypeAnnotation,
-  isTypeAnnotation,
-  isUnionTypeAnnotation,
-  isVoidTypeAnnotation,
-  stringTypeAnnotation,
-  voidTypeAnnotation
-} = _t;
-export function getTypeAnnotation() {
-  let type = this.getData("typeAnnotation");
-  if (type != null) {
-    return type;
-  }
-  type = this._getTypeAnnotation() || anyTypeAnnotation();
-  if (isTypeAnnotation(type) || isTSTypeAnnotation(type)) {
-    type = type.typeAnnotation;
-  }
-  this.setData("typeAnnotation", type);
-  return type;
-}
-const typeAnnotationInferringNodes = new WeakSet();
-export function _getTypeAnnotation() {
-  const node = this.node;
-  if (!node) {
-    if (this.key === "init" && this.parentPath.isVariableDeclarator()) {
-      const declar = this.parentPath.parentPath;
-      const declarParent = declar.parentPath;
-      if (declar.key === "left" && declarParent.isForInStatement()) {
-        return stringTypeAnnotation();
-      }
-      if (declar.key === "left" && declarParent.isForOfStatement()) {
-        return anyTypeAnnotation();
-      }
-      return voidTypeAnnotation();
-    } else {
-      return;
-    }
-  }
-  if (node.typeAnnotation) {
-    return node.typeAnnotation;
-  }
-  if (typeAnnotationInferringNodes.has(node)) {
-    return;
-  }
-  typeAnnotationInferringNodes.add(node);
-  try {
-    let inferer = inferers[node.type];
-    if (inferer) {
-      return inferer.call(this, node);
-    }
-    inferer = inferers[this.parentPath.type];
-    if (inferer?.validParent) {
-      return this.parentPath.getTypeAnnotation();
-    }
-  } finally {
-    typeAnnotationInferringNodes.delete(node);
-  }
-}
-export function isBaseType(baseName, soft) {
-  return _isBaseType(baseName, this.getTypeAnnotation(), soft);
-}
-function _isBaseType(baseName, type, soft) {
-  if (baseName === "string") {
-    return isStringTypeAnnotation(type);
-  } else if (baseName === "number") {
-    return isNumberTypeAnnotation(type);
-  } else if (baseName === "boolean") {
-    return isBooleanTypeAnnotation(type);
-  } else if (baseName === "any") {
-    return isAnyTypeAnnotation(type);
-  } else if (baseName === "mixed") {
-    return isMixedTypeAnnotation(type);
-  } else if (baseName === "empty") {
-    return isEmptyTypeAnnotation(type);
-  } else if (baseName === "void") {
-    return isVoidTypeAnnotation(type);
-  } else {
-    if (soft) {
-      return false;
-    } else {
-      throw new Error(`Unknown base type ${baseName}`);
-    }
-  }
-}
-export function couldBeBaseType(name) {
-  const type = this.getTypeAnnotation();
-  if (isAnyTypeAnnotation(type)) return true;
-  if (isUnionTypeAnnotation(type)) {
-    for (const type2 of type.types) {
-      if (isAnyTypeAnnotation(type2) || _isBaseType(name, type2, true)) {
-        return true;
-      }
-    }
-    return false;
-  } else {
-    return _isBaseType(name, type, true);
-  }
-}
-export function baseTypeStrictlyMatches(rightArg) {
-  const left = this.getTypeAnnotation();
-  const right = rightArg.getTypeAnnotation();
-  if (!isAnyTypeAnnotation(left) && isFlowBaseAnnotation(left)) {
-    return right.type === left.type;
-  }
-  return false;
-}
-export function isGenericType(genericName) {
-  const type = this.getTypeAnnotation();
-  if (genericName === "Array") {
-    if (isTSArrayType(type) || isArrayTypeAnnotation(type) || isTupleTypeAnnotation(type)) {
-      return true;
-    }
-  }
-  return isGenericTypeAnnotation(type) && isIdentifier(type.id, {
-    name: genericName
-  }) || isTSTypeReference(type) && isIdentifier(type.typeName, {
-    name: genericName
-  });
-}
-
-//# sourceMappingURL=index.js.map

package/lib/path/inference/index.js.map

@@ -1 +0,0 @@
-{"version":3,"names":["inferers","_t","anyTypeAnnotation","isAnyTypeAnnotation","isArrayTypeAnnotation","isBooleanTypeAnnotation","isEmptyTypeAnnotation","isFlowBaseAnnotation","isGenericTypeAnnotation","isIdentifier","isMixedTypeAnnotation","isNumberTypeAnnotation","isStringTypeAnnotation","isTSArrayType","isTSTypeAnnotation","isTSTypeReference","isTupleTypeAnnotation","isTypeAnnotation","isUnionTypeAnnotation","isVoidTypeAnnotation","stringTypeAnnotation","voidTypeAnnotation","getTypeAnnotation","type","getData","_getTypeAnnotation","typeAnnotation","setData","typeAnnotationInferringNodes","WeakSet","node","key","parentPath","isVariableDeclarator","declar","declarParent","isForInStatement","isForOfStatement","has","add","inferer","call","validParent","delete","isBaseType","baseName","soft","_isBaseType","Error","couldBeBaseType","name","type2","types","baseTypeStrictlyMatches","rightArg","left","right","isGenericType","genericName","id","typeName"],"sources":["../../../src/path/inference/index.ts"],"sourcesContent":["import type NodePath from \"../index\";\nimport * as inferers from \"./inferers\";\nimport {\n  anyTypeAnnotation,\n  isAnyTypeAnnotation,\n  isArrayTypeAnnotation,\n  isBooleanTypeAnnotation,\n  isEmptyTypeAnnotation,\n  isFlowBaseAnnotation,\n  isGenericTypeAnnotation,\n  isIdentifier,\n  isMixedTypeAnnotation,\n  isNumberTypeAnnotation,\n  isStringTypeAnnotation,\n  isTSArrayType,\n  isTSTypeAnnotation,\n  isTSTypeReference,\n  isTupleTypeAnnotation,\n  isTypeAnnotation,\n  isUnionTypeAnnotation,\n  isVoidTypeAnnotation,\n  stringTypeAnnotation,\n  voidTypeAnnotation,\n} from \"@babel/types\";\nimport type * as t from \"@babel/types\";\n\n/**\n * Infer the type of the current `NodePath`.\n */\n\nexport function getTypeAnnotation(this: NodePath): t.FlowType | t.TSType {\n  let type = this.getData(\"typeAnnotation\");\n  if (type != null) {\n    return type;\n  }\n  type = this._getTypeAnnotation() || anyTypeAnnotation();\n  if (isTypeAnnotation(type) || isTSTypeAnnotation(type)) {\n    type = type.typeAnnotation;\n  }\n  this.setData(\"typeAnnotation\", type);\n  return type;\n}\n\n// Used to avoid infinite recursion in cases like\n//   var b, c; if (0) { c = 1; b = c; } c = b;\n// It also works with indirect recursion.\nconst typeAnnotationInferringNodes = new WeakSet();\n\n/**\n * todo: split up this method\n */\n\nexport function _getTypeAnnotation(this: NodePath): any {\n  const node = this.node;\n\n  if (!node) {\n    // handle initializerless variables, add in checks for loop initializers too\n    if (this.key === \"init\" && this.parentPath.isVariableDeclarator()) {\n      const declar = this.parentPath.parentPath;\n      const declarParent = declar.parentPath;\n\n      // for (let NODE in bar) {}\n      if (declar.key === \"left\" && declarParent.isForInStatement()) {\n        return stringTypeAnnotation();\n      }\n\n      // for (let NODE of bar) {}\n      if (declar.key === \"left\" && declarParent.isForOfStatement()) {\n        return anyTypeAnnotation();\n      }\n\n      return voidTypeAnnotation();\n    } else {\n      return;\n    }\n  }\n\n  // @ts-expect-error typeAnnotation may not index node\n  if (node.typeAnnotation) {\n    // @ts-expect-error typeAnnotation may not index node\n    return node.typeAnnotation;\n  }\n\n  if (typeAnnotationInferringNodes.has(node)) {\n    // Bail out from type inference to avoid infinite loops\n    return;\n  }\n  typeAnnotationInferringNodes.add(node);\n\n  try {\n    let inferer =\n      // @ts-expect-error inferers do not cover all AST types\n      inferers[node.type];\n    if (inferer) {\n      return inferer.call(this, node);\n    }\n\n    // @ts-expect-error inferers do not cover all AST types\n    inferer = inferers[this.parentPath.type];\n    if (inferer?.validParent) {\n      return this.parentPath.getTypeAnnotation();\n    }\n  } finally {\n    typeAnnotationInferringNodes.delete(node);\n  }\n}\n\nexport function isBaseType(\n  this: NodePath,\n  baseName: string,\n  soft?: boolean,\n): boolean {\n  return _isBaseType(baseName, this.getTypeAnnotation(), soft);\n}\n\nfunction _isBaseType(\n  baseName: string,\n  type?: t.FlowType | t.TSType,\n  soft?: boolean,\n): boolean {\n  if (baseName === \"string\") {\n    return isStringTypeAnnotation(type);\n  } else if (baseName === \"number\") {\n    return isNumberTypeAnnotation(type);\n  } else if (baseName === \"boolean\") {\n    return isBooleanTypeAnnotation(type);\n  } else if (baseName === \"any\") {\n    return isAnyTypeAnnotation(type);\n  } else if (baseName === \"mixed\") {\n    return isMixedTypeAnnotation(type);\n  } else if (baseName === \"empty\") {\n    return isEmptyTypeAnnotation(type);\n  } else if (baseName === \"void\") {\n    return isVoidTypeAnnotation(type);\n  } else {\n    if (soft) {\n      return false;\n    } else {\n      throw new Error(`Unknown base type ${baseName}`);\n    }\n  }\n}\n\nexport function couldBeBaseType(this: NodePath, name: string): boolean {\n  const type = this.getTypeAnnotation();\n  if (isAnyTypeAnnotation(type)) return true;\n\n  if (isUnionTypeAnnotation(type)) {\n    for (const type2 of type.types) {\n      if (isAnyTypeAnnotation(type2) || _isBaseType(name, type2, true)) {\n        return true;\n      }\n    }\n    return false;\n  } else {\n    return _isBaseType(name, type, true);\n  }\n}\n\nexport function baseTypeStrictlyMatches(\n  this: NodePath,\n  rightArg: NodePath,\n): boolean {\n  const left = this.getTypeAnnotation();\n  const right = rightArg.getTypeAnnotation();\n\n  if (!isAnyTypeAnnotation(left) && isFlowBaseAnnotation(left)) {\n    return right.type === left.type;\n  }\n  return false;\n}\n\nexport function isGenericType(this: NodePath, genericName: string): boolean {\n  const type = this.getTypeAnnotation();\n  if (genericName === \"Array\") {\n    // T[]\n    if (\n      isTSArrayType(type) ||\n      isArrayTypeAnnotation(type) ||\n      isTupleTypeAnnotation(type)\n    ) {\n      return true;\n    }\n  }\n  return (\n    (isGenericTypeAnnotation(type) &&\n      isIdentifier(type.id, {\n        name: genericName,\n      })) ||\n    (isTSTypeReference(type) &&\n      isIdentifier(type.typeName, {\n        name: genericName,\n      }))\n  );\n}\n"],"mappings":"AACA,OAAO,KAAKA,QAAQ,MAAM,eAAY;AACtC,YAAAC,EAAA,MAqBO,cAAc;AAAC;EApBpBC,iBAAiB;EACjBC,mBAAmB;EACnBC,qBAAqB;EACrBC,uBAAuB;EACvBC,qBAAqB;EACrBC,oBAAoB;EACpBC,uBAAuB;EACvBC,YAAY;EACZC,qBAAqB;EACrBC,sBAAsB;EACtBC,sBAAsB;EACtBC,aAAa;EACbC,kBAAkB;EAClBC,iBAAiB;EACjBC,qBAAqB;EACrBC,gBAAgB;EAChBC,qBAAqB;EACrBC,oBAAoB;EACpBC,oBAAoB;EACpBC;AAAkB,IAAApB,EAAA;AAQpB,OAAO,SAASqB,iBAAiBA,CAAA,EAAwC;EACvE,IAAIC,IAAI,GAAG,IAAI,CAACC,OAAO,CAAC,gBAAgB,CAAC;EACzC,IAAID,IAAI,IAAI,IAAI,EAAE;IAChB,OAAOA,IAAI;EACb;EACAA,IAAI,GAAG,IAAI,CAACE,kBAAkB,CAAC,CAAC,IAAIvB,iBAAiB,CAAC,CAAC;EACvD,IAAIe,gBAAgB,CAACM,IAAI,CAAC,IAAIT,kBAAkB,CAACS,IAAI,CAAC,EAAE;IACtDA,IAAI,GAAGA,IAAI,CAACG,cAAc;EAC5B;EACA,IAAI,CAACC,OAAO,CAAC,gBAAgB,EAAEJ,IAAI,CAAC;EACpC,OAAOA,IAAI;AACb;AAKA,MAAMK,4BAA4B,GAAG,IAAIC,OAAO,CAAC,CAAC;AAMlD,OAAO,SAASJ,kBAAkBA,CAAA,EAAsB;EACtD,MAAMK,IAAI,GAAG,IAAI,CAACA,IAAI;EAEtB,IAAI,CAACA,IAAI,EAAE;IAET,IAAI,IAAI,CAACC,GAAG,KAAK,MAAM,IAAI,IAAI,CAACC,UAAU,CAACC,oBAAoB,CAAC,CAAC,EAAE;MACjE,MAAMC,MAAM,GAAG,IAAI,CAACF,UAAU,CAACA,UAAU;MACzC,MAAMG,YAAY,GAAGD,MAAM,CAACF,UAAU;MAGtC,IAAIE,MAAM,CAACH,GAAG,KAAK,MAAM,IAAII,YAAY,CAACC,gBAAgB,CAAC,CAAC,EAAE;QAC5D,OAAOhB,oBAAoB,CAAC,CAAC;MAC/B;MAGA,IAAIc,MAAM,CAACH,GAAG,KAAK,MAAM,IAAII,YAAY,CAACE,gBAAgB,CAAC,CAAC,EAAE;QAC5D,OAAOnC,iBAAiB,CAAC,CAAC;MAC5B;MAEA,OAAOmB,kBAAkB,CAAC,CAAC;IAC7B,CAAC,MAAM;MACL;IACF;EACF;EAGA,IAAIS,IAAI,CAACJ,cAAc,EAAE;IAEvB,OAAOI,IAAI,CAACJ,cAAc;EAC5B;EAEA,IAAIE,4BAA4B,CAACU,GAAG,CAACR,IAAI,CAAC,EAAE;IAE1C;EACF;EACAF,4BAA4B,CAACW,GAAG,CAACT,IAAI,CAAC;EAEtC,IAAI;IACF,IAAIU,OAAO,GAETxC,QAAQ,CAAC8B,IAAI,CAACP,IAAI,CAAC;IACrB,IAAIiB,OAAO,EAAE;MACX,OAAOA,OAAO,CAACC,IAAI,CAAC,IAAI,EAAEX,IAAI,CAAC;IACjC;IAGAU,OAAO,GAAGxC,QAAQ,CAAC,IAAI,CAACgC,UAAU,CAACT,IAAI,CAAC;IACxC,IAAIiB,OAAO,EAAEE,WAAW,EAAE;MACxB,OAAO,IAAI,CAACV,UAAU,CAACV,iBAAiB,CAAC,CAAC;IAC5C;EACF,CAAC,SAAS;IACRM,4BAA4B,CAACe,MAAM,CAACb,IAAI,CAAC;EAC3C;AACF;AAEA,OAAO,SAASc,UAAUA,CAExBC,QAAgB,EAChBC,IAAc,EACL;EACT,OAAOC,WAAW,CAACF,QAAQ,EAAE,IAAI,CAACvB,iBAAiB,CAAC,CAAC,EAAEwB,IAAI,CAAC;AAC9D;AAEA,SAASC,WAAWA,CAClBF,QAAgB,EAChBtB,IAA4B,EAC5BuB,IAAc,EACL;EACT,IAAID,QAAQ,KAAK,QAAQ,EAAE;IACzB,OAAOjC,sBAAsB,CAACW,IAAI,CAAC;EACrC,CAAC,MAAM,IAAIsB,QAAQ,KAAK,QAAQ,EAAE;IAChC,OAAOlC,sBAAsB,CAACY,IAAI,CAAC;EACrC,CAAC,MAAM,IAAIsB,QAAQ,KAAK,SAAS,EAAE;IACjC,OAAOxC,uBAAuB,CAACkB,IAAI,CAAC;EACtC,CAAC,MAAM,IAAIsB,QAAQ,KAAK,KAAK,EAAE;IAC7B,OAAO1C,mBAAmB,CAACoB,IAAI,CAAC;EAClC,CAAC,MAAM,IAAIsB,QAAQ,KAAK,OAAO,EAAE;IAC/B,OAAOnC,qBAAqB,CAACa,IAAI,CAAC;EACpC,CAAC,MAAM,IAAIsB,QAAQ,KAAK,OAAO,EAAE;IAC/B,OAAOvC,qBAAqB,CAACiB,IAAI,CAAC;EACpC,CAAC,MAAM,IAAIsB,QAAQ,KAAK,MAAM,EAAE;IAC9B,OAAO1B,oBAAoB,CAACI,IAAI,CAAC;EACnC,CAAC,MAAM;IACL,IAAIuB,IAAI,EAAE;MACR,OAAO,KAAK;IACd,CAAC,MAAM;MACL,MAAM,IAAIE,KAAK,CAAE,qBAAoBH,QAAS,EAAC,CAAC;IAClD;EACF;AACF;AAEA,OAAO,SAASI,eAAeA,CAAiBC,IAAY,EAAW;EACrE,MAAM3B,IAAI,GAAG,IAAI,CAACD,iBAAiB,CAAC,CAAC;EACrC,IAAInB,mBAAmB,CAACoB,IAAI,CAAC,EAAE,OAAO,IAAI;EAE1C,IAAIL,qBAAqB,CAACK,IAAI,CAAC,EAAE;IAC/B,KAAK,MAAM4B,KAAK,IAAI5B,IAAI,CAAC6B,KAAK,EAAE;MAC9B,IAAIjD,mBAAmB,CAACgD,KAAK,CAAC,IAAIJ,WAAW,CAACG,IAAI,EAAEC,KAAK,EAAE,IAAI,CAAC,EAAE;QAChE,OAAO,IAAI;MACb;IACF;IACA,OAAO,KAAK;EACd,CAAC,MAAM;IACL,OAAOJ,WAAW,CAACG,IAAI,EAAE3B,IAAI,EAAE,IAAI,CAAC;EACtC;AACF;AAEA,OAAO,SAAS8B,uBAAuBA,CAErCC,QAAkB,EACT;EACT,MAAMC,IAAI,GAAG,IAAI,CAACjC,iBAAiB,CAAC,CAAC;EACrC,MAAMkC,KAAK,GAAGF,QAAQ,CAAChC,iBAAiB,CAAC,CAAC;EAE1C,IAAI,CAACnB,mBAAmB,CAACoD,IAAI,CAAC,IAAIhD,oBAAoB,CAACgD,IAAI,CAAC,EAAE;IAC5D,OAAOC,KAAK,CAACjC,IAAI,KAAKgC,IAAI,CAAChC,IAAI;EACjC;EACA,OAAO,KAAK;AACd;AAEA,OAAO,SAASkC,aAAaA,CAAiBC,WAAmB,EAAW;EAC1E,MAAMnC,IAAI,GAAG,IAAI,CAACD,iBAAiB,CAAC,CAAC;EACrC,IAAIoC,WAAW,KAAK,OAAO,EAAE;IAE3B,IACE7C,aAAa,CAACU,IAAI,CAAC,IACnBnB,qBAAqB,CAACmB,IAAI,CAAC,IAC3BP,qBAAqB,CAACO,IAAI,CAAC,EAC3B;MACA,OAAO,IAAI;IACb;EACF;EACA,OACGf,uBAAuB,CAACe,IAAI,CAAC,IAC5Bd,YAAY,CAACc,IAAI,CAACoC,EAAE,EAAE;IACpBT,IAAI,EAAEQ;EACR,CAAC,CAAC,IACH3C,iBAAiB,CAACQ,IAAI,CAAC,IACtBd,YAAY,CAACc,IAAI,CAACqC,QAAQ,EAAE;IAC1BV,IAAI,EAAEQ;EACR,CAAC,CAAE;AAET"}

package/lib/path/inference/inferer-reference.js

@@ -1,145 +0,0 @@
-import * as _t from "@babel/types";
-const {
-  BOOLEAN_NUMBER_BINARY_OPERATORS,
-  createTypeAnnotationBasedOnTypeof,
-  numberTypeAnnotation,
-  voidTypeAnnotation
-} = _t;
-import { createUnionType } from "./util.js";
-export default function (node) {
-  if (!this.isReferenced()) return;
-  const binding = this.scope.getBinding(node.name);
-  if (binding) {
-    if (binding.identifier.typeAnnotation) {
-      return binding.identifier.typeAnnotation;
-    } else {
-      return getTypeAnnotationBindingConstantViolations(binding, this, node.name);
-    }
-  }
-  if (node.name === "undefined") {
-    return voidTypeAnnotation();
-  } else if (node.name === "NaN" || node.name === "Infinity") {
-    return numberTypeAnnotation();
-  } else if (node.name === "arguments") {}
-}
-function getTypeAnnotationBindingConstantViolations(binding, path, name) {
-  const types = [];
-  const functionConstantViolations = [];
-  let constantViolations = getConstantViolationsBefore(binding, path, functionConstantViolations);
-  const testType = getConditionalAnnotation(binding, path, name);
-  if (testType) {
-    const testConstantViolations = getConstantViolationsBefore(binding, testType.ifStatement);
-    constantViolations = constantViolations.filter(path => testConstantViolations.indexOf(path) < 0);
-    types.push(testType.typeAnnotation);
-  }
-  if (constantViolations.length) {
-    constantViolations.push(...functionConstantViolations);
-    for (const violation of constantViolations) {
-      types.push(violation.getTypeAnnotation());
-    }
-  }
-  if (!types.length) {
-    return;
-  }
-  return createUnionType(types);
-}
-function getConstantViolationsBefore(binding, path, functions) {
-  const violations = binding.constantViolations.slice();
-  violations.unshift(binding.path);
-  return violations.filter(violation => {
-    violation = violation.resolve();
-    const status = violation._guessExecutionStatusRelativeTo(path);
-    if (functions && status === "unknown") functions.push(violation);
-    return status === "before";
-  });
-}
-function inferAnnotationFromBinaryExpression(name, path) {
-  const operator = path.node.operator;
-  const right = path.get("right").resolve();
-  const left = path.get("left").resolve();
-  let target;
-  if (left.isIdentifier({
-    name
-  })) {
-    target = right;
-  } else if (right.isIdentifier({
-    name
-  })) {
-    target = left;
-  }
-  if (target) {
-    if (operator === "===") {
-      return target.getTypeAnnotation();
-    }
-    if (BOOLEAN_NUMBER_BINARY_OPERATORS.indexOf(operator) >= 0) {
-      return numberTypeAnnotation();
-    }
-    return;
-  }
-  if (operator !== "===" && operator !== "==") return;
-  let typeofPath;
-  let typePath;
-  if (left.isUnaryExpression({
-    operator: "typeof"
-  })) {
-    typeofPath = left;
-    typePath = right;
-  } else if (right.isUnaryExpression({
-    operator: "typeof"
-  })) {
-    typeofPath = right;
-    typePath = left;
-  }
-  if (!typeofPath) return;
-  if (!typeofPath.get("argument").isIdentifier({
-    name
-  })) return;
-  typePath = typePath.resolve();
-  if (!typePath.isLiteral()) return;
-  const typeValue = typePath.node.value;
-  if (typeof typeValue !== "string") return;
-  return createTypeAnnotationBasedOnTypeof(typeValue);
-}
-function getParentConditionalPath(binding, path, name) {
-  let parentPath;
-  while (parentPath = path.parentPath) {
-    if (parentPath.isIfStatement() || parentPath.isConditionalExpression()) {
-      if (path.key === "test") {
-        return;
-      }
-      return parentPath;
-    }
-    if (parentPath.isFunction()) {
-      if (parentPath.parentPath.scope.getBinding(name) !== binding) return;
-    }
-    path = parentPath;
-  }
-}
-function getConditionalAnnotation(binding, path, name) {
-  const ifStatement = getParentConditionalPath(binding, path, name);
-  if (!ifStatement) return;
-  const test = ifStatement.get("test");
-  const paths = [test];
-  const types = [];
-  for (let i = 0; i < paths.length; i++) {
-    const path = paths[i];
-    if (path.isLogicalExpression()) {
-      if (path.node.operator === "&&") {
-        paths.push(path.get("left"));
-        paths.push(path.get("right"));
-      }
-    } else if (path.isBinaryExpression()) {
-      const type = inferAnnotationFromBinaryExpression(name, path);
-      if (type) types.push(type);
-    }
-  }
-  if (types.length) {
-    return {
-      typeAnnotation: createUnionType(types),
-      ifStatement
-    };
-  }
-  return getConditionalAnnotation(binding, ifStatement, name);
-}
-
-//# sourceMappingURL=inferer-reference.js.map

package/lib/path/inference/inferer-reference.js.map

@@ -1 +0,0 @@
-{"version":3,"names":["_t","BOOLEAN_NUMBER_BINARY_OPERATORS","createTypeAnnotationBasedOnTypeof","numberTypeAnnotation","voidTypeAnnotation","createUnionType","node","isReferenced","binding","scope","getBinding","name","identifier","typeAnnotation","getTypeAnnotationBindingConstantViolations","path","types","functionConstantViolations","constantViolations","getConstantViolationsBefore","testType","getConditionalAnnotation","testConstantViolations","ifStatement","filter","indexOf","push","length","violation","getTypeAnnotation","functions","violations","slice","unshift","resolve","status","_guessExecutionStatusRelativeTo","inferAnnotationFromBinaryExpression","operator","right","get","left","target","isIdentifier","typeofPath","typePath","isUnaryExpression","isLiteral","typeValue","value","getParentConditionalPath","parentPath","isIfStatement","isConditionalExpression","key","isFunction","test","paths","i","isLogicalExpression","isBinaryExpression","type"],"sources":["../../../src/path/inference/inferer-reference.ts"],"sourcesContent":["import type NodePath from \"../index\";\nimport {\n  BOOLEAN_NUMBER_BINARY_OPERATORS,\n  createTypeAnnotationBasedOnTypeof,\n  numberTypeAnnotation,\n  voidTypeAnnotation,\n} from \"@babel/types\";\nimport type * as t from \"@babel/types\";\nimport type Binding from \"../../scope/binding\";\n\nimport { createUnionType } from \"./util\";\n\nexport default function (this: NodePath<t.Identifier>, node: t.Identifier) {\n  if (!this.isReferenced()) return;\n\n  // check if a binding exists of this value and if so then return a union type of all\n  // possible types that the binding could be\n  const binding = this.scope.getBinding(node.name);\n  if (binding) {\n    if (binding.identifier.typeAnnotation) {\n      return binding.identifier.typeAnnotation;\n    } else {\n      return getTypeAnnotationBindingConstantViolations(\n        binding,\n        this,\n        node.name,\n      );\n    }\n  }\n\n  // built-in values\n  if (node.name === \"undefined\") {\n    return voidTypeAnnotation();\n  } else if (node.name === \"NaN\" || node.name === \"Infinity\") {\n    return numberTypeAnnotation();\n  } else if (node.name === \"arguments\") {\n    // todo\n  }\n}\n\nfunction getTypeAnnotationBindingConstantViolations(\n  binding: Binding,\n  path: NodePath<t.Identifier>,\n  name: string,\n) {\n  const types = [];\n\n  const functionConstantViolations: NodePath[] = [];\n  let constantViolations = getConstantViolationsBefore(\n    binding,\n    path,\n    functionConstantViolations,\n  );\n\n  const testType = getConditionalAnnotation(binding, path, name);\n  if (testType) {\n    const testConstantViolations = getConstantViolationsBefore(\n      binding,\n      testType.ifStatement,\n    );\n\n    // remove constant violations observed before the IfStatement\n    constantViolations = constantViolations.filter(\n      path => testConstantViolations.indexOf(path) < 0,\n    );\n\n    // clear current types and add in observed test type\n    types.push(testType.typeAnnotation);\n  }\n\n  if (constantViolations.length) {\n    // pick one constant from each scope which will represent the last possible\n    // control flow path that it could've taken/been\n    /* This code is broken for the following problems:\n     * It thinks that assignments can only happen in scopes.\n     * What about conditionals, if statements without block,\n     * or guarded assignments.\n     * It also checks to see if one of the assignments is in the\n     * same scope and uses that as the only \"violation\". However,\n     * the binding is returned by `getConstantViolationsBefore` so we for\n     * sure always going to return that as the only \"violation\".\n    let rawConstantViolations = constantViolations.reverse();\n    let visitedScopes = [];\n    constantViolations = [];\n    for (let violation of (rawConstantViolations: Array<NodePath>)) {\n      let violationScope = violation.scope;\n      if (visitedScopes.indexOf(violationScope) >= 0) continue;\n\n      visitedScopes.push(violationScope);\n      constantViolations.push(violation);\n\n      if (violationScope === path.scope) {\n        constantViolations = [violation];\n        break;\n      }\n    }*/\n\n    // add back on function constant violations since we can't track calls\n    constantViolations.push(...functionConstantViolations);\n\n    // push on inferred types of violated paths\n    for (const violation of constantViolations) {\n      types.push(violation.getTypeAnnotation());\n    }\n  }\n\n  if (!types.length) {\n    return;\n  }\n\n  return createUnionType(types);\n}\n\nfunction getConstantViolationsBefore(\n  binding: Binding,\n  path: NodePath,\n  functions?: NodePath[],\n) {\n  const violations = binding.constantViolations.slice();\n  violations.unshift(binding.path);\n  return violations.filter(violation => {\n    violation = violation.resolve();\n    const status = violation._guessExecutionStatusRelativeTo(path);\n    if (functions && status === \"unknown\") functions.push(violation);\n    return status === \"before\";\n  });\n}\n\nfunction inferAnnotationFromBinaryExpression(\n  name: string,\n  path: NodePath<t.BinaryExpression>,\n) {\n  const operator = path.node.operator;\n\n  const right = path.get(\"right\").resolve();\n  const left = path.get(\"left\").resolve();\n\n  let target;\n  if (left.isIdentifier({ name })) {\n    target = right;\n  } else if (right.isIdentifier({ name })) {\n    target = left;\n  }\n\n  if (target) {\n    if (operator === \"===\") {\n      return target.getTypeAnnotation();\n    }\n    if (BOOLEAN_NUMBER_BINARY_OPERATORS.indexOf(operator) >= 0) {\n      return numberTypeAnnotation();\n    }\n\n    return;\n  }\n\n  if (operator !== \"===\" && operator !== \"==\") return;\n\n  //\n  let typeofPath: NodePath<t.UnaryExpression>;\n  let typePath: NodePath<t.Expression>;\n  if (left.isUnaryExpression({ operator: \"typeof\" })) {\n    typeofPath = left;\n    typePath = right as NodePath<t.Expression>;\n  } else if (right.isUnaryExpression({ operator: \"typeof\" })) {\n    typeofPath = right;\n    typePath = left as NodePath<t.Expression>;\n  }\n\n  if (!typeofPath) return;\n  // and that the argument of the typeof path references us!\n  if (!typeofPath.get(\"argument\").isIdentifier({ name })) return;\n\n  // ensure that the type path is a Literal\n  typePath = typePath.resolve() as NodePath<t.Expression>;\n  if (!typePath.isLiteral()) return;\n\n  // and that it's a string so we can infer it\n  // @ts-expect-error todo(flow->ts): value is not defined for NullLiteral and some other\n  const typeValue = typePath.node.value;\n  if (typeof typeValue !== \"string\") return;\n\n  // turn type value into a type annotation\n  // @ts-expect-error todo(flow->ts): move validation from helper or relax type constraint to just a string\n  return createTypeAnnotationBasedOnTypeof(typeValue);\n}\n\nfunction getParentConditionalPath(\n  binding: Binding,\n  path: NodePath,\n  name: string,\n) {\n  let parentPath;\n  while ((parentPath = path.parentPath)) {\n    if (parentPath.isIfStatement() || parentPath.isConditionalExpression()) {\n      if (path.key === \"test\") {\n        return;\n      }\n\n      return parentPath as NodePath<t.IfStatement | t.ConditionalExpression>;\n    }\n    if (parentPath.isFunction()) {\n      if (parentPath.parentPath.scope.getBinding(name) !== binding) return;\n    }\n\n    path = parentPath;\n  }\n}\n\nfunction getConditionalAnnotation<T extends t.Node>(\n  binding: Binding,\n  path: NodePath<T>,\n  name?: string,\n): {\n  typeAnnotation: t.FlowType | t.TSType;\n  ifStatement: NodePath<t.IfStatement | t.ConditionalExpression>;\n} {\n  const ifStatement = getParentConditionalPath(binding, path, name);\n  if (!ifStatement) return;\n\n  const test = ifStatement.get(\"test\");\n  const paths = [test];\n  const types = [];\n\n  for (let i = 0; i < paths.length; i++) {\n    const path = paths[i];\n\n    if (path.isLogicalExpression()) {\n      if (path.node.operator === \"&&\") {\n        paths.push(path.get(\"left\"));\n        paths.push(path.get(\"right\"));\n      }\n    } else if (path.isBinaryExpression()) {\n      const type = inferAnnotationFromBinaryExpression(name, path);\n      if (type) types.push(type);\n    }\n  }\n\n  if (types.length) {\n    return {\n      typeAnnotation: createUnionType(types),\n      ifStatement,\n    };\n  }\n\n  return getConditionalAnnotation(binding, ifStatement, name);\n}\n"],"mappings":"AACA,YAAAA,EAAA,MAKO,cAAc;AAAC;EAJpBC,+BAA+B;EAC/BC,iCAAiC;EACjCC,oBAAoB;EACpBC;AAAkB,IAAAJ,EAAA;AAKpB,SAASK,eAAe,QAAQ,WAAQ;AAExC,eAAe,UAAwCC,IAAkB,EAAE;EACzE,IAAI,CAAC,IAAI,CAACC,YAAY,CAAC,CAAC,EAAE;EAI1B,MAAMC,OAAO,GAAG,IAAI,CAACC,KAAK,CAACC,UAAU,CAACJ,IAAI,CAACK,IAAI,CAAC;EAChD,IAAIH,OAAO,EAAE;IACX,IAAIA,OAAO,CAACI,UAAU,CAACC,cAAc,EAAE;MACrC,OAAOL,OAAO,CAACI,UAAU,CAACC,cAAc;IAC1C,CAAC,MAAM;MACL,OAAOC,0CAA0C,CAC/CN,OAAO,EACP,IAAI,EACJF,IAAI,CAACK,IACP,CAAC;IACH;EACF;EAGA,IAAIL,IAAI,CAACK,IAAI,KAAK,WAAW,EAAE;IAC7B,OAAOP,kBAAkB,CAAC,CAAC;EAC7B,CAAC,MAAM,IAAIE,IAAI,CAACK,IAAI,KAAK,KAAK,IAAIL,IAAI,CAACK,IAAI,KAAK,UAAU,EAAE;IAC1D,OAAOR,oBAAoB,CAAC,CAAC;EAC/B,CAAC,MAAM,IAAIG,IAAI,CAACK,IAAI,KAAK,WAAW,EAAE,CAEtC;AACF;AAEA,SAASG,0CAA0CA,CACjDN,OAAgB,EAChBO,IAA4B,EAC5BJ,IAAY,EACZ;EACA,MAAMK,KAAK,GAAG,EAAE;EAEhB,MAAMC,0BAAsC,GAAG,EAAE;EACjD,IAAIC,kBAAkB,GAAGC,2BAA2B,CAClDX,OAAO,EACPO,IAAI,EACJE,0BACF,CAAC;EAED,MAAMG,QAAQ,GAAGC,wBAAwB,CAACb,OAAO,EAAEO,IAAI,EAAEJ,IAAI,CAAC;EAC9D,IAAIS,QAAQ,EAAE;IACZ,MAAME,sBAAsB,GAAGH,2BAA2B,CACxDX,OAAO,EACPY,QAAQ,CAACG,WACX,CAAC;IAGDL,kBAAkB,GAAGA,kBAAkB,CAACM,MAAM,CAC5CT,IAAI,IAAIO,sBAAsB,CAACG,OAAO,CAACV,IAAI,CAAC,GAAG,CACjD,CAAC;IAGDC,KAAK,CAACU,IAAI,CAACN,QAAQ,CAACP,cAAc,CAAC;EACrC;EAEA,IAAIK,kBAAkB,CAACS,MAAM,EAAE;IA4B7BT,kBAAkB,CAACQ,IAAI,CAAC,GAAGT,0BAA0B,CAAC;IAGtD,KAAK,MAAMW,SAAS,IAAIV,kBAAkB,EAAE;MAC1CF,KAAK,CAACU,IAAI,CAACE,SAAS,CAACC,iBAAiB,CAAC,CAAC,CAAC;IAC3C;EACF;EAEA,IAAI,CAACb,KAAK,CAACW,MAAM,EAAE;IACjB;EACF;EAEA,OAAOtB,eAAe,CAACW,KAAK,CAAC;AAC/B;AAEA,SAASG,2BAA2BA,CAClCX,OAAgB,EAChBO,IAAc,EACde,SAAsB,EACtB;EACA,MAAMC,UAAU,GAAGvB,OAAO,CAACU,kBAAkB,CAACc,KAAK,CAAC,CAAC;EACrDD,UAAU,CAACE,OAAO,CAACzB,OAAO,CAACO,IAAI,CAAC;EAChC,OAAOgB,UAAU,CAACP,MAAM,CAACI,SAAS,IAAI;IACpCA,SAAS,GAAGA,SAAS,CAACM,OAAO,CAAC,CAAC;IAC/B,MAAMC,MAAM,GAAGP,SAAS,CAACQ,+BAA+B,CAACrB,IAAI,CAAC;IAC9D,IAAIe,SAAS,IAAIK,MAAM,KAAK,SAAS,EAAEL,SAAS,CAACJ,IAAI,CAACE,SAAS,CAAC;IAChE,OAAOO,MAAM,KAAK,QAAQ;EAC5B,CAAC,CAAC;AACJ;AAEA,SAASE,mCAAmCA,CAC1C1B,IAAY,EACZI,IAAkC,EAClC;EACA,MAAMuB,QAAQ,GAAGvB,IAAI,CAACT,IAAI,CAACgC,QAAQ;EAEnC,MAAMC,KAAK,GAAGxB,IAAI,CAACyB,GAAG,CAAC,OAAO,CAAC,CAACN,OAAO,CAAC,CAAC;EACzC,MAAMO,IAAI,GAAG1B,IAAI,CAACyB,GAAG,CAAC,MAAM,CAAC,CAACN,OAAO,CAAC,CAAC;EAEvC,IAAIQ,MAAM;EACV,IAAID,IAAI,CAACE,YAAY,CAAC;IAAEhC;EAAK,CAAC,CAAC,EAAE;IAC/B+B,MAAM,GAAGH,KAAK;EAChB,CAAC,MAAM,IAAIA,KAAK,CAACI,YAAY,CAAC;IAAEhC;EAAK,CAAC,CAAC,EAAE;IACvC+B,MAAM,GAAGD,IAAI;EACf;EAEA,IAAIC,MAAM,EAAE;IACV,IAAIJ,QAAQ,KAAK,KAAK,EAAE;MACtB,OAAOI,MAAM,CAACb,iBAAiB,CAAC,CAAC;IACnC;IACA,IAAI5B,+BAA+B,CAACwB,OAAO,CAACa,QAAQ,CAAC,IAAI,CAAC,EAAE;MAC1D,OAAOnC,oBAAoB,CAAC,CAAC;IAC/B;IAEA;EACF;EAEA,IAAImC,QAAQ,KAAK,KAAK,IAAIA,QAAQ,KAAK,IAAI,EAAE;EAG7C,IAAIM,UAAuC;EAC3C,IAAIC,QAAgC;EACpC,IAAIJ,IAAI,CAACK,iBAAiB,CAAC;IAAER,QAAQ,EAAE;EAAS,CAAC,CAAC,EAAE;IAClDM,UAAU,GAAGH,IAAI;IACjBI,QAAQ,GAAGN,KAA+B;EAC5C,CAAC,MAAM,IAAIA,KAAK,CAACO,iBAAiB,CAAC;IAAER,QAAQ,EAAE;EAAS,CAAC,CAAC,EAAE;IAC1DM,UAAU,GAAGL,KAAK;IAClBM,QAAQ,GAAGJ,IAA8B;EAC3C;EAEA,IAAI,CAACG,UAAU,EAAE;EAEjB,IAAI,CAACA,UAAU,CAACJ,GAAG,CAAC,UAAU,CAAC,CAACG,YAAY,CAAC;IAAEhC;EAAK,CAAC,CAAC,EAAE;EAGxDkC,QAAQ,GAAGA,QAAQ,CAACX,OAAO,CAAC,CAA2B;EACvD,IAAI,CAACW,QAAQ,CAACE,SAAS,CAAC,CAAC,EAAE;EAI3B,MAAMC,SAAS,GAAGH,QAAQ,CAACvC,IAAI,CAAC2C,KAAK;EACrC,IAAI,OAAOD,SAAS,KAAK,QAAQ,EAAE;EAInC,OAAO9C,iCAAiC,CAAC8C,SAAS,CAAC;AACrD;AAEA,SAASE,wBAAwBA,CAC/B1C,OAAgB,EAChBO,IAAc,EACdJ,IAAY,EACZ;EACA,IAAIwC,UAAU;EACd,OAAQA,UAAU,GAAGpC,IAAI,CAACoC,UAAU,EAAG;IACrC,IAAIA,UAAU,CAACC,aAAa,CAAC,CAAC,IAAID,UAAU,CAACE,uBAAuB,CAAC,CAAC,EAAE;MACtE,IAAItC,IAAI,CAACuC,GAAG,KAAK,MAAM,EAAE;QACvB;MACF;MAEA,OAAOH,UAAU;IACnB;IACA,IAAIA,UAAU,CAACI,UAAU,CAAC,CAAC,EAAE;MAC3B,IAAIJ,UAAU,CAACA,UAAU,CAAC1C,KAAK,CAACC,UAAU,CAACC,IAAI,CAAC,KAAKH,OAAO,EAAE;IAChE;IAEAO,IAAI,GAAGoC,UAAU;EACnB;AACF;AAEA,SAAS9B,wBAAwBA,CAC/Bb,OAAgB,EAChBO,IAAiB,EACjBJ,IAAa,EAIb;EACA,MAAMY,WAAW,GAAG2B,wBAAwB,CAAC1C,OAAO,EAAEO,IAAI,EAAEJ,IAAI,CAAC;EACjE,IAAI,CAACY,WAAW,EAAE;EAElB,MAAMiC,IAAI,GAAGjC,WAAW,CAACiB,GAAG,CAAC,MAAM,CAAC;EACpC,MAAMiB,KAAK,GAAG,CAACD,IAAI,CAAC;EACpB,MAAMxC,KAAK,GAAG,EAAE;EAEhB,KAAK,IAAI0C,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGD,KAAK,CAAC9B,MAAM,EAAE+B,CAAC,EAAE,EAAE;IACrC,MAAM3C,IAAI,GAAG0C,KAAK,CAACC,CAAC,CAAC;IAErB,IAAI3C,IAAI,CAAC4C,mBAAmB,CAAC,CAAC,EAAE;MAC9B,IAAI5C,IAAI,CAACT,IAAI,CAACgC,QAAQ,KAAK,IAAI,EAAE;QAC/BmB,KAAK,CAAC/B,IAAI,CAACX,IAAI,CAACyB,GAAG,CAAC,MAAM,CAAC,CAAC;QAC5BiB,KAAK,CAAC/B,IAAI,CAACX,IAAI,CAACyB,GAAG,CAAC,OAAO,CAAC,CAAC;MAC/B;IACF,CAAC,MAAM,IAAIzB,IAAI,CAAC6C,kBAAkB,CAAC,CAAC,EAAE;MACpC,MAAMC,IAAI,GAAGxB,mCAAmC,CAAC1B,IAAI,EAAEI,IAAI,CAAC;MAC5D,IAAI8C,IAAI,EAAE7C,KAAK,CAACU,IAAI,CAACmC,IAAI,CAAC;IAC5B;EACF;EAEA,IAAI7C,KAAK,CAACW,MAAM,EAAE;IAChB,OAAO;MACLd,cAAc,EAAER,eAAe,CAACW,KAAK,CAAC;MACtCO;IACF,CAAC;EACH;EAEA,OAAOF,wBAAwB,CAACb,OAAO,EAAEe,WAAW,EAAEZ,IAAI,CAAC;AAC7D"}

package/lib/path/inference/inferers.js

@@ -1,172 +0,0 @@
-import * as _t from "@babel/types";
-const {
-  BOOLEAN_BINARY_OPERATORS,
-  BOOLEAN_UNARY_OPERATORS,
-  NUMBER_BINARY_OPERATORS,
-  NUMBER_UNARY_OPERATORS,
-  STRING_UNARY_OPERATORS,
-  anyTypeAnnotation,
-  arrayTypeAnnotation,
-  booleanTypeAnnotation,
-  buildMatchMemberExpression,
-  genericTypeAnnotation,
-  identifier,
-  nullLiteralTypeAnnotation,
-  numberTypeAnnotation,
-  stringTypeAnnotation,
-  tupleTypeAnnotation,
-  unionTypeAnnotation,
-  voidTypeAnnotation,
-  isIdentifier
-} = _t;
-export { default as Identifier } from "./inferer-reference.js";
-import { createUnionType } from "./util.js";
-export function VariableDeclarator() {
-  if (!this.get("id").isIdentifier()) return;
-  return this.get("init").getTypeAnnotation();
-}
-export function TypeCastExpression(node) {
-  return node.typeAnnotation;
-}
-TypeCastExpression.validParent = true;
-export function TSAsExpression(node) {
-  return node.typeAnnotation;
-}
-TSAsExpression.validParent = true;
-export function TSNonNullExpression() {
-  return this.get("expression").getTypeAnnotation();
-}
-export function NewExpression(node) {
-  if (node.callee.type === "Identifier") {
-    return genericTypeAnnotation(node.callee);
-  }
-}
-export function TemplateLiteral() {
-  return stringTypeAnnotation();
-}
-export function UnaryExpression(node) {
-  const operator = node.operator;
-  if (operator === "void") {
-    return voidTypeAnnotation();
-  } else if (NUMBER_UNARY_OPERATORS.indexOf(operator) >= 0) {
-    return numberTypeAnnotation();
-  } else if (STRING_UNARY_OPERATORS.indexOf(operator) >= 0) {
-    return stringTypeAnnotation();
-  } else if (BOOLEAN_UNARY_OPERATORS.indexOf(operator) >= 0) {
-    return booleanTypeAnnotation();
-  }
-}
-export function BinaryExpression(node) {
-  const operator = node.operator;
-  if (NUMBER_BINARY_OPERATORS.indexOf(operator) >= 0) {
-    return numberTypeAnnotation();
-  } else if (BOOLEAN_BINARY_OPERATORS.indexOf(operator) >= 0) {
-    return booleanTypeAnnotation();
-  } else if (operator === "+") {
-    const right = this.get("right");
-    const left = this.get("left");
-    if (left.isBaseType("number") && right.isBaseType("number")) {
-      return numberTypeAnnotation();
-    } else if (left.isBaseType("string") || right.isBaseType("string")) {
-      return stringTypeAnnotation();
-    }
-    return unionTypeAnnotation([stringTypeAnnotation(), numberTypeAnnotation()]);
-  }
-}
-export function LogicalExpression() {
-  const argumentTypes = [this.get("left").getTypeAnnotation(), this.get("right").getTypeAnnotation()];
-  return createUnionType(argumentTypes);
-}
-export function ConditionalExpression() {
-  const argumentTypes = [this.get("consequent").getTypeAnnotation(), this.get("alternate").getTypeAnnotation()];
-  return createUnionType(argumentTypes);
-}
-export function SequenceExpression() {
-  return this.get("expressions").pop().getTypeAnnotation();
-}
-export function ParenthesizedExpression() {
-  return this.get("expression").getTypeAnnotation();
-}
-export function AssignmentExpression() {
-  return this.get("right").getTypeAnnotation();
-}
-export function UpdateExpression(node) {
-  const operator = node.operator;
-  if (operator === "++" || operator === "--") {
-    return numberTypeAnnotation();
-  }
-}
-export function StringLiteral() {
-  return stringTypeAnnotation();
-}
-export function NumericLiteral() {
-  return numberTypeAnnotation();
-}
-export function BooleanLiteral() {
-  return booleanTypeAnnotation();
-}
-export function NullLiteral() {
-  return nullLiteralTypeAnnotation();
-}
-export function RegExpLiteral() {
-  return genericTypeAnnotation(identifier("RegExp"));
-}
-export function ObjectExpression() {
-  return genericTypeAnnotation(identifier("Object"));
-}
-export function ArrayExpression() {
-  return genericTypeAnnotation(identifier("Array"));
-}
-export function RestElement() {
-  return ArrayExpression();
-}
-RestElement.validParent = true;
-function Func() {
-  return genericTypeAnnotation(identifier("Function"));
-}
-export { Func as FunctionExpression, Func as ArrowFunctionExpression, Func as FunctionDeclaration, Func as ClassExpression, Func as ClassDeclaration };
-const isArrayFrom = buildMatchMemberExpression("Array.from");
-const isObjectKeys = buildMatchMemberExpression("Object.keys");
-const isObjectValues = buildMatchMemberExpression("Object.values");
-const isObjectEntries = buildMatchMemberExpression("Object.entries");
-export function CallExpression() {
-  const {
-    callee
-  } = this.node;
-  if (isObjectKeys(callee)) {
-    return arrayTypeAnnotation(stringTypeAnnotation());
-  } else if (isArrayFrom(callee) || isObjectValues(callee) || isIdentifier(callee, {
-    name: "Array"
-  })) {
-    return arrayTypeAnnotation(anyTypeAnnotation());
-  } else if (isObjectEntries(callee)) {
-    return arrayTypeAnnotation(tupleTypeAnnotation([stringTypeAnnotation(), anyTypeAnnotation()]));
-  }
-  return resolveCall(this.get("callee"));
-}
-export function TaggedTemplateExpression() {
-  return resolveCall(this.get("tag"));
-}
-function resolveCall(callee) {
-  callee = callee.resolve();
-  if (callee.isFunction()) {
-    const {
-      node
-    } = callee;
-    if (node.async) {
-      if (node.generator) {
-        return genericTypeAnnotation(identifier("AsyncIterator"));
-      } else {
-        return genericTypeAnnotation(identifier("Promise"));
-      }
-    } else {
-      if (node.generator) {
-        return genericTypeAnnotation(identifier("Iterator"));
-      } else if (callee.node.returnType) {
-        return callee.node.returnType;
-      } else {}
-    }
-  }
-}
-
-//# sourceMappingURL=inferers.js.map

package/lib/path/inference/inferers.js.map

@@ -1 +0,0 @@
-{"version":3,"names":["_t","BOOLEAN_BINARY_OPERATORS","BOOLEAN_UNARY_OPERATORS","NUMBER_BINARY_OPERATORS","NUMBER_UNARY_OPERATORS","STRING_UNARY_OPERATORS","anyTypeAnnotation","arrayTypeAnnotation","booleanTypeAnnotation","buildMatchMemberExpression","genericTypeAnnotation","identifier","nullLiteralTypeAnnotation","numberTypeAnnotation","stringTypeAnnotation","tupleTypeAnnotation","unionTypeAnnotation","voidTypeAnnotation","isIdentifier","default","Identifier","createUnionType","VariableDeclarator","get","getTypeAnnotation","TypeCastExpression","node","typeAnnotation","validParent","TSAsExpression","TSNonNullExpression","NewExpression","callee","type","TemplateLiteral","UnaryExpression","operator","indexOf","BinaryExpression","right","left","isBaseType","LogicalExpression","argumentTypes","ConditionalExpression","SequenceExpression","pop","ParenthesizedExpression","AssignmentExpression","UpdateExpression","StringLiteral","NumericLiteral","BooleanLiteral","NullLiteral","RegExpLiteral","ObjectExpression","ArrayExpression","RestElement","Func","FunctionExpression","ArrowFunctionExpression","FunctionDeclaration","ClassExpression","ClassDeclaration","isArrayFrom","isObjectKeys","isObjectValues","isObjectEntries","CallExpression","name","resolveCall","TaggedTemplateExpression","resolve","isFunction","async","generator","returnType"],"sources":["../../../src/path/inference/inferers.ts"],"sourcesContent":["import {\n  BOOLEAN_BINARY_OPERATORS,\n  BOOLEAN_UNARY_OPERATORS,\n  NUMBER_BINARY_OPERATORS,\n  NUMBER_UNARY_OPERATORS,\n  STRING_UNARY_OPERATORS,\n  anyTypeAnnotation,\n  arrayTypeAnnotation,\n  booleanTypeAnnotation,\n  buildMatchMemberExpression,\n  genericTypeAnnotation,\n  identifier,\n  nullLiteralTypeAnnotation,\n  numberTypeAnnotation,\n  stringTypeAnnotation,\n  tupleTypeAnnotation,\n  unionTypeAnnotation,\n  voidTypeAnnotation,\n  isIdentifier,\n} from \"@babel/types\";\nimport type * as t from \"@babel/types\";\n\nexport { default as Identifier } from \"./inferer-reference\";\n\nimport { createUnionType } from \"./util\";\nimport type NodePath from \"..\";\n\nexport function VariableDeclarator(this: NodePath<t.VariableDeclarator>) {\n  if (!this.get(\"id\").isIdentifier()) return;\n  return this.get(\"init\").getTypeAnnotation();\n}\n\nexport function TypeCastExpression(node: t.TypeCastExpression) {\n  return node.typeAnnotation;\n}\n\nTypeCastExpression.validParent = true;\n\nexport function TSAsExpression(node: t.TSAsExpression) {\n  return node.typeAnnotation;\n}\n\nTSAsExpression.validParent = true;\n\nexport function TSNonNullExpression(this: NodePath<t.TSNonNullExpression>) {\n  return this.get(\"expression\").getTypeAnnotation();\n}\n\nexport function NewExpression(\n  this: NodePath<t.NewExpression>,\n  node: t.NewExpression,\n) {\n  if (node.callee.type === \"Identifier\") {\n    // only resolve identifier callee\n    return genericTypeAnnotation(node.callee);\n  }\n}\n\nexport function TemplateLiteral() {\n  return stringTypeAnnotation();\n}\n\nexport function UnaryExpression(node: t.UnaryExpression) {\n  const operator = node.operator;\n\n  if (operator === \"void\") {\n    return voidTypeAnnotation();\n  } else if (NUMBER_UNARY_OPERATORS.indexOf(operator) >= 0) {\n    return numberTypeAnnotation();\n  } else if (STRING_UNARY_OPERATORS.indexOf(operator) >= 0) {\n    return stringTypeAnnotation();\n  } else if (BOOLEAN_UNARY_OPERATORS.indexOf(operator) >= 0) {\n    return booleanTypeAnnotation();\n  }\n}\n\nexport function BinaryExpression(\n  this: NodePath<t.BinaryExpression>,\n  node: t.BinaryExpression,\n) {\n  const operator = node.operator;\n\n  if (NUMBER_BINARY_OPERATORS.indexOf(operator) >= 0) {\n    return numberTypeAnnotation();\n  } else if (BOOLEAN_BINARY_OPERATORS.indexOf(operator) >= 0) {\n    return booleanTypeAnnotation();\n  } else if (operator === \"+\") {\n    const right = this.get(\"right\");\n    const left = this.get(\"left\");\n\n    if (left.isBaseType(\"number\") && right.isBaseType(\"number\")) {\n      // both numbers so this will be a number\n      return numberTypeAnnotation();\n    } else if (left.isBaseType(\"string\") || right.isBaseType(\"string\")) {\n      // one is a string so the result will be a string\n      return stringTypeAnnotation();\n    }\n\n    // unsure if left and right are strings or numbers so stay on the safe side\n    return unionTypeAnnotation([\n      stringTypeAnnotation(),\n      numberTypeAnnotation(),\n    ]);\n  }\n}\n\nexport function LogicalExpression(this: NodePath<t.LogicalExpression>) {\n  const argumentTypes = [\n    this.get(\"left\").getTypeAnnotation(),\n    this.get(\"right\").getTypeAnnotation(),\n  ];\n\n  return createUnionType(argumentTypes);\n}\n\nexport function ConditionalExpression(this: NodePath<t.ConditionalExpression>) {\n  const argumentTypes = [\n    this.get(\"consequent\").getTypeAnnotation(),\n    this.get(\"alternate\").getTypeAnnotation(),\n  ];\n\n  return createUnionType(argumentTypes);\n}\n\nexport function SequenceExpression(this: NodePath<t.SequenceExpression>) {\n  return this.get(\"expressions\").pop().getTypeAnnotation();\n}\n\nexport function ParenthesizedExpression(\n  this: NodePath<t.ParenthesizedExpression>,\n) {\n  return this.get(\"expression\").getTypeAnnotation();\n}\n\nexport function AssignmentExpression(this: NodePath<t.AssignmentExpression>) {\n  return this.get(\"right\").getTypeAnnotation();\n}\n\nexport function UpdateExpression(\n  this: NodePath<t.UpdateExpression>,\n  node: t.UpdateExpression,\n) {\n  const operator = node.operator;\n  if (operator === \"++\" || operator === \"--\") {\n    return numberTypeAnnotation();\n  }\n}\n\nexport function StringLiteral() {\n  return stringTypeAnnotation();\n}\n\nexport function NumericLiteral() {\n  return numberTypeAnnotation();\n}\n\nexport function BooleanLiteral() {\n  return booleanTypeAnnotation();\n}\n\nexport function NullLiteral() {\n  return nullLiteralTypeAnnotation();\n}\n\nexport function RegExpLiteral() {\n  return genericTypeAnnotation(identifier(\"RegExp\"));\n}\n\nexport function ObjectExpression() {\n  return genericTypeAnnotation(identifier(\"Object\"));\n}\n\nexport function ArrayExpression() {\n  return genericTypeAnnotation(identifier(\"Array\"));\n}\n\nexport function RestElement() {\n  return ArrayExpression();\n}\n\nRestElement.validParent = true;\n\nfunction Func() {\n  return genericTypeAnnotation(identifier(\"Function\"));\n}\n\nexport {\n  Func as FunctionExpression,\n  Func as ArrowFunctionExpression,\n  Func as FunctionDeclaration,\n  Func as ClassExpression,\n  Func as ClassDeclaration,\n};\n\nconst isArrayFrom = buildMatchMemberExpression(\"Array.from\");\nconst isObjectKeys = buildMatchMemberExpression(\"Object.keys\");\nconst isObjectValues = buildMatchMemberExpression(\"Object.values\");\nconst isObjectEntries = buildMatchMemberExpression(\"Object.entries\");\nexport function CallExpression(this: NodePath<t.CallExpression>) {\n  const { callee } = this.node;\n  if (isObjectKeys(callee)) {\n    return arrayTypeAnnotation(stringTypeAnnotation());\n  } else if (\n    isArrayFrom(callee) ||\n    isObjectValues(callee) ||\n    // Detect \"var foo = Array()\" calls so we can optimize for arrays vs iterables.\n    isIdentifier(callee, { name: \"Array\" })\n  ) {\n    return arrayTypeAnnotation(anyTypeAnnotation());\n  } else if (isObjectEntries(callee)) {\n    return arrayTypeAnnotation(\n      tupleTypeAnnotation([stringTypeAnnotation(), anyTypeAnnotation()]),\n    );\n  }\n\n  return resolveCall(this.get(\"callee\"));\n}\n\nexport function TaggedTemplateExpression(\n  this: NodePath<t.TaggedTemplateExpression>,\n) {\n  return resolveCall(this.get(\"tag\"));\n}\n\nfunction resolveCall(callee: NodePath) {\n  callee = callee.resolve();\n\n  if (callee.isFunction()) {\n    const { node } = callee;\n    if (node.async) {\n      if (node.generator) {\n        return genericTypeAnnotation(identifier(\"AsyncIterator\"));\n      } else {\n        return genericTypeAnnotation(identifier(\"Promise\"));\n      }\n    } else {\n      if (node.generator) {\n        return genericTypeAnnotation(identifier(\"Iterator\"));\n      } else if (callee.node.returnType) {\n        return callee.node.returnType;\n      } else {\n        // todo: get union type of all return arguments\n      }\n    }\n  }\n}\n"],"mappings":"AAAA,YAAAA,EAAA,MAmBO,cAAc;AAAC;EAlBpBC,wBAAwB;EACxBC,uBAAuB;EACvBC,uBAAuB;EACvBC,sBAAsB;EACtBC,sBAAsB;EACtBC,iBAAiB;EACjBC,mBAAmB;EACnBC,qBAAqB;EACrBC,0BAA0B;EAC1BC,qBAAqB;EACrBC,UAAU;EACVC,yBAAyB;EACzBC,oBAAoB;EACpBC,oBAAoB;EACpBC,mBAAmB;EACnBC,mBAAmB;EACnBC,kBAAkB;EAClBC;AAAY,IAAAlB,EAAA;AAId,SAASmB,OAAO,IAAIC,UAAU,QAAQ,wBAAqB;AAE3D,SAASC,eAAe,QAAQ,WAAQ;AAGxC,OAAO,SAASC,kBAAkBA,CAAA,EAAuC;EACvE,IAAI,CAAC,IAAI,CAACC,GAAG,CAAC,IAAI,CAAC,CAACL,YAAY,CAAC,CAAC,EAAE;EACpC,OAAO,IAAI,CAACK,GAAG,CAAC,MAAM,CAAC,CAACC,iBAAiB,CAAC,CAAC;AAC7C;AAEA,OAAO,SAASC,kBAAkBA,CAACC,IAA0B,EAAE;EAC7D,OAAOA,IAAI,CAACC,cAAc;AAC5B;AAEAF,kBAAkB,CAACG,WAAW,GAAG,IAAI;AAErC,OAAO,SAASC,cAAcA,CAACH,IAAsB,EAAE;EACrD,OAAOA,IAAI,CAACC,cAAc;AAC5B;AAEAE,cAAc,CAACD,WAAW,GAAG,IAAI;AAEjC,OAAO,SAASE,mBAAmBA,CAAA,EAAwC;EACzE,OAAO,IAAI,CAACP,GAAG,CAAC,YAAY,CAAC,CAACC,iBAAiB,CAAC,CAAC;AACnD;AAEA,OAAO,SAASO,aAAaA,CAE3BL,IAAqB,EACrB;EACA,IAAIA,IAAI,CAACM,MAAM,CAACC,IAAI,KAAK,YAAY,EAAE;IAErC,OAAOvB,qBAAqB,CAACgB,IAAI,CAACM,MAAM,CAAC;EAC3C;AACF;AAEA,OAAO,SAASE,eAAeA,CAAA,EAAG;EAChC,OAAOpB,oBAAoB,CAAC,CAAC;AAC/B;AAEA,OAAO,SAASqB,eAAeA,CAACT,IAAuB,EAAE;EACvD,MAAMU,QAAQ,GAAGV,IAAI,CAACU,QAAQ;EAE9B,IAAIA,QAAQ,KAAK,MAAM,EAAE;IACvB,OAAOnB,kBAAkB,CAAC,CAAC;EAC7B,CAAC,MAAM,IAAIb,sBAAsB,CAACiC,OAAO,CAACD,QAAQ,CAAC,IAAI,CAAC,EAAE;IACxD,OAAOvB,oBAAoB,CAAC,CAAC;EAC/B,CAAC,MAAM,IAAIR,sBAAsB,CAACgC,OAAO,CAACD,QAAQ,CAAC,IAAI,CAAC,EAAE;IACxD,OAAOtB,oBAAoB,CAAC,CAAC;EAC/B,CAAC,MAAM,IAAIZ,uBAAuB,CAACmC,OAAO,CAACD,QAAQ,CAAC,IAAI,CAAC,EAAE;IACzD,OAAO5B,qBAAqB,CAAC,CAAC;EAChC;AACF;AAEA,OAAO,SAAS8B,gBAAgBA,CAE9BZ,IAAwB,EACxB;EACA,MAAMU,QAAQ,GAAGV,IAAI,CAACU,QAAQ;EAE9B,IAAIjC,uBAAuB,CAACkC,OAAO,CAACD,QAAQ,CAAC,IAAI,CAAC,EAAE;IAClD,OAAOvB,oBAAoB,CAAC,CAAC;EAC/B,CAAC,MAAM,IAAIZ,wBAAwB,CAACoC,OAAO,CAACD,QAAQ,CAAC,IAAI,CAAC,EAAE;IAC1D,OAAO5B,qBAAqB,CAAC,CAAC;EAChC,CAAC,MAAM,IAAI4B,QAAQ,KAAK,GAAG,EAAE;IAC3B,MAAMG,KAAK,GAAG,IAAI,CAAChB,GAAG,CAAC,OAAO,CAAC;IAC/B,MAAMiB,IAAI,GAAG,IAAI,CAACjB,GAAG,CAAC,MAAM,CAAC;IAE7B,IAAIiB,IAAI,CAACC,UAAU,CAAC,QAAQ,CAAC,IAAIF,KAAK,CAACE,UAAU,CAAC,QAAQ,CAAC,EAAE;MAE3D,OAAO5B,oBAAoB,CAAC,CAAC;IAC/B,CAAC,MAAM,IAAI2B,IAAI,CAACC,UAAU,CAAC,QAAQ,CAAC,IAAIF,KAAK,CAACE,UAAU,CAAC,QAAQ,CAAC,EAAE;MAElE,OAAO3B,oBAAoB,CAAC,CAAC;IAC/B;IAGA,OAAOE,mBAAmB,CAAC,CACzBF,oBAAoB,CAAC,CAAC,EACtBD,oBAAoB,CAAC,CAAC,CACvB,CAAC;EACJ;AACF;AAEA,OAAO,SAAS6B,iBAAiBA,CAAA,EAAsC;EACrE,MAAMC,aAAa,GAAG,CACpB,IAAI,CAACpB,GAAG,CAAC,MAAM,CAAC,CAACC,iBAAiB,CAAC,CAAC,EACpC,IAAI,CAACD,GAAG,CAAC,OAAO,CAAC,CAACC,iBAAiB,CAAC,CAAC,CACtC;EAED,OAAOH,eAAe,CAACsB,aAAa,CAAC;AACvC;AAEA,OAAO,SAASC,qBAAqBA,CAAA,EAA0C;EAC7E,MAAMD,aAAa,GAAG,CACpB,IAAI,CAACpB,GAAG,CAAC,YAAY,CAAC,CAACC,iBAAiB,CAAC,CAAC,EAC1C,IAAI,CAACD,GAAG,CAAC,WAAW,CAAC,CAACC,iBAAiB,CAAC,CAAC,CAC1C;EAED,OAAOH,eAAe,CAACsB,aAAa,CAAC;AACvC;AAEA,OAAO,SAASE,kBAAkBA,CAAA,EAAuC;EACvE,OAAO,IAAI,CAACtB,GAAG,CAAC,aAAa,CAAC,CAACuB,GAAG,CAAC,CAAC,CAACtB,iBAAiB,CAAC,CAAC;AAC1D;AAEA,OAAO,SAASuB,uBAAuBA,CAAA,EAErC;EACA,OAAO,IAAI,CAACxB,GAAG,CAAC,YAAY,CAAC,CAACC,iBAAiB,CAAC,CAAC;AACnD;AAEA,OAAO,SAASwB,oBAAoBA,CAAA,EAAyC;EAC3E,OAAO,IAAI,CAACzB,GAAG,CAAC,OAAO,CAAC,CAACC,iBAAiB,CAAC,CAAC;AAC9C;AAEA,OAAO,SAASyB,gBAAgBA,CAE9BvB,IAAwB,EACxB;EACA,MAAMU,QAAQ,GAAGV,IAAI,CAACU,QAAQ;EAC9B,IAAIA,QAAQ,KAAK,IAAI,IAAIA,QAAQ,KAAK,IAAI,EAAE;IAC1C,OAAOvB,oBAAoB,CAAC,CAAC;EAC/B;AACF;AAEA,OAAO,SAASqC,aAAaA,CAAA,EAAG;EAC9B,OAAOpC,oBAAoB,CAAC,CAAC;AAC/B;AAEA,OAAO,SAASqC,cAAcA,CAAA,EAAG;EAC/B,OAAOtC,oBAAoB,CAAC,CAAC;AAC/B;AAEA,OAAO,SAASuC,cAAcA,CAAA,EAAG;EAC/B,OAAO5C,qBAAqB,CAAC,CAAC;AAChC;AAEA,OAAO,SAAS6C,WAAWA,CAAA,EAAG;EAC5B,OAAOzC,yBAAyB,CAAC,CAAC;AACpC;AAEA,OAAO,SAAS0C,aAAaA,CAAA,EAAG;EAC9B,OAAO5C,qBAAqB,CAACC,UAAU,CAAC,QAAQ,CAAC,CAAC;AACpD;AAEA,OAAO,SAAS4C,gBAAgBA,CAAA,EAAG;EACjC,OAAO7C,qBAAqB,CAACC,UAAU,CAAC,QAAQ,CAAC,CAAC;AACpD;AAEA,OAAO,SAAS6C,eAAeA,CAAA,EAAG;EAChC,OAAO9C,qBAAqB,CAACC,UAAU,CAAC,OAAO,CAAC,CAAC;AACnD;AAEA,OAAO,SAAS8C,WAAWA,CAAA,EAAG;EAC5B,OAAOD,eAAe,CAAC,CAAC;AAC1B;AAEAC,WAAW,CAAC7B,WAAW,GAAG,IAAI;AAE9B,SAAS8B,IAAIA,CAAA,EAAG;EACd,OAAOhD,qBAAqB,CAACC,UAAU,CAAC,UAAU,CAAC,CAAC;AACtD;AAEA,SACE+C,IAAI,IAAIC,kBAAkB,EAC1BD,IAAI,IAAIE,uBAAuB,EAC/BF,IAAI,IAAIG,mBAAmB,EAC3BH,IAAI,IAAII,eAAe,EACvBJ,IAAI,IAAIK,gBAAgB;AAG1B,MAAMC,WAAW,GAAGvD,0BAA0B,CAAC,YAAY,CAAC;AAC5D,MAAMwD,YAAY,GAAGxD,0BAA0B,CAAC,aAAa,CAAC;AAC9D,MAAMyD,cAAc,GAAGzD,0BAA0B,CAAC,eAAe,CAAC;AAClE,MAAM0D,eAAe,GAAG1D,0BAA0B,CAAC,gBAAgB,CAAC;AACpE,OAAO,SAAS2D,cAAcA,CAAA,EAAmC;EAC/D,MAAM;IAAEpC;EAAO,CAAC,GAAG,IAAI,CAACN,IAAI;EAC5B,IAAIuC,YAAY,CAACjC,MAAM,CAAC,EAAE;IACxB,OAAOzB,mBAAmB,CAACO,oBAAoB,CAAC,CAAC,CAAC;EACpD,CAAC,MAAM,IACLkD,WAAW,CAAChC,MAAM,CAAC,IACnBkC,cAAc,CAAClC,MAAM,CAAC,IAEtBd,YAAY,CAACc,MAAM,EAAE;IAAEqC,IAAI,EAAE;EAAQ,CAAC,CAAC,EACvC;IACA,OAAO9D,mBAAmB,CAACD,iBAAiB,CAAC,CAAC,CAAC;EACjD,CAAC,MAAM,IAAI6D,eAAe,CAACnC,MAAM,CAAC,EAAE;IAClC,OAAOzB,mBAAmB,CACxBQ,mBAAmB,CAAC,CAACD,oBAAoB,CAAC,CAAC,EAAER,iBAAiB,CAAC,CAAC,CAAC,CACnE,CAAC;EACH;EAEA,OAAOgE,WAAW,CAAC,IAAI,CAAC/C,GAAG,CAAC,QAAQ,CAAC,CAAC;AACxC;AAEA,OAAO,SAASgD,wBAAwBA,CAAA,EAEtC;EACA,OAAOD,WAAW,CAAC,IAAI,CAAC/C,GAAG,CAAC,KAAK,CAAC,CAAC;AACrC;AAEA,SAAS+C,WAAWA,CAACtC,MAAgB,EAAE;EACrCA,MAAM,GAAGA,MAAM,CAACwC,OAAO,CAAC,CAAC;EAEzB,IAAIxC,MAAM,CAACyC,UAAU,CAAC,CAAC,EAAE;IACvB,MAAM;MAAE/C;IAAK,CAAC,GAAGM,MAAM;IACvB,IAAIN,IAAI,CAACgD,KAAK,EAAE;MACd,IAAIhD,IAAI,CAACiD,SAAS,EAAE;QAClB,OAAOjE,qBAAqB,CAACC,UAAU,CAAC,eAAe,CAAC,CAAC;MAC3D,CAAC,MAAM;QACL,OAAOD,qBAAqB,CAACC,UAAU,CAAC,SAAS,CAAC,CAAC;MACrD;IACF,CAAC,MAAM;MACL,IAAIe,IAAI,CAACiD,SAAS,EAAE;QAClB,OAAOjE,qBAAqB,CAACC,UAAU,CAAC,UAAU,CAAC,CAAC;MACtD,CAAC,MAAM,IAAIqB,MAAM,CAACN,IAAI,CAACkD,UAAU,EAAE;QACjC,OAAO5C,MAAM,CAACN,IAAI,CAACkD,UAAU;MAC/B,CAAC,MAAM,CAEP;IACF;EACF;AACF"}

package/lib/path/inference/util.js

@@ -1,20 +0,0 @@
-import * as _t from "@babel/types";
-const {
-  createFlowUnionType,
-  createTSUnionType,
-  createUnionTypeAnnotation,
-  isFlowType,
-  isTSType
-} = _t;
-export function createUnionType(types) {
-  {
-    if (isFlowType(types[0])) {
-      return createFlowUnionType(types);
-    }
-    if (isTSType(types[0])) {
-      return createTSUnionType(types);
-    }
-  }
-}
-
-//# sourceMappingURL=util.js.map

package/lib/path/inference/util.js.map

@@ -1 +0,0 @@
-{"version":3,"names":["_t","createFlowUnionType","createTSUnionType","createUnionTypeAnnotation","isFlowType","isTSType","createUnionType","types"],"sources":["../../../src/path/inference/util.ts"],"sourcesContent":["import {\n  createFlowUnionType,\n  createTSUnionType,\n  createUnionTypeAnnotation,\n  isFlowType,\n  isTSType,\n} from \"@babel/types\";\nimport type * as t from \"@babel/types\";\n\nexport function createUnionType(\n  types: Array<t.FlowType | t.TSType>,\n): t.FlowType | t.TSType {\n  if (process.env.BABEL_8_BREAKING) {\n    if (isFlowType(types[0])) {\n      return createFlowUnionType(types as t.FlowType[]);\n    }\n    if (isTSType(types[0])) {\n      return createTSUnionType(types as t.TSType[]);\n    }\n  } else {\n    if (isFlowType(types[0])) {\n      if (createFlowUnionType) {\n        return createFlowUnionType(types as t.FlowType[]);\n      }\n\n      return createUnionTypeAnnotation(types as t.FlowType[]);\n    } else {\n      if (createTSUnionType) {\n        return createTSUnionType(types as t.TSType[]);\n      }\n    }\n  }\n}\n"],"mappings":"AAAA,YAAAA,EAAA,MAMO,cAAc;AAAC;EALpBC,mBAAmB;EACnBC,iBAAiB;EACjBC,yBAAyB;EACzBC,UAAU;EACVC;AAAQ,IAAAL,EAAA;AAIV,OAAO,SAASM,eAAeA,CAC7BC,KAAmC,EACZ;EACW;IAChC,IAAIH,UAAU,CAACG,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE;MACxB,OAAON,mBAAmB,CAACM,KAAqB,CAAC;IACnD;IACA,IAAIF,QAAQ,CAACE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE;MACtB,OAAOL,iBAAiB,CAACK,KAAmB,CAAC;IAC/C;EACF;AAaF"}