Make BabelNode* types module-local within @babel/types (remove ambient globals) (#57866)

Summary:
Pull Request resolved: #57866

Now that all internal and OSS Babel types use explicitly imported types (see stack), modify our Babel type generator scripts and the generated lib defs so that they no longer declare global types.

This unblocks migrating to a modern `flowtyped` declaration and removing the `.flowconfig` coupling.

Changelog: [Internal]

Reviewed By: huntie

Differential Revision: D114881982

fbshipit-source-id: df29b8e22cf070f2e39c994f3a0856be4939fdc9

Author: robhogan

flow-typed/npm/babel-traverse_v7.x.x.js

@@ -15,6 +15,316 @@
 'use strict';
 
 declare module '@babel/traverse' {
+  // BEGIN GENERATED BABEL TYPE IMPORTS
+  import type {
+    Node as BabelNode,
+    Accessor as BabelNodeAccessor,
+    AnyTypeAnnotation as BabelNodeAnyTypeAnnotation,
+    ArgumentPlaceholder as BabelNodeArgumentPlaceholder,
+    ArrayExpression as BabelNodeArrayExpression,
+    ArrayPattern as BabelNodeArrayPattern,
+    ArrayTypeAnnotation as BabelNodeArrayTypeAnnotation,
+    ArrowFunctionExpression as BabelNodeArrowFunctionExpression,
+    AssignmentExpression as BabelNodeAssignmentExpression,
+    AssignmentPattern as BabelNodeAssignmentPattern,
+    AwaitExpression as BabelNodeAwaitExpression,
+    BigIntLiteral as BabelNodeBigIntLiteral,
+    Binary as BabelNodeBinary,
+    BinaryExpression as BabelNodeBinaryExpression,
+    BindExpression as BabelNodeBindExpression,
+    Block as BabelNodeBlock,
+    BlockParent as BabelNodeBlockParent,
+    BlockStatement as BabelNodeBlockStatement,
+    BooleanLiteral as BabelNodeBooleanLiteral,
+    BooleanLiteralTypeAnnotation as BabelNodeBooleanLiteralTypeAnnotation,
+    BooleanTypeAnnotation as BabelNodeBooleanTypeAnnotation,
+    BreakStatement as BabelNodeBreakStatement,
+    CallExpression as BabelNodeCallExpression,
+    CatchClause as BabelNodeCatchClause,
+    Class as BabelNodeClass,
+    ClassAccessorProperty as BabelNodeClassAccessorProperty,
+    ClassBody as BabelNodeClassBody,
+    ClassDeclaration as BabelNodeClassDeclaration,
+    ClassExpression as BabelNodeClassExpression,
+    ClassImplements as BabelNodeClassImplements,
+    ClassMethod as BabelNodeClassMethod,
+    ClassPrivateMethod as BabelNodeClassPrivateMethod,
+    ClassPrivateProperty as BabelNodeClassPrivateProperty,
+    ClassProperty as BabelNodeClassProperty,
+    Comment as BabelNodeComment,
+    CompletionStatement as BabelNodeCompletionStatement,
+    Conditional as BabelNodeConditional,
+    ConditionalExpression as BabelNodeConditionalExpression,
+    ContinueStatement as BabelNodeContinueStatement,
+    DebuggerStatement as BabelNodeDebuggerStatement,
+    DecimalLiteral as BabelNodeDecimalLiteral,
+    Declaration as BabelNodeDeclaration,
+    DeclareClass as BabelNodeDeclareClass,
+    DeclareExportAllDeclaration as BabelNodeDeclareExportAllDeclaration,
+    DeclareExportDeclaration as BabelNodeDeclareExportDeclaration,
+    DeclareFunction as BabelNodeDeclareFunction,
+    DeclareInterface as BabelNodeDeclareInterface,
+    DeclareModule as BabelNodeDeclareModule,
+    DeclareModuleExports as BabelNodeDeclareModuleExports,
+    DeclareOpaqueType as BabelNodeDeclareOpaqueType,
+    DeclareTypeAlias as BabelNodeDeclareTypeAlias,
+    DeclareVariable as BabelNodeDeclareVariable,
+    DeclaredPredicate as BabelNodeDeclaredPredicate,
+    Decorator as BabelNodeDecorator,
+    Directive as BabelNodeDirective,
+    DirectiveLiteral as BabelNodeDirectiveLiteral,
+    DoExpression as BabelNodeDoExpression,
+    DoWhileStatement as BabelNodeDoWhileStatement,
+    EmptyStatement as BabelNodeEmptyStatement,
+    EmptyTypeAnnotation as BabelNodeEmptyTypeAnnotation,
+    EnumBody as BabelNodeEnumBody,
+    EnumBooleanBody as BabelNodeEnumBooleanBody,
+    EnumBooleanMember as BabelNodeEnumBooleanMember,
+    EnumDeclaration as BabelNodeEnumDeclaration,
+    EnumDefaultedMember as BabelNodeEnumDefaultedMember,
+    EnumMember as BabelNodeEnumMember,
+    EnumNumberBody as BabelNodeEnumNumberBody,
+    EnumNumberMember as BabelNodeEnumNumberMember,
+    EnumStringBody as BabelNodeEnumStringBody,
+    EnumStringMember as BabelNodeEnumStringMember,
+    EnumSymbolBody as BabelNodeEnumSymbolBody,
+    ExistsTypeAnnotation as BabelNodeExistsTypeAnnotation,
+    ExportAllDeclaration as BabelNodeExportAllDeclaration,
+    ExportDeclaration as BabelNodeExportDeclaration,
+    ExportDefaultDeclaration as BabelNodeExportDefaultDeclaration,
+    ExportDefaultSpecifier as BabelNodeExportDefaultSpecifier,
+    ExportNamedDeclaration as BabelNodeExportNamedDeclaration,
+    ExportNamespaceSpecifier as BabelNodeExportNamespaceSpecifier,
+    ExportSpecifier as BabelNodeExportSpecifier,
+    Expression as BabelNodeExpression,
+    ExpressionStatement as BabelNodeExpressionStatement,
+    ExpressionWrapper as BabelNodeExpressionWrapper,
+    Flow as BabelNodeFlow,
+    FlowBaseAnnotation as BabelNodeFlowBaseAnnotation,
+    FlowDeclaration as BabelNodeFlowDeclaration,
+    FlowPredicate as BabelNodeFlowPredicate,
+    FlowType as BabelNodeFlowType,
+    For as BabelNodeFor,
+    ForInStatement as BabelNodeForInStatement,
+    ForOfStatement as BabelNodeForOfStatement,
+    ForStatement as BabelNodeForStatement,
+    ForXStatement as BabelNodeForXStatement,
+    Function as BabelNodeFunction,
+    FunctionDeclaration as BabelNodeFunctionDeclaration,
+    FunctionExpression as BabelNodeFunctionExpression,
+    FunctionParameter as BabelNodeFunctionParameter,
+    FunctionParent as BabelNodeFunctionParent,
+    FunctionTypeAnnotation as BabelNodeFunctionTypeAnnotation,
+    FunctionTypeParam as BabelNodeFunctionTypeParam,
+    GenericTypeAnnotation as BabelNodeGenericTypeAnnotation,
+    Identifier as BabelNodeIdentifier,
+    IfStatement as BabelNodeIfStatement,
+    Immutable as BabelNodeImmutable,
+    Import as BabelNodeImport,
+    ImportAttribute as BabelNodeImportAttribute,
+    ImportDeclaration as BabelNodeImportDeclaration,
+    ImportDefaultSpecifier as BabelNodeImportDefaultSpecifier,
+    ImportExpression as BabelNodeImportExpression,
+    ImportNamespaceSpecifier as BabelNodeImportNamespaceSpecifier,
+    ImportOrExportDeclaration as BabelNodeImportOrExportDeclaration,
+    ImportSpecifier as BabelNodeImportSpecifier,
+    IndexedAccessType as BabelNodeIndexedAccessType,
+    InferredPredicate as BabelNodeInferredPredicate,
+    InterfaceDeclaration as BabelNodeInterfaceDeclaration,
+    InterfaceExtends as BabelNodeInterfaceExtends,
+    InterfaceTypeAnnotation as BabelNodeInterfaceTypeAnnotation,
+    InterpreterDirective as BabelNodeInterpreterDirective,
+    IntersectionTypeAnnotation as BabelNodeIntersectionTypeAnnotation,
+    JSX as BabelNodeJSX,
+    JSXAttribute as BabelNodeJSXAttribute,
+    JSXClosingElement as BabelNodeJSXClosingElement,
+    JSXClosingFragment as BabelNodeJSXClosingFragment,
+    JSXElement as BabelNodeJSXElement,
+    JSXEmptyExpression as BabelNodeJSXEmptyExpression,
+    JSXExpressionContainer as BabelNodeJSXExpressionContainer,
+    JSXFragment as BabelNodeJSXFragment,
+    JSXIdentifier as BabelNodeJSXIdentifier,
+    JSXMemberExpression as BabelNodeJSXMemberExpression,
+    JSXNamespacedName as BabelNodeJSXNamespacedName,
+    JSXOpeningElement as BabelNodeJSXOpeningElement,
+    JSXOpeningFragment as BabelNodeJSXOpeningFragment,
+    JSXSpreadAttribute as BabelNodeJSXSpreadAttribute,
+    JSXSpreadChild as BabelNodeJSXSpreadChild,
+    JSXText as BabelNodeJSXText,
+    LVal as BabelNodeLVal,
+    LabeledStatement as BabelNodeLabeledStatement,
+    Literal as BabelNodeLiteral,
+    LogicalExpression as BabelNodeLogicalExpression,
+    Loop as BabelNodeLoop,
+    MemberExpression as BabelNodeMemberExpression,
+    MetaProperty as BabelNodeMetaProperty,
+    Method as BabelNodeMethod,
+    Miscellaneous as BabelNodeMiscellaneous,
+    MixedTypeAnnotation as BabelNodeMixedTypeAnnotation,
+    ModuleDeclaration as BabelNodeModuleDeclaration,
+    ModuleExpression as BabelNodeModuleExpression,
+    ModuleSpecifier as BabelNodeModuleSpecifier,
+    NewExpression as BabelNodeNewExpression,
+    Noop as BabelNodeNoop,
+    NullLiteral as BabelNodeNullLiteral,
+    NullLiteralTypeAnnotation as BabelNodeNullLiteralTypeAnnotation,
+    NullableTypeAnnotation as BabelNodeNullableTypeAnnotation,
+    NumberLiteralTypeAnnotation as BabelNodeNumberLiteralTypeAnnotation,
+    NumberTypeAnnotation as BabelNodeNumberTypeAnnotation,
+    NumericLiteral as BabelNodeNumericLiteral,
+    ObjectExpression as BabelNodeObjectExpression,
+    ObjectMember as BabelNodeObjectMember,
+    ObjectMethod as BabelNodeObjectMethod,
+    ObjectPattern as BabelNodeObjectPattern,
+    ObjectProperty as BabelNodeObjectProperty,
+    ObjectTypeAnnotation as BabelNodeObjectTypeAnnotation,
+    ObjectTypeCallProperty as BabelNodeObjectTypeCallProperty,
+    ObjectTypeIndexer as BabelNodeObjectTypeIndexer,
+    ObjectTypeInternalSlot as BabelNodeObjectTypeInternalSlot,
+    ObjectTypeProperty as BabelNodeObjectTypeProperty,
+    ObjectTypeSpreadProperty as BabelNodeObjectTypeSpreadProperty,
+    OpaqueType as BabelNodeOpaqueType,
+    OptionalCallExpression as BabelNodeOptionalCallExpression,
+    OptionalIndexedAccessType as BabelNodeOptionalIndexedAccessType,
+    OptionalMemberExpression as BabelNodeOptionalMemberExpression,
+    ParenthesizedExpression as BabelNodeParenthesizedExpression,
+    Pattern as BabelNodePattern,
+    PatternLike as BabelNodePatternLike,
+    PipelineBareFunction as BabelNodePipelineBareFunction,
+    PipelinePrimaryTopicReference as BabelNodePipelinePrimaryTopicReference,
+    PipelineTopicExpression as BabelNodePipelineTopicExpression,
+    Placeholder as BabelNodePlaceholder,
+    Private as BabelNodePrivate,
+    PrivateName as BabelNodePrivateName,
+    Program as BabelNodeProgram,
+    Property as BabelNodeProperty,
+    Pureish as BabelNodePureish,
+    QualifiedTypeIdentifier as BabelNodeQualifiedTypeIdentifier,
+    RecordExpression as BabelNodeRecordExpression,
+    RegExpLiteral as BabelNodeRegExpLiteral,
+    RestElement as BabelNodeRestElement,
+    ReturnStatement as BabelNodeReturnStatement,
+    Scopable as BabelNodeScopable,
+    SequenceExpression as BabelNodeSequenceExpression,
+    SpreadElement as BabelNodeSpreadElement,
+    Standardized as BabelNodeStandardized,
+    Statement as BabelNodeStatement,
+    StaticBlock as BabelNodeStaticBlock,
+    StringLiteral as BabelNodeStringLiteral,
+    StringLiteralTypeAnnotation as BabelNodeStringLiteralTypeAnnotation,
+    StringTypeAnnotation as BabelNodeStringTypeAnnotation,
+    Super as BabelNodeSuper,
+    SwitchCase as BabelNodeSwitchCase,
+    SwitchStatement as BabelNodeSwitchStatement,
+    SymbolTypeAnnotation as BabelNodeSymbolTypeAnnotation,
+    TSAnyKeyword as BabelNodeTSAnyKeyword,
+    TSArrayType as BabelNodeTSArrayType,
+    TSAsExpression as BabelNodeTSAsExpression,
+    TSBaseType as BabelNodeTSBaseType,
+    TSBigIntKeyword as BabelNodeTSBigIntKeyword,
+    TSBooleanKeyword as BabelNodeTSBooleanKeyword,
+    TSCallSignatureDeclaration as BabelNodeTSCallSignatureDeclaration,
+    TSConditionalType as BabelNodeTSConditionalType,
+    TSConstructSignatureDeclaration as BabelNodeTSConstructSignatureDeclaration,
+    TSConstructorType as BabelNodeTSConstructorType,
+    TSDeclareFunction as BabelNodeTSDeclareFunction,
+    TSDeclareMethod as BabelNodeTSDeclareMethod,
+    TSEntityName as BabelNodeTSEntityName,
+    TSEnumBody as BabelNodeTSEnumBody,
+    TSEnumDeclaration as BabelNodeTSEnumDeclaration,
+    TSEnumMember as BabelNodeTSEnumMember,
+    TSExportAssignment as BabelNodeTSExportAssignment,
+    TSExpressionWithTypeArguments as BabelNodeTSExpressionWithTypeArguments,
+    TSExternalModuleReference as BabelNodeTSExternalModuleReference,
+    TSFunctionType as BabelNodeTSFunctionType,
+    TSImportEqualsDeclaration as BabelNodeTSImportEqualsDeclaration,
+    TSImportType as BabelNodeTSImportType,
+    TSIndexSignature as BabelNodeTSIndexSignature,
+    TSIndexedAccessType as BabelNodeTSIndexedAccessType,
+    TSInferType as BabelNodeTSInferType,
+    TSInstantiationExpression as BabelNodeTSInstantiationExpression,
+    TSInterfaceBody as BabelNodeTSInterfaceBody,
+    TSInterfaceDeclaration as BabelNodeTSInterfaceDeclaration,
+    TSIntersectionType as BabelNodeTSIntersectionType,
+    TSIntrinsicKeyword as BabelNodeTSIntrinsicKeyword,
+    TSLiteralType as BabelNodeTSLiteralType,
+    TSMappedType as BabelNodeTSMappedType,
+    TSMethodSignature as BabelNodeTSMethodSignature,
+    TSModuleBlock as BabelNodeTSModuleBlock,
+    TSModuleDeclaration as BabelNodeTSModuleDeclaration,
+    TSNamedTupleMember as BabelNodeTSNamedTupleMember,
+    TSNamespaceExportDeclaration as BabelNodeTSNamespaceExportDeclaration,
+    TSNeverKeyword as BabelNodeTSNeverKeyword,
+    TSNonNullExpression as BabelNodeTSNonNullExpression,
+    TSNullKeyword as BabelNodeTSNullKeyword,
+    TSNumberKeyword as BabelNodeTSNumberKeyword,
+    TSObjectKeyword as BabelNodeTSObjectKeyword,
+    TSOptionalType as BabelNodeTSOptionalType,
+    TSParameterProperty as BabelNodeTSParameterProperty,
+    TSParenthesizedType as BabelNodeTSParenthesizedType,
+    TSPropertySignature as BabelNodeTSPropertySignature,
+    TSQualifiedName as BabelNodeTSQualifiedName,
+    TSRestType as BabelNodeTSRestType,
+    TSSatisfiesExpression as BabelNodeTSSatisfiesExpression,
+    TSStringKeyword as BabelNodeTSStringKeyword,
+    TSSymbolKeyword as BabelNodeTSSymbolKeyword,
+    TSTemplateLiteralType as BabelNodeTSTemplateLiteralType,
+    TSThisType as BabelNodeTSThisType,
+    TSTupleType as BabelNodeTSTupleType,
+    TSType as BabelNodeTSType,
+    TSTypeAliasDeclaration as BabelNodeTSTypeAliasDeclaration,
+    TSTypeAnnotation as BabelNodeTSTypeAnnotation,
+    TSTypeAssertion as BabelNodeTSTypeAssertion,
+    TSTypeElement as BabelNodeTSTypeElement,
+    TSTypeLiteral as BabelNodeTSTypeLiteral,
+    TSTypeOperator as BabelNodeTSTypeOperator,
+    TSTypeParameter as BabelNodeTSTypeParameter,
+    TSTypeParameterDeclaration as BabelNodeTSTypeParameterDeclaration,
+    TSTypeParameterInstantiation as BabelNodeTSTypeParameterInstantiation,
+    TSTypePredicate as BabelNodeTSTypePredicate,
+    TSTypeQuery as BabelNodeTSTypeQuery,
+    TSTypeReference as BabelNodeTSTypeReference,
+    TSUndefinedKeyword as BabelNodeTSUndefinedKeyword,
+    TSUnionType as BabelNodeTSUnionType,
+    TSUnknownKeyword as BabelNodeTSUnknownKeyword,
+    TSVoidKeyword as BabelNodeTSVoidKeyword,
+    TaggedTemplateExpression as BabelNodeTaggedTemplateExpression,
+    TemplateElement as BabelNodeTemplateElement,
+    TemplateLiteral as BabelNodeTemplateLiteral,
+    Terminatorless as BabelNodeTerminatorless,
+    ThisExpression as BabelNodeThisExpression,
+    ThisTypeAnnotation as BabelNodeThisTypeAnnotation,
+    ThrowStatement as BabelNodeThrowStatement,
+    TopicReference as BabelNodeTopicReference,
+    TryStatement as BabelNodeTryStatement,
+    TupleExpression as BabelNodeTupleExpression,
+    TupleTypeAnnotation as BabelNodeTupleTypeAnnotation,
+    TypeAlias as BabelNodeTypeAlias,
+    TypeAnnotation as BabelNodeTypeAnnotation,
+    TypeCastExpression as BabelNodeTypeCastExpression,
+    TypeParameter as BabelNodeTypeParameter,
+    TypeParameterDeclaration as BabelNodeTypeParameterDeclaration,
+    TypeParameterInstantiation as BabelNodeTypeParameterInstantiation,
+    TypeScript as BabelNodeTypeScript,
+    TypeofTypeAnnotation as BabelNodeTypeofTypeAnnotation,
+    UnaryExpression as BabelNodeUnaryExpression,
+    UnaryLike as BabelNodeUnaryLike,
+    UnionTypeAnnotation as BabelNodeUnionTypeAnnotation,
+    UpdateExpression as BabelNodeUpdateExpression,
+    UserWhitespacable as BabelNodeUserWhitespacable,
+    V8IntrinsicIdentifier as BabelNodeV8IntrinsicIdentifier,
+    VariableDeclaration as BabelNodeVariableDeclaration,
+    VariableDeclarator as BabelNodeVariableDeclarator,
+    Variance as BabelNodeVariance,
+    VoidPattern as BabelNodeVoidPattern,
+    VoidTypeAnnotation as BabelNodeVoidTypeAnnotation,
+    While as BabelNodeWhile,
+    WhileStatement as BabelNodeWhileStatement,
+    WithStatement as BabelNodeWithStatement,
+    YieldExpression as BabelNodeYieldExpression,
+  } from '@babel/types';
+  // END GENERATED BABEL TYPE IMPORTS
+
   declare export type TraverseOptions<TState> = {
     ...Visitor<TState>,
     scope?: Scope,