vaderjs 1.1.3 → 1.1.5

package/website/node_modules/sucrase/dist/esm/parser/plugins/typescript.js

@@ -1,1632 +0,0 @@
-import {
-  eat,
-  finishToken,
-  IdentifierRole,
-  lookaheadType,
-  lookaheadTypeAndKeyword,
-  match,
-  next,
-  nextTemplateToken,
-  popTypeContext,
-  pushTypeContext,
-  rescan_gt,
-} from "../tokenizer/index";
-import {ContextualKeyword} from "../tokenizer/keywords";
-import {TokenType, TokenType as tt} from "../tokenizer/types";
-import {isJSXEnabled, state} from "../traverser/base";
-import {
-  atPossibleAsync,
-  baseParseMaybeAssign,
-  baseParseSubscript,
-  parseCallExpressionArguments,
-  parseExprAtom,
-  parseExpression,
-  parseFunctionBody,
-  parseIdentifier,
-  parseLiteral,
-  parseMaybeAssign,
-  parseMaybeUnary,
-  parsePropertyName,
-  parseTemplate,
-
-} from "../traverser/expression";
-import {parseBindingIdentifier, parseBindingList, parseImportedIdentifier} from "../traverser/lval";
-import {
-  baseParseMaybeDecoratorArguments,
-  parseBlockBody,
-  parseClass,
-  parseFunction,
-  parseFunctionParams,
-  parseStatement,
-  parseVarStatement,
-} from "../traverser/statement";
-import {
-  canInsertSemicolon,
-  eatContextual,
-  expect,
-  expectContextual,
-  hasPrecedingLineBreak,
-  isContextual,
-  isLineTerminator,
-  isLookaheadContextual,
-  semicolon,
-  unexpected,
-} from "../traverser/util";
-import {nextJSXTagToken} from "./jsx";
-
-function tsIsIdentifier() {
-  // TODO: actually a bit more complex in TypeScript, but shouldn't matter.
-  // See https://github.com/Microsoft/TypeScript/issues/15008
-  return match(tt.name);
-}
-
-function isLiteralPropertyName() {
-  return (
-    match(tt.name) ||
-    Boolean(state.type & TokenType.IS_KEYWORD) ||
-    match(tt.string) ||
-    match(tt.num) ||
-    match(tt.bigint) ||
-    match(tt.decimal)
-  );
-}
-
-function tsNextTokenCanFollowModifier() {
-  // Note: TypeScript's implementation is much more complicated because
-  // more things are considered modifiers there.
-  // This implementation only handles modifiers not handled by babylon itself. And "static".
-  // TODO: Would be nice to avoid lookahead. Want a hasLineBreakUpNext() method...
-  const snapshot = state.snapshot();
-
-  next();
-  const canFollowModifier =
-    (match(tt.bracketL) ||
-      match(tt.braceL) ||
-      match(tt.star) ||
-      match(tt.ellipsis) ||
-      match(tt.hash) ||
-      isLiteralPropertyName()) &&
-    !hasPrecedingLineBreak();
-
-  if (canFollowModifier) {
-    return true;
-  } else {
-    state.restoreFromSnapshot(snapshot);
-    return false;
-  }
-}
-
-export function tsParseModifiers(allowedModifiers) {
-  while (true) {
-    const modifier = tsParseModifier(allowedModifiers);
-    if (modifier === null) {
-      break;
-    }
-  }
-}
-
-/** Parses a modifier matching one the given modifier names. */
-export function tsParseModifier(
-  allowedModifiers,
-) {
-  if (!match(tt.name)) {
-    return null;
-  }
-
-  const modifier = state.contextualKeyword;
-  if (allowedModifiers.indexOf(modifier) !== -1 && tsNextTokenCanFollowModifier()) {
-    switch (modifier) {
-      case ContextualKeyword._readonly:
-        state.tokens[state.tokens.length - 1].type = tt._readonly;
-        break;
-      case ContextualKeyword._abstract:
-        state.tokens[state.tokens.length - 1].type = tt._abstract;
-        break;
-      case ContextualKeyword._static:
-        state.tokens[state.tokens.length - 1].type = tt._static;
-        break;
-      case ContextualKeyword._public:
-        state.tokens[state.tokens.length - 1].type = tt._public;
-        break;
-      case ContextualKeyword._private:
-        state.tokens[state.tokens.length - 1].type = tt._private;
-        break;
-      case ContextualKeyword._protected:
-        state.tokens[state.tokens.length - 1].type = tt._protected;
-        break;
-      case ContextualKeyword._override:
-        state.tokens[state.tokens.length - 1].type = tt._override;
-        break;
-      case ContextualKeyword._declare:
-        state.tokens[state.tokens.length - 1].type = tt._declare;
-        break;
-      default:
-        break;
-    }
-    return modifier;
-  }
-  return null;
-}
-
-function tsParseEntityName() {
-  parseIdentifier();
-  while (eat(tt.dot)) {
-    parseIdentifier();
-  }
-}
-
-function tsParseTypeReference() {
-  tsParseEntityName();
-  if (!hasPrecedingLineBreak() && match(tt.lessThan)) {
-    tsParseTypeArguments();
-  }
-}
-
-function tsParseThisTypePredicate() {
-  next();
-  tsParseTypeAnnotation();
-}
-
-function tsParseThisTypeNode() {
-  next();
-}
-
-function tsParseTypeQuery() {
-  expect(tt._typeof);
-  if (match(tt._import)) {
-    tsParseImportType();
-  } else {
-    tsParseEntityName();
-  }
-  if (!hasPrecedingLineBreak() && match(tt.lessThan)) {
-    tsParseTypeArguments();
-  }
-}
-
-function tsParseImportType() {
-  expect(tt._import);
-  expect(tt.parenL);
-  expect(tt.string);
-  expect(tt.parenR);
-  if (eat(tt.dot)) {
-    tsParseEntityName();
-  }
-  if (match(tt.lessThan)) {
-    tsParseTypeArguments();
-  }
-}
-
-function tsParseTypeParameter() {
-  eat(tt._const);
-  const hadIn = eat(tt._in);
-  const hadOut = eatContextual(ContextualKeyword._out);
-  eat(tt._const);
-  if ((hadIn || hadOut) && !match(tt.name)) {
-    // The "in" or "out" keyword must have actually been the type parameter
-    // name, so set it as the name.
-    state.tokens[state.tokens.length - 1].type = tt.name;
-  } else {
-    parseIdentifier();
-  }
-
-  if (eat(tt._extends)) {
-    tsParseType();
-  }
-  if (eat(tt.eq)) {
-    tsParseType();
-  }
-}
-
-export function tsTryParseTypeParameters() {
-  if (match(tt.lessThan)) {
-    tsParseTypeParameters();
-  }
-}
-
-function tsParseTypeParameters() {
-  const oldIsType = pushTypeContext(0);
-  if (match(tt.lessThan) || match(tt.typeParameterStart)) {
-    next();
-  } else {
-    unexpected();
-  }
-
-  while (!eat(tt.greaterThan) && !state.error) {
-    tsParseTypeParameter();
-    eat(tt.comma);
-  }
-  popTypeContext(oldIsType);
-}
-
-// Note: In TypeScript implementation we must provide `yieldContext` and `awaitContext`,
-// but here it's always false, because this is only used for types.
-function tsFillSignature(returnToken) {
-  // Arrow fns *must* have return token (`=>`). Normal functions can omit it.
-  const returnTokenRequired = returnToken === tt.arrow;
-  tsTryParseTypeParameters();
-  expect(tt.parenL);
-  // Create a scope even though we're doing type parsing so we don't accidentally
-  // treat params as top-level bindings.
-  state.scopeDepth++;
-  tsParseBindingListForSignature(false /* isBlockScope */);
-  state.scopeDepth--;
-  if (returnTokenRequired) {
-    tsParseTypeOrTypePredicateAnnotation(returnToken);
-  } else if (match(returnToken)) {
-    tsParseTypeOrTypePredicateAnnotation(returnToken);
-  }
-}
-
-function tsParseBindingListForSignature(isBlockScope) {
-  parseBindingList(tt.parenR, isBlockScope);
-}
-
-function tsParseTypeMemberSemicolon() {
-  if (!eat(tt.comma)) {
-    semicolon();
-  }
-}
-
-function tsParseSignatureMember() {
-  tsFillSignature(tt.colon);
-  tsParseTypeMemberSemicolon();
-}
-
-function tsIsUnambiguouslyIndexSignature() {
-  const snapshot = state.snapshot();
-  next(); // Skip '{'
-  const isIndexSignature = eat(tt.name) && match(tt.colon);
-  state.restoreFromSnapshot(snapshot);
-  return isIndexSignature;
-}
-
-function tsTryParseIndexSignature() {
-  if (!(match(tt.bracketL) && tsIsUnambiguouslyIndexSignature())) {
-    return false;
-  }
-
-  const oldIsType = pushTypeContext(0);
-
-  expect(tt.bracketL);
-  parseIdentifier();
-  tsParseTypeAnnotation();
-  expect(tt.bracketR);
-
-  tsTryParseTypeAnnotation();
-  tsParseTypeMemberSemicolon();
-
-  popTypeContext(oldIsType);
-  return true;
-}
-
-function tsParsePropertyOrMethodSignature(isReadonly) {
-  eat(tt.question);
-
-  if (!isReadonly && (match(tt.parenL) || match(tt.lessThan))) {
-    tsFillSignature(tt.colon);
-    tsParseTypeMemberSemicolon();
-  } else {
-    tsTryParseTypeAnnotation();
-    tsParseTypeMemberSemicolon();
-  }
-}
-
-function tsParseTypeMember() {
-  if (match(tt.parenL) || match(tt.lessThan)) {
-    // call signature
-    tsParseSignatureMember();
-    return;
-  }
-  if (match(tt._new)) {
-    next();
-    if (match(tt.parenL) || match(tt.lessThan)) {
-      // constructor signature
-      tsParseSignatureMember();
-    } else {
-      tsParsePropertyOrMethodSignature(false);
-    }
-    return;
-  }
-  const readonly = !!tsParseModifier([ContextualKeyword._readonly]);
-
-  const found = tsTryParseIndexSignature();
-  if (found) {
-    return;
-  }
-  if (
-    (isContextual(ContextualKeyword._get) || isContextual(ContextualKeyword._set)) &&
-    tsNextTokenCanFollowModifier()
-  ) {
-    // This is a getter/setter on a type. The tsNextTokenCanFollowModifier
-    // function already called next() for us, so continue parsing the name.
-  }
-  parsePropertyName(-1 /* Types don't need context IDs. */);
-  tsParsePropertyOrMethodSignature(readonly);
-}
-
-function tsParseTypeLiteral() {
-  tsParseObjectTypeMembers();
-}
-
-function tsParseObjectTypeMembers() {
-  expect(tt.braceL);
-  while (!eat(tt.braceR) && !state.error) {
-    tsParseTypeMember();
-  }
-}
-
-function tsLookaheadIsStartOfMappedType() {
-  const snapshot = state.snapshot();
-  const isStartOfMappedType = tsIsStartOfMappedType();
-  state.restoreFromSnapshot(snapshot);
-  return isStartOfMappedType;
-}
-
-function tsIsStartOfMappedType() {
-  next();
-  if (eat(tt.plus) || eat(tt.minus)) {
-    return isContextual(ContextualKeyword._readonly);
-  }
-  if (isContextual(ContextualKeyword._readonly)) {
-    next();
-  }
-  if (!match(tt.bracketL)) {
-    return false;
-  }
-  next();
-  if (!tsIsIdentifier()) {
-    return false;
-  }
-  next();
-  return match(tt._in);
-}
-
-function tsParseMappedTypeParameter() {
-  parseIdentifier();
-  expect(tt._in);
-  tsParseType();
-}
-
-function tsParseMappedType() {
-  expect(tt.braceL);
-  if (match(tt.plus) || match(tt.minus)) {
-    next();
-    expectContextual(ContextualKeyword._readonly);
-  } else {
-    eatContextual(ContextualKeyword._readonly);
-  }
-  expect(tt.bracketL);
-  tsParseMappedTypeParameter();
-  if (eatContextual(ContextualKeyword._as)) {
-    tsParseType();
-  }
-  expect(tt.bracketR);
-  if (match(tt.plus) || match(tt.minus)) {
-    next();
-    expect(tt.question);
-  } else {
-    eat(tt.question);
-  }
-  tsTryParseType();
-  semicolon();
-  expect(tt.braceR);
-}
-
-function tsParseTupleType() {
-  expect(tt.bracketL);
-  while (!eat(tt.bracketR) && !state.error) {
-    // Do not validate presence of either none or only labeled elements
-    tsParseTupleElementType();
-    eat(tt.comma);
-  }
-}
-
-function tsParseTupleElementType() {
-  // parses `...TsType[]`
-  if (eat(tt.ellipsis)) {
-    tsParseType();
-  } else {
-    // parses `TsType?`
-    tsParseType();
-    eat(tt.question);
-  }
-
-  // The type we parsed above was actually a label
-  if (eat(tt.colon)) {
-    // Labeled tuple types must affix the label with `...` or `?`, so no need to handle those here
-    tsParseType();
-  }
-}
-
-function tsParseParenthesizedType() {
-  expect(tt.parenL);
-  tsParseType();
-  expect(tt.parenR);
-}
-
-function tsParseTemplateLiteralType() {
-  // Finish `, read quasi
-  nextTemplateToken();
-  // Finish quasi, read ${
-  nextTemplateToken();
-  while (!match(tt.backQuote) && !state.error) {
-    expect(tt.dollarBraceL);
-    tsParseType();
-    // Finish }, read quasi
-    nextTemplateToken();
-    // Finish quasi, read either ${ or `
-    nextTemplateToken();
-  }
-  next();
-}
-
-var FunctionType; (function (FunctionType) {
-  const TSFunctionType = 0; FunctionType[FunctionType["TSFunctionType"] = TSFunctionType] = "TSFunctionType";
-  const TSConstructorType = TSFunctionType + 1; FunctionType[FunctionType["TSConstructorType"] = TSConstructorType] = "TSConstructorType";
-  const TSAbstractConstructorType = TSConstructorType + 1; FunctionType[FunctionType["TSAbstractConstructorType"] = TSAbstractConstructorType] = "TSAbstractConstructorType";
-})(FunctionType || (FunctionType = {}));
-
-function tsParseFunctionOrConstructorType(type) {
-  if (type === FunctionType.TSAbstractConstructorType) {
-    expectContextual(ContextualKeyword._abstract);
-  }
-  if (type === FunctionType.TSConstructorType || type === FunctionType.TSAbstractConstructorType) {
-    expect(tt._new);
-  }
-  const oldInDisallowConditionalTypesContext = state.inDisallowConditionalTypesContext;
-  state.inDisallowConditionalTypesContext = false;
-  tsFillSignature(tt.arrow);
-  state.inDisallowConditionalTypesContext = oldInDisallowConditionalTypesContext;
-}
-
-function tsParseNonArrayType() {
-  switch (state.type) {
-    case tt.name:
-      tsParseTypeReference();
-      return;
-    case tt._void:
-    case tt._null:
-      next();
-      return;
-    case tt.string:
-    case tt.num:
-    case tt.bigint:
-    case tt.decimal:
-    case tt._true:
-    case tt._false:
-      parseLiteral();
-      return;
-    case tt.minus:
-      next();
-      parseLiteral();
-      return;
-    case tt._this: {
-      tsParseThisTypeNode();
-      if (isContextual(ContextualKeyword._is) && !hasPrecedingLineBreak()) {
-        tsParseThisTypePredicate();
-      }
-      return;
-    }
-    case tt._typeof:
-      tsParseTypeQuery();
-      return;
-    case tt._import:
-      tsParseImportType();
-      return;
-    case tt.braceL:
-      if (tsLookaheadIsStartOfMappedType()) {
-        tsParseMappedType();
-      } else {
-        tsParseTypeLiteral();
-      }
-      return;
-    case tt.bracketL:
-      tsParseTupleType();
-      return;
-    case tt.parenL:
-      tsParseParenthesizedType();
-      return;
-    case tt.backQuote:
-      tsParseTemplateLiteralType();
-      return;
-    default:
-      if (state.type & TokenType.IS_KEYWORD) {
-        next();
-        state.tokens[state.tokens.length - 1].type = tt.name;
-        return;
-      }
-      break;
-  }
-
-  unexpected();
-}
-
-function tsParseArrayTypeOrHigher() {
-  tsParseNonArrayType();
-  while (!hasPrecedingLineBreak() && eat(tt.bracketL)) {
-    if (!eat(tt.bracketR)) {
-      // If we hit ] immediately, this is an array type, otherwise it's an indexed access type.
-      tsParseType();
-      expect(tt.bracketR);
-    }
-  }
-}
-
-function tsParseInferType() {
-  expectContextual(ContextualKeyword._infer);
-  parseIdentifier();
-  if (match(tt._extends)) {
-    // Infer type constraints introduce an ambiguity about whether the "extends"
-    // is a constraint for this infer type or is another conditional type.
-    const snapshot = state.snapshot();
-    expect(tt._extends);
-    const oldInDisallowConditionalTypesContext = state.inDisallowConditionalTypesContext;
-    state.inDisallowConditionalTypesContext = true;
-    tsParseType();
-    state.inDisallowConditionalTypesContext = oldInDisallowConditionalTypesContext;
-    if (state.error || (!state.inDisallowConditionalTypesContext && match(tt.question))) {
-      state.restoreFromSnapshot(snapshot);
-    }
-  }
-}
-
-function tsParseTypeOperatorOrHigher() {
-  if (
-    isContextual(ContextualKeyword._keyof) ||
-    isContextual(ContextualKeyword._unique) ||
-    isContextual(ContextualKeyword._readonly)
-  ) {
-    next();
-    tsParseTypeOperatorOrHigher();
-  } else if (isContextual(ContextualKeyword._infer)) {
-    tsParseInferType();
-  } else {
-    const oldInDisallowConditionalTypesContext = state.inDisallowConditionalTypesContext;
-    state.inDisallowConditionalTypesContext = false;
-    tsParseArrayTypeOrHigher();
-    state.inDisallowConditionalTypesContext = oldInDisallowConditionalTypesContext;
-  }
-}
-
-function tsParseIntersectionTypeOrHigher() {
-  eat(tt.bitwiseAND);
-  tsParseTypeOperatorOrHigher();
-  if (match(tt.bitwiseAND)) {
-    while (eat(tt.bitwiseAND)) {
-      tsParseTypeOperatorOrHigher();
-    }
-  }
-}
-
-function tsParseUnionTypeOrHigher() {
-  eat(tt.bitwiseOR);
-  tsParseIntersectionTypeOrHigher();
-  if (match(tt.bitwiseOR)) {
-    while (eat(tt.bitwiseOR)) {
-      tsParseIntersectionTypeOrHigher();
-    }
-  }
-}
-
-function tsIsStartOfFunctionType() {
-  if (match(tt.lessThan)) {
-    return true;
-  }
-  return match(tt.parenL) && tsLookaheadIsUnambiguouslyStartOfFunctionType();
-}
-
-function tsSkipParameterStart() {
-  if (match(tt.name) || match(tt._this)) {
-    next();
-    return true;
-  }
-  // If this is a possible array/object destructure, walk to the matching bracket/brace.
-  // The next token after will tell us definitively whether this is a function param.
-  if (match(tt.braceL) || match(tt.bracketL)) {
-    let depth = 1;
-    next();
-    while (depth > 0 && !state.error) {
-      if (match(tt.braceL) || match(tt.bracketL)) {
-        depth++;
-      } else if (match(tt.braceR) || match(tt.bracketR)) {
-        depth--;
-      }
-      next();
-    }
-    return true;
-  }
-  return false;
-}
-
-function tsLookaheadIsUnambiguouslyStartOfFunctionType() {
-  const snapshot = state.snapshot();
-  const isUnambiguouslyStartOfFunctionType = tsIsUnambiguouslyStartOfFunctionType();
-  state.restoreFromSnapshot(snapshot);
-  return isUnambiguouslyStartOfFunctionType;
-}
-
-function tsIsUnambiguouslyStartOfFunctionType() {
-  next();
-  if (match(tt.parenR) || match(tt.ellipsis)) {
-    // ( )
-    // ( ...
-    return true;
-  }
-  if (tsSkipParameterStart()) {
-    if (match(tt.colon) || match(tt.comma) || match(tt.question) || match(tt.eq)) {
-      // ( xxx :
-      // ( xxx ,
-      // ( xxx ?
-      // ( xxx =
-      return true;
-    }
-    if (match(tt.parenR)) {
-      next();
-      if (match(tt.arrow)) {
-        // ( xxx ) =>
-        return true;
-      }
-    }
-  }
-  return false;
-}
-
-function tsParseTypeOrTypePredicateAnnotation(returnToken) {
-  const oldIsType = pushTypeContext(0);
-  expect(returnToken);
-  const finishedReturn = tsParseTypePredicateOrAssertsPrefix();
-  if (!finishedReturn) {
-    tsParseType();
-  }
-  popTypeContext(oldIsType);
-}
-
-function tsTryParseTypeOrTypePredicateAnnotation() {
-  if (match(tt.colon)) {
-    tsParseTypeOrTypePredicateAnnotation(tt.colon);
-  }
-}
-
-export function tsTryParseTypeAnnotation() {
-  if (match(tt.colon)) {
-    tsParseTypeAnnotation();
-  }
-}
-
-function tsTryParseType() {
-  if (eat(tt.colon)) {
-    tsParseType();
-  }
-}
-
-/**
- * Detect a few special return syntax cases: `x is T`, `asserts x`, `asserts x is T`,
- * `asserts this is T`.
- *
- * Returns true if we parsed the return type, false if there's still a type to be parsed.
- */
-function tsParseTypePredicateOrAssertsPrefix() {
-  const snapshot = state.snapshot();
-  if (isContextual(ContextualKeyword._asserts)) {
-    // Normally this is `asserts x is T`, but at this point, it might be `asserts is T` (a user-
-    // defined type guard on the `asserts` variable) or just a type called `asserts`.
-    next();
-    if (eatContextual(ContextualKeyword._is)) {
-      // If we see `asserts is`, then this must be of the form `asserts is T`, since
-      // `asserts is is T` isn't valid.
-      tsParseType();
-      return true;
-    } else if (tsIsIdentifier() || match(tt._this)) {
-      next();
-      if (eatContextual(ContextualKeyword._is)) {
-        // If we see `is`, then this is `asserts x is T`. Otherwise, it's `asserts x`.
-        tsParseType();
-      }
-      return true;
-    } else {
-      // Regular type, so bail out and start type parsing from scratch.
-      state.restoreFromSnapshot(snapshot);
-      return false;
-    }
-  } else if (tsIsIdentifier() || match(tt._this)) {
-    // This is a regular identifier, which may or may not have "is" after it.
-    next();
-    if (isContextual(ContextualKeyword._is) && !hasPrecedingLineBreak()) {
-      next();
-      tsParseType();
-      return true;
-    } else {
-      // Regular type, so bail out and start type parsing from scratch.
-      state.restoreFromSnapshot(snapshot);
-      return false;
-    }
-  }
-  return false;
-}
-
-export function tsParseTypeAnnotation() {
-  const oldIsType = pushTypeContext(0);
-  expect(tt.colon);
-  tsParseType();
-  popTypeContext(oldIsType);
-}
-
-export function tsParseType() {
-  tsParseNonConditionalType();
-  if (state.inDisallowConditionalTypesContext || hasPrecedingLineBreak() || !eat(tt._extends)) {
-    return;
-  }
-  // extends type
-  const oldInDisallowConditionalTypesContext = state.inDisallowConditionalTypesContext;
-  state.inDisallowConditionalTypesContext = true;
-  tsParseNonConditionalType();
-  state.inDisallowConditionalTypesContext = oldInDisallowConditionalTypesContext;
-
-  expect(tt.question);
-  // true type
-  tsParseType();
-  expect(tt.colon);
-  // false type
-  tsParseType();
-}
-
-function isAbstractConstructorSignature() {
-  return isContextual(ContextualKeyword._abstract) && lookaheadType() === tt._new;
-}
-
-export function tsParseNonConditionalType() {
-  if (tsIsStartOfFunctionType()) {
-    tsParseFunctionOrConstructorType(FunctionType.TSFunctionType);
-    return;
-  }
-  if (match(tt._new)) {
-    // As in `new () => Date`
-    tsParseFunctionOrConstructorType(FunctionType.TSConstructorType);
-    return;
-  } else if (isAbstractConstructorSignature()) {
-    // As in `abstract new () => Date`
-    tsParseFunctionOrConstructorType(FunctionType.TSAbstractConstructorType);
-    return;
-  }
-  tsParseUnionTypeOrHigher();
-}
-
-export function tsParseTypeAssertion() {
-  const oldIsType = pushTypeContext(1);
-  tsParseType();
-  expect(tt.greaterThan);
-  popTypeContext(oldIsType);
-  parseMaybeUnary();
-}
-
-export function tsTryParseJSXTypeArgument() {
-  if (eat(tt.jsxTagStart)) {
-    state.tokens[state.tokens.length - 1].type = tt.typeParameterStart;
-    const oldIsType = pushTypeContext(1);
-    while (!match(tt.greaterThan) && !state.error) {
-      tsParseType();
-      eat(tt.comma);
-    }
-    // Process >, but the one after needs to be parsed JSX-style.
-    nextJSXTagToken();
-    popTypeContext(oldIsType);
-  }
-}
-
-function tsParseHeritageClause() {
-  while (!match(tt.braceL) && !state.error) {
-    tsParseExpressionWithTypeArguments();
-    eat(tt.comma);
-  }
-}
-
-function tsParseExpressionWithTypeArguments() {
-  // Note: TS uses parseLeftHandSideExpressionOrHigher,
-  // then has grammar errors later if it's not an EntityName.
-  tsParseEntityName();
-  if (match(tt.lessThan)) {
-    tsParseTypeArguments();
-  }
-}
-
-function tsParseInterfaceDeclaration() {
-  parseBindingIdentifier(false);
-  tsTryParseTypeParameters();
-  if (eat(tt._extends)) {
-    tsParseHeritageClause();
-  }
-  tsParseObjectTypeMembers();
-}
-
-function tsParseTypeAliasDeclaration() {
-  parseBindingIdentifier(false);
-  tsTryParseTypeParameters();
-  expect(tt.eq);
-  tsParseType();
-  semicolon();
-}
-
-function tsParseEnumMember() {
-  // Computed property names are grammar errors in an enum, so accept just string literal or identifier.
-  if (match(tt.string)) {
-    parseLiteral();
-  } else {
-    parseIdentifier();
-  }
-  if (eat(tt.eq)) {
-    const eqIndex = state.tokens.length - 1;
-    parseMaybeAssign();
-    state.tokens[eqIndex].rhsEndIndex = state.tokens.length;
-  }
-}
-
-function tsParseEnumDeclaration() {
-  parseBindingIdentifier(false);
-  expect(tt.braceL);
-  while (!eat(tt.braceR) && !state.error) {
-    tsParseEnumMember();
-    eat(tt.comma);
-  }
-}
-
-function tsParseModuleBlock() {
-  expect(tt.braceL);
-  parseBlockBody(/* end */ tt.braceR);
-}
-
-function tsParseModuleOrNamespaceDeclaration() {
-  parseBindingIdentifier(false);
-  if (eat(tt.dot)) {
-    tsParseModuleOrNamespaceDeclaration();
-  } else {
-    tsParseModuleBlock();
-  }
-}
-
-function tsParseAmbientExternalModuleDeclaration() {
-  if (isContextual(ContextualKeyword._global)) {
-    parseIdentifier();
-  } else if (match(tt.string)) {
-    parseExprAtom();
-  } else {
-    unexpected();
-  }
-
-  if (match(tt.braceL)) {
-    tsParseModuleBlock();
-  } else {
-    semicolon();
-  }
-}
-
-export function tsParseImportEqualsDeclaration() {
-  parseImportedIdentifier();
-  expect(tt.eq);
-  tsParseModuleReference();
-  semicolon();
-}
-
-function tsIsExternalModuleReference() {
-  return isContextual(ContextualKeyword._require) && lookaheadType() === tt.parenL;
-}
-
-function tsParseModuleReference() {
-  if (tsIsExternalModuleReference()) {
-    tsParseExternalModuleReference();
-  } else {
-    tsParseEntityName();
-  }
-}
-
-function tsParseExternalModuleReference() {
-  expectContextual(ContextualKeyword._require);
-  expect(tt.parenL);
-  if (!match(tt.string)) {
-    unexpected();
-  }
-  parseLiteral();
-  expect(tt.parenR);
-}
-
-// Utilities
-
-// Returns true if a statement matched.
-function tsTryParseDeclare() {
-  if (isLineTerminator()) {
-    return false;
-  }
-  switch (state.type) {
-    case tt._function: {
-      const oldIsType = pushTypeContext(1);
-      next();
-      // We don't need to precisely get the function start here, since it's only used to mark
-      // the function as a type if it's bodiless, and it's already a type here.
-      const functionStart = state.start;
-      parseFunction(functionStart, /* isStatement */ true);
-      popTypeContext(oldIsType);
-      return true;
-    }
-    case tt._class: {
-      const oldIsType = pushTypeContext(1);
-      parseClass(/* isStatement */ true, /* optionalId */ false);
-      popTypeContext(oldIsType);
-      return true;
-    }
-    case tt._const: {
-      if (match(tt._const) && isLookaheadContextual(ContextualKeyword._enum)) {
-        const oldIsType = pushTypeContext(1);
-        // `const enum = 0;` not allowed because "enum" is a strict mode reserved word.
-        expect(tt._const);
-        expectContextual(ContextualKeyword._enum);
-        state.tokens[state.tokens.length - 1].type = tt._enum;
-        tsParseEnumDeclaration();
-        popTypeContext(oldIsType);
-        return true;
-      }
-    }
-    // falls through
-    case tt._var:
-    case tt._let: {
-      const oldIsType = pushTypeContext(1);
-      parseVarStatement(state.type !== tt._var);
-      popTypeContext(oldIsType);
-      return true;
-    }
-    case tt.name: {
-      const oldIsType = pushTypeContext(1);
-      const contextualKeyword = state.contextualKeyword;
-      let matched = false;
-      if (contextualKeyword === ContextualKeyword._global) {
-        tsParseAmbientExternalModuleDeclaration();
-        matched = true;
-      } else {
-        matched = tsParseDeclaration(contextualKeyword, /* isBeforeToken */ true);
-      }
-      popTypeContext(oldIsType);
-      return matched;
-    }
-    default:
-      return false;
-  }
-}
-
-// Note: this won't be called unless the keyword is allowed in `shouldParseExportDeclaration`.
-// Returns true if it matched a declaration.
-function tsTryParseExportDeclaration() {
-  return tsParseDeclaration(state.contextualKeyword, /* isBeforeToken */ true);
-}
-
-// Returns true if it matched a statement.
-function tsParseExpressionStatement(contextualKeyword) {
-  switch (contextualKeyword) {
-    case ContextualKeyword._declare: {
-      const declareTokenIndex = state.tokens.length - 1;
-      const matched = tsTryParseDeclare();
-      if (matched) {
-        state.tokens[declareTokenIndex].type = tt._declare;
-        return true;
-      }
-      break;
-    }
-    case ContextualKeyword._global:
-      // `global { }` (with no `declare`) may appear inside an ambient module declaration.
-      // Would like to use tsParseAmbientExternalModuleDeclaration here, but already ran past "global".
-      if (match(tt.braceL)) {
-        tsParseModuleBlock();
-        return true;
-      }
-      break;
-
-    default:
-      return tsParseDeclaration(contextualKeyword, /* isBeforeToken */ false);
-  }
-  return false;
-}
-
-/**
- * Common code for parsing a declaration.
- *
- * isBeforeToken indicates that the current parser state is at the contextual
- * keyword (and that it is not yet emitted) rather than reading the token after
- * it. When isBeforeToken is true, we may be preceded by an `export` token and
- * should include that token in a type context we create, e.g. to handle
- * `export interface` or `export type`. (This is a bit of a hack and should be
- * cleaned up at some point.)
- *
- * Returns true if it matched a declaration.
- */
-function tsParseDeclaration(contextualKeyword, isBeforeToken) {
-  switch (contextualKeyword) {
-    case ContextualKeyword._abstract:
-      if (tsCheckLineTerminator(isBeforeToken) && match(tt._class)) {
-        state.tokens[state.tokens.length - 1].type = tt._abstract;
-        parseClass(/* isStatement */ true, /* optionalId */ false);
-        return true;
-      }
-      break;
-
-    case ContextualKeyword._enum:
-      if (tsCheckLineTerminator(isBeforeToken) && match(tt.name)) {
-        state.tokens[state.tokens.length - 1].type = tt._enum;
-        tsParseEnumDeclaration();
-        return true;
-      }
-      break;
-
-    case ContextualKeyword._interface:
-      if (tsCheckLineTerminator(isBeforeToken) && match(tt.name)) {
-        // `next` is true in "export" and "declare" contexts, so we want to remove that token
-        // as well.
-        const oldIsType = pushTypeContext(isBeforeToken ? 2 : 1);
-        tsParseInterfaceDeclaration();
-        popTypeContext(oldIsType);
-        return true;
-      }
-      break;
-
-    case ContextualKeyword._module:
-      if (tsCheckLineTerminator(isBeforeToken)) {
-        if (match(tt.string)) {
-          const oldIsType = pushTypeContext(isBeforeToken ? 2 : 1);
-          tsParseAmbientExternalModuleDeclaration();
-          popTypeContext(oldIsType);
-          return true;
-        } else if (match(tt.name)) {
-          const oldIsType = pushTypeContext(isBeforeToken ? 2 : 1);
-          tsParseModuleOrNamespaceDeclaration();
-          popTypeContext(oldIsType);
-          return true;
-        }
-      }
-      break;
-
-    case ContextualKeyword._namespace:
-      if (tsCheckLineTerminator(isBeforeToken) && match(tt.name)) {
-        const oldIsType = pushTypeContext(isBeforeToken ? 2 : 1);
-        tsParseModuleOrNamespaceDeclaration();
-        popTypeContext(oldIsType);
-        return true;
-      }
-      break;
-
-    case ContextualKeyword._type:
-      if (tsCheckLineTerminator(isBeforeToken) && match(tt.name)) {
-        const oldIsType = pushTypeContext(isBeforeToken ? 2 : 1);
-        tsParseTypeAliasDeclaration();
-        popTypeContext(oldIsType);
-        return true;
-      }
-      break;
-
-    default:
-      break;
-  }
-  return false;
-}
-
-function tsCheckLineTerminator(isBeforeToken) {
-  if (isBeforeToken) {
-    // Babel checks hasFollowingLineBreak here and returns false, but this
-    // doesn't actually come up, e.g. `export interface` can never be on its own
-    // line in valid code.
-    next();
-    return true;
-  } else {
-    return !isLineTerminator();
-  }
-}
-
-// Returns true if there was a generic async arrow function.
-function tsTryParseGenericAsyncArrowFunction() {
-  const snapshot = state.snapshot();
-
-  tsParseTypeParameters();
-  parseFunctionParams();
-  tsTryParseTypeOrTypePredicateAnnotation();
-  expect(tt.arrow);
-
-  if (state.error) {
-    state.restoreFromSnapshot(snapshot);
-    return false;
-  }
-
-  parseFunctionBody(true);
-  return true;
-}
-
-/**
- * If necessary, hack the tokenizer state so that this bitshift was actually a
- * less-than token, then keep parsing. This should only be used in situations
- * where we restore from snapshot on error (which reverts this change) or
- * where bitshift would be illegal anyway (e.g. in a class "extends" clause).
- *
- * This hack is useful to handle situations like foo<<T>() => void>() where
- * there can legitimately be two open-angle-brackets in a row in TS.
- */
-function tsParseTypeArgumentsWithPossibleBitshift() {
-  if (state.type === tt.bitShiftL) {
-    state.pos -= 1;
-    finishToken(tt.lessThan);
-  }
-  tsParseTypeArguments();
-}
-
-function tsParseTypeArguments() {
-  const oldIsType = pushTypeContext(0);
-  expect(tt.lessThan);
-  while (!match(tt.greaterThan) && !state.error) {
-    tsParseType();
-    eat(tt.comma);
-  }
-  if (!oldIsType) {
-    // If the type arguments are present in an expression context, e.g.
-    // f<number>(), then the > sign should be tokenized as a non-type token.
-    // In particular, f(a < b, c >= d) should parse the >= as a single token,
-    // resulting in a syntax error and fallback to the non-type-args
-    // interpretation. In the success case, even though the > is tokenized as a
-    // non-type token, it still must be marked as a type token so that it is
-    // erased.
-    popTypeContext(oldIsType);
-    rescan_gt();
-    expect(tt.greaterThan);
-    state.tokens[state.tokens.length - 1].isType = true;
-  } else {
-    expect(tt.greaterThan);
-    popTypeContext(oldIsType);
-  }
-}
-
-export function tsIsDeclarationStart() {
-  if (match(tt.name)) {
-    switch (state.contextualKeyword) {
-      case ContextualKeyword._abstract:
-      case ContextualKeyword._declare:
-      case ContextualKeyword._enum:
-      case ContextualKeyword._interface:
-      case ContextualKeyword._module:
-      case ContextualKeyword._namespace:
-      case ContextualKeyword._type:
-        return true;
-      default:
-        break;
-    }
-  }
-
-  return false;
-}
-
-// ======================================================
-// OVERRIDES
-// ======================================================
-
-export function tsParseFunctionBodyAndFinish(functionStart, funcContextId) {
-  // For arrow functions, `parseArrow` handles the return type itself.
-  if (match(tt.colon)) {
-    tsParseTypeOrTypePredicateAnnotation(tt.colon);
-  }
-
-  // The original code checked the node type to make sure this function type allows a missing
-  // body, but we skip that to avoid sending around the node type. We instead just use the
-  // allowExpressionBody boolean to make sure it's not an arrow function.
-  if (!match(tt.braceL) && isLineTerminator()) {
-    // Retroactively mark the function declaration as a type.
-    let i = state.tokens.length - 1;
-    while (
-      i >= 0 &&
-      (state.tokens[i].start >= functionStart ||
-        state.tokens[i].type === tt._default ||
-        state.tokens[i].type === tt._export)
-    ) {
-      state.tokens[i].isType = true;
-      i--;
-    }
-    return;
-  }
-
-  parseFunctionBody(false, funcContextId);
-}
-
-export function tsParseSubscript(
-  startTokenIndex,
-  noCalls,
-  stopState,
-) {
-  if (!hasPrecedingLineBreak() && eat(tt.bang)) {
-    state.tokens[state.tokens.length - 1].type = tt.nonNullAssertion;
-    return;
-  }
-
-  if (match(tt.lessThan) || match(tt.bitShiftL)) {
-    // There are number of things we are going to "maybe" parse, like type arguments on
-    // tagged template expressions. If any of them fail, walk it back and continue.
-    const snapshot = state.snapshot();
-
-    if (!noCalls && atPossibleAsync()) {
-      // Almost certainly this is a generic async function `async <T>() => ...
-      // But it might be a call with a type argument `async<T>();`
-      const asyncArrowFn = tsTryParseGenericAsyncArrowFunction();
-      if (asyncArrowFn) {
-        return;
-      }
-    }
-    tsParseTypeArgumentsWithPossibleBitshift();
-    if (!noCalls && eat(tt.parenL)) {
-      // With f<T>(), the subscriptStartIndex marker is on the ( token.
-      state.tokens[state.tokens.length - 1].subscriptStartIndex = startTokenIndex;
-      parseCallExpressionArguments();
-    } else if (match(tt.backQuote)) {
-      // Tagged template with a type argument.
-      parseTemplate();
-    } else if (
-      // The remaining possible case is an instantiation expression, e.g.
-      // Array<number> . Check for a few cases that would disqualify it and
-      // cause us to bail out.
-      // a<b>>c is not (a<b>)>c, but a<(b>>c)
-      state.type === tt.greaterThan ||
-      // a<b>c is (a<b)>c
-      (state.type !== tt.parenL &&
-        Boolean(state.type & TokenType.IS_EXPRESSION_START) &&
-        !hasPrecedingLineBreak())
-    ) {
-      // Bail out. We have something like a<b>c, which is not an expression with
-      // type arguments but an (a < b) > c comparison.
-      unexpected();
-    }
-
-    if (state.error) {
-      state.restoreFromSnapshot(snapshot);
-    } else {
-      return;
-    }
-  } else if (!noCalls && match(tt.questionDot) && lookaheadType() === tt.lessThan) {
-    // If we see f?.<, then this must be an optional call with a type argument.
-    next();
-    state.tokens[startTokenIndex].isOptionalChainStart = true;
-    // With f?.<T>(), the subscriptStartIndex marker is on the ?. token.
-    state.tokens[state.tokens.length - 1].subscriptStartIndex = startTokenIndex;
-
-    tsParseTypeArguments();
-    expect(tt.parenL);
-    parseCallExpressionArguments();
-  }
-  baseParseSubscript(startTokenIndex, noCalls, stopState);
-}
-
-export function tsTryParseExport() {
-  if (eat(tt._import)) {
-    // One of these cases:
-    // export import A = B;
-    // export import type A = require("A");
-    if (isContextual(ContextualKeyword._type) && lookaheadType() !== tt.eq) {
-      // Eat a `type` token, unless it's actually an identifier name.
-      expectContextual(ContextualKeyword._type);
-    }
-    tsParseImportEqualsDeclaration();
-    return true;
-  } else if (eat(tt.eq)) {
-    // `export = x;`
-    parseExpression();
-    semicolon();
-    return true;
-  } else if (eatContextual(ContextualKeyword._as)) {
-    // `export as namespace A;`
-    // See `parseNamespaceExportDeclaration` in TypeScript's own parser
-    expectContextual(ContextualKeyword._namespace);
-    parseIdentifier();
-    semicolon();
-    return true;
-  } else {
-    if (isContextual(ContextualKeyword._type)) {
-      const nextType = lookaheadType();
-      // export type {foo} from 'a';
-      // export type * from 'a';'
-      // export type * as ns from 'a';'
-      if (nextType === tt.braceL || nextType === tt.star) {
-        next();
-      }
-    }
-    return false;
-  }
-}
-
-/**
- * Parse a TS import specifier, which may be prefixed with "type" and may be of
- * the form `foo as bar`.
- *
- * The number of identifier-like tokens we see happens to be enough to uniquely
- * identify the form, so simply count the number of identifiers rather than
- * matching the words `type` or `as`. This is particularly important because
- * `type` and `as` could each actually be plain identifiers rather than
- * keywords.
- */
-export function tsParseImportSpecifier() {
-  parseIdentifier();
-  if (match(tt.comma) || match(tt.braceR)) {
-    // import {foo}
-    state.tokens[state.tokens.length - 1].identifierRole = IdentifierRole.ImportDeclaration;
-    return;
-  }
-  parseIdentifier();
-  if (match(tt.comma) || match(tt.braceR)) {
-    // import {type foo}
-    state.tokens[state.tokens.length - 1].identifierRole = IdentifierRole.ImportDeclaration;
-    state.tokens[state.tokens.length - 2].isType = true;
-    state.tokens[state.tokens.length - 1].isType = true;
-    return;
-  }
-  parseIdentifier();
-  if (match(tt.comma) || match(tt.braceR)) {
-    // import {foo as bar}
-    state.tokens[state.tokens.length - 3].identifierRole = IdentifierRole.ImportAccess;
-    state.tokens[state.tokens.length - 1].identifierRole = IdentifierRole.ImportDeclaration;
-    return;
-  }
-  parseIdentifier();
-  // import {type foo as bar}
-  state.tokens[state.tokens.length - 3].identifierRole = IdentifierRole.ImportAccess;
-  state.tokens[state.tokens.length - 1].identifierRole = IdentifierRole.ImportDeclaration;
-  state.tokens[state.tokens.length - 4].isType = true;
-  state.tokens[state.tokens.length - 3].isType = true;
-  state.tokens[state.tokens.length - 2].isType = true;
-  state.tokens[state.tokens.length - 1].isType = true;
-}
-
-/**
- * Just like named import specifiers, export specifiers can have from 1 to 4
- * tokens, inclusive, and the number of tokens determines the role of each token.
- */
-export function tsParseExportSpecifier() {
-  parseIdentifier();
-  if (match(tt.comma) || match(tt.braceR)) {
-    // export {foo}
-    state.tokens[state.tokens.length - 1].identifierRole = IdentifierRole.ExportAccess;
-    return;
-  }
-  parseIdentifier();
-  if (match(tt.comma) || match(tt.braceR)) {
-    // export {type foo}
-    state.tokens[state.tokens.length - 1].identifierRole = IdentifierRole.ExportAccess;
-    state.tokens[state.tokens.length - 2].isType = true;
-    state.tokens[state.tokens.length - 1].isType = true;
-    return;
-  }
-  parseIdentifier();
-  if (match(tt.comma) || match(tt.braceR)) {
-    // export {foo as bar}
-    state.tokens[state.tokens.length - 3].identifierRole = IdentifierRole.ExportAccess;
-    return;
-  }
-  parseIdentifier();
-  // export {type foo as bar}
-  state.tokens[state.tokens.length - 3].identifierRole = IdentifierRole.ExportAccess;
-  state.tokens[state.tokens.length - 4].isType = true;
-  state.tokens[state.tokens.length - 3].isType = true;
-  state.tokens[state.tokens.length - 2].isType = true;
-  state.tokens[state.tokens.length - 1].isType = true;
-}
-
-export function tsTryParseExportDefaultExpression() {
-  if (isContextual(ContextualKeyword._abstract) && lookaheadType() === tt._class) {
-    state.type = tt._abstract;
-    next(); // Skip "abstract"
-    parseClass(true, true);
-    return true;
-  }
-  if (isContextual(ContextualKeyword._interface)) {
-    // Make sure "export default" are considered type tokens so the whole thing is removed.
-    const oldIsType = pushTypeContext(2);
-    tsParseDeclaration(ContextualKeyword._interface, true);
-    popTypeContext(oldIsType);
-    return true;
-  }
-  return false;
-}
-
-export function tsTryParseStatementContent() {
-  if (state.type === tt._const) {
-    const ahead = lookaheadTypeAndKeyword();
-    if (ahead.type === tt.name && ahead.contextualKeyword === ContextualKeyword._enum) {
-      expect(tt._const);
-      expectContextual(ContextualKeyword._enum);
-      state.tokens[state.tokens.length - 1].type = tt._enum;
-      tsParseEnumDeclaration();
-      return true;
-    }
-  }
-  return false;
-}
-
-export function tsTryParseClassMemberWithIsStatic(isStatic) {
-  const memberStartIndexAfterStatic = state.tokens.length;
-  tsParseModifiers([
-    ContextualKeyword._abstract,
-    ContextualKeyword._readonly,
-    ContextualKeyword._declare,
-    ContextualKeyword._static,
-    ContextualKeyword._override,
-  ]);
-
-  const modifiersEndIndex = state.tokens.length;
-  const found = tsTryParseIndexSignature();
-  if (found) {
-    // Index signatures are type declarations, so set the modifier tokens as
-    // type tokens. Most tokens could be assumed to be type tokens, but `static`
-    // is ambiguous unless we set it explicitly here.
-    const memberStartIndex = isStatic
-      ? memberStartIndexAfterStatic - 1
-      : memberStartIndexAfterStatic;
-    for (let i = memberStartIndex; i < modifiersEndIndex; i++) {
-      state.tokens[i].isType = true;
-    }
-    return true;
-  }
-  return false;
-}
-
-// Note: The reason we do this in `parseIdentifierStatement` and not `parseStatement`
-// is that e.g. `type()` is valid JS, so we must try parsing that first.
-// If it's really a type, we will parse `type` as the statement, and can correct it here
-// by parsing the rest.
-export function tsParseIdentifierStatement(contextualKeyword) {
-  const matched = tsParseExpressionStatement(contextualKeyword);
-  if (!matched) {
-    semicolon();
-  }
-}
-
-export function tsParseExportDeclaration() {
-  // "export declare" is equivalent to just "export".
-  const isDeclare = eatContextual(ContextualKeyword._declare);
-  if (isDeclare) {
-    state.tokens[state.tokens.length - 1].type = tt._declare;
-  }
-
-  let matchedDeclaration = false;
-  if (match(tt.name)) {
-    if (isDeclare) {
-      const oldIsType = pushTypeContext(2);
-      matchedDeclaration = tsTryParseExportDeclaration();
-      popTypeContext(oldIsType);
-    } else {
-      matchedDeclaration = tsTryParseExportDeclaration();
-    }
-  }
-  if (!matchedDeclaration) {
-    if (isDeclare) {
-      const oldIsType = pushTypeContext(2);
-      parseStatement(true);
-      popTypeContext(oldIsType);
-    } else {
-      parseStatement(true);
-    }
-  }
-}
-
-export function tsAfterParseClassSuper(hasSuper) {
-  if (hasSuper && (match(tt.lessThan) || match(tt.bitShiftL))) {
-    tsParseTypeArgumentsWithPossibleBitshift();
-  }
-  if (eatContextual(ContextualKeyword._implements)) {
-    state.tokens[state.tokens.length - 1].type = tt._implements;
-    const oldIsType = pushTypeContext(1);
-    tsParseHeritageClause();
-    popTypeContext(oldIsType);
-  }
-}
-
-export function tsStartParseObjPropValue() {
-  tsTryParseTypeParameters();
-}
-
-export function tsStartParseFunctionParams() {
-  tsTryParseTypeParameters();
-}
-
-// `let x: number;`
-export function tsAfterParseVarHead() {
-  const oldIsType = pushTypeContext(0);
-  if (!hasPrecedingLineBreak()) {
-    eat(tt.bang);
-  }
-  tsTryParseTypeAnnotation();
-  popTypeContext(oldIsType);
-}
-
-// parse the return type of an async arrow function - let foo = (async (): number => {});
-export function tsStartParseAsyncArrowFromCallExpression() {
-  if (match(tt.colon)) {
-    tsParseTypeAnnotation();
-  }
-}
-
-// Returns true if the expression was an arrow function.
-export function tsParseMaybeAssign(noIn, isWithinParens) {
-  // Note: When the JSX plugin is on, type assertions (`<T> x`) aren't valid syntax.
-  if (isJSXEnabled) {
-    return tsParseMaybeAssignWithJSX(noIn, isWithinParens);
-  } else {
-    return tsParseMaybeAssignWithoutJSX(noIn, isWithinParens);
-  }
-}
-
-export function tsParseMaybeAssignWithJSX(noIn, isWithinParens) {
-  if (!match(tt.lessThan)) {
-    return baseParseMaybeAssign(noIn, isWithinParens);
-  }
-
-  // Prefer to parse JSX if possible. But may be an arrow fn.
-  const snapshot = state.snapshot();
-  let wasArrow = baseParseMaybeAssign(noIn, isWithinParens);
-  if (state.error) {
-    state.restoreFromSnapshot(snapshot);
-  } else {
-    return wasArrow;
-  }
-
-  // Otherwise, try as type-parameterized arrow function.
-  state.type = tt.typeParameterStart;
-  // This is similar to TypeScript's `tryParseParenthesizedArrowFunctionExpression`.
-  tsParseTypeParameters();
-  wasArrow = baseParseMaybeAssign(noIn, isWithinParens);
-  if (!wasArrow) {
-    unexpected();
-  }
-
-  return wasArrow;
-}
-
-export function tsParseMaybeAssignWithoutJSX(noIn, isWithinParens) {
-  if (!match(tt.lessThan)) {
-    return baseParseMaybeAssign(noIn, isWithinParens);
-  }
-
-  const snapshot = state.snapshot();
-  // This is similar to TypeScript's `tryParseParenthesizedArrowFunctionExpression`.
-  tsParseTypeParameters();
-  const wasArrow = baseParseMaybeAssign(noIn, isWithinParens);
-  if (!wasArrow) {
-    unexpected();
-  }
-  if (state.error) {
-    state.restoreFromSnapshot(snapshot);
-  } else {
-    return wasArrow;
-  }
-
-  // Try parsing a type cast instead of an arrow function.
-  // This will start with a type assertion (via parseMaybeUnary).
-  // But don't directly call `tsParseTypeAssertion` because we want to handle any binary after it.
-  return baseParseMaybeAssign(noIn, isWithinParens);
-}
-
-export function tsParseArrow() {
-  if (match(tt.colon)) {
-    // This is different from how the TS parser does it.
-    // TS uses lookahead. Babylon parses it as a parenthesized expression and converts.
-    const snapshot = state.snapshot();
-
-    tsParseTypeOrTypePredicateAnnotation(tt.colon);
-    if (canInsertSemicolon()) unexpected();
-    if (!match(tt.arrow)) unexpected();
-
-    if (state.error) {
-      state.restoreFromSnapshot(snapshot);
-    }
-  }
-  return eat(tt.arrow);
-}
-
-// Allow type annotations inside of a parameter list.
-export function tsParseAssignableListItemTypes() {
-  const oldIsType = pushTypeContext(0);
-  eat(tt.question);
-  tsTryParseTypeAnnotation();
-  popTypeContext(oldIsType);
-}
-
-export function tsParseMaybeDecoratorArguments() {
-  if (match(tt.lessThan) || match(tt.bitShiftL)) {
-    tsParseTypeArgumentsWithPossibleBitshift();
-  }
-  baseParseMaybeDecoratorArguments();
-}