hermes-estree 0.32.0 → 0.33.0

package/dist/generated/HermesESTreeSelectorTypes.js.flow

@@ -139,6 +139,8 @@ import type {
   MatchExpression,
   MatchExpressionCase,
   MatchIdentifierPattern,
+  MatchInstanceObjectPattern,
+  MatchInstancePattern,
   MatchLiteralPattern,
   MatchMemberPattern,
   MatchObjectPattern,
@@ -153,6 +155,7 @@ import type {
   MetaProperty,
   MethodDefinition,
   MixedTypeAnnotation,
+  NeverTypeAnnotation,
   NewExpression,
   NullableTypeAnnotation,
   NullLiteralTypeAnnotation,
@@ -175,6 +178,13 @@ import type {
   PropertyDefinition,
   QualifiedTypeIdentifier,
   QualifiedTypeofIdentifier,
+  RecordDeclaration,
+  RecordDeclarationBody,
+  RecordDeclarationImplements,
+  RecordDeclarationProperty,
+  RecordDeclarationStaticProperty,
+  RecordExpression,
+  RecordExpressionProperties,
   RestElement,
   ReturnStatement,
   SequenceExpression,
@@ -206,7 +216,9 @@ import type {
   TypeParameterInstantiation,
   TypePredicate,
   UnaryExpression,
+  UndefinedTypeAnnotation,
   UnionTypeAnnotation,
+  UnknownTypeAnnotation,
   UpdateExpression,
   VariableDeclaration,
   VariableDeclarator,
@@ -233,9 +245,6 @@ interface ArrayPattern_With_typeAnnotation extends ArrayPattern {
 interface ArrayTypeAnnotation_With_elementType extends ArrayTypeAnnotation {
   +elementType: $NonMaybeType<ArrayTypeAnnotation['elementType']>;
 }
-interface ArrowFunctionExpression_With_id extends ArrowFunctionExpression {
-  +id: $NonMaybeType<ArrowFunctionExpression['id']>;
-}
 interface ArrowFunctionExpression_With_params extends ArrowFunctionExpression {
   +params: $NonMaybeType<ArrowFunctionExpression['params']>;
 }
@@ -348,8 +357,8 @@ interface ClassDeclaration_With_typeParameters extends ClassDeclaration {
 interface ClassDeclaration_With_superClass extends ClassDeclaration {
   +superClass: $NonMaybeType<ClassDeclaration['superClass']>;
 }
-interface ClassDeclaration_With_superTypeParameters extends ClassDeclaration {
-  +superTypeParameters: $NonMaybeType<ClassDeclaration['superTypeParameters']>;
+interface ClassDeclaration_With_superTypeArguments extends ClassDeclaration {
+  +superTypeArguments: $NonMaybeType<ClassDeclaration['superTypeArguments']>;
 }
 interface ClassDeclaration_With_implements extends ClassDeclaration {
   +implements: $NonMaybeType<ClassDeclaration['implements']>;
@@ -369,8 +378,8 @@ interface ClassExpression_With_typeParameters extends ClassExpression {
 interface ClassExpression_With_superClass extends ClassExpression {
   +superClass: $NonMaybeType<ClassExpression['superClass']>;
 }
-interface ClassExpression_With_superTypeParameters extends ClassExpression {
-  +superTypeParameters: $NonMaybeType<ClassExpression['superTypeParameters']>;
+interface ClassExpression_With_superTypeArguments extends ClassExpression {
+  +superTypeArguments: $NonMaybeType<ClassExpression['superTypeArguments']>;
 }
 interface ClassExpression_With_implements extends ClassExpression {
   +implements: $NonMaybeType<ClassExpression['implements']>;
@@ -1077,6 +1086,21 @@ interface MatchExpressionCase_With_guard extends MatchExpressionCase {
 interface MatchIdentifierPattern_With_id extends MatchIdentifierPattern {
   +id: $NonMaybeType<MatchIdentifierPattern['id']>;
 }
+interface MatchInstanceObjectPattern_With_properties
+  extends MatchInstanceObjectPattern {
+  +properties: $NonMaybeType<MatchInstanceObjectPattern['properties']>;
+}
+interface MatchInstanceObjectPattern_With_rest
+  extends MatchInstanceObjectPattern {
+  +rest: $NonMaybeType<MatchInstanceObjectPattern['rest']>;
+}
+interface MatchInstancePattern_With_targetConstructor
+  extends MatchInstancePattern {
+  +targetConstructor: $NonMaybeType<MatchInstancePattern['targetConstructor']>;
+}
+interface MatchInstancePattern_With_properties extends MatchInstancePattern {
+  +properties: $NonMaybeType<MatchInstancePattern['properties']>;
+}
 interface MatchLiteralPattern_With_literal extends MatchLiteralPattern {
   +literal: $NonMaybeType<MatchLiteralPattern['literal']>;
 }
@@ -1389,6 +1413,67 @@ interface QualifiedTypeofIdentifier_With_qualification
 interface QualifiedTypeofIdentifier_With_id extends QualifiedTypeofIdentifier {
   +id: $NonMaybeType<QualifiedTypeofIdentifier['id']>;
 }
+interface RecordDeclaration_With_id extends RecordDeclaration {
+  +id: $NonMaybeType<RecordDeclaration['id']>;
+}
+interface RecordDeclaration_With_typeParameters extends RecordDeclaration {
+  +typeParameters: $NonMaybeType<RecordDeclaration['typeParameters']>;
+}
+interface RecordDeclaration_With_implements extends RecordDeclaration {
+  +implements: $NonMaybeType<RecordDeclaration['implements']>;
+}
+interface RecordDeclaration_With_body extends RecordDeclaration {
+  +body: $NonMaybeType<RecordDeclaration['body']>;
+}
+interface RecordDeclarationBody_With_elements extends RecordDeclarationBody {
+  +elements: $NonMaybeType<RecordDeclarationBody['elements']>;
+}
+interface RecordDeclarationImplements_With_id
+  extends RecordDeclarationImplements {
+  +id: $NonMaybeType<RecordDeclarationImplements['id']>;
+}
+interface RecordDeclarationImplements_With_typeArguments
+  extends RecordDeclarationImplements {
+  +typeArguments: $NonMaybeType<RecordDeclarationImplements['typeArguments']>;
+}
+interface RecordDeclarationProperty_With_key extends RecordDeclarationProperty {
+  +key: $NonMaybeType<RecordDeclarationProperty['key']>;
+}
+interface RecordDeclarationProperty_With_typeAnnotation
+  extends RecordDeclarationProperty {
+  +typeAnnotation: $NonMaybeType<RecordDeclarationProperty['typeAnnotation']>;
+}
+interface RecordDeclarationProperty_With_defaultValue
+  extends RecordDeclarationProperty {
+  +defaultValue: $NonMaybeType<RecordDeclarationProperty['defaultValue']>;
+}
+interface RecordDeclarationStaticProperty_With_key
+  extends RecordDeclarationStaticProperty {
+  +key: $NonMaybeType<RecordDeclarationStaticProperty['key']>;
+}
+interface RecordDeclarationStaticProperty_With_typeAnnotation
+  extends RecordDeclarationStaticProperty {
+  +typeAnnotation: $NonMaybeType<
+    RecordDeclarationStaticProperty['typeAnnotation'],
+  >;
+}
+interface RecordDeclarationStaticProperty_With_value
+  extends RecordDeclarationStaticProperty {
+  +value: $NonMaybeType<RecordDeclarationStaticProperty['value']>;
+}
+interface RecordExpression_With_recordConstructor extends RecordExpression {
+  +recordConstructor: $NonMaybeType<RecordExpression['recordConstructor']>;
+}
+interface RecordExpression_With_typeArguments extends RecordExpression {
+  +typeArguments: $NonMaybeType<RecordExpression['typeArguments']>;
+}
+interface RecordExpression_With_properties extends RecordExpression {
+  +properties: $NonMaybeType<RecordExpression['properties']>;
+}
+interface RecordExpressionProperties_With_properties
+  extends RecordExpressionProperties {
+  +properties: $NonMaybeType<RecordExpressionProperties['properties']>;
+}
 interface RestElement_With_argument extends RestElement {
   +argument: $NonMaybeType<RestElement['argument']>;
 }
@@ -1457,8 +1542,8 @@ interface TryStatement_With_handler extends TryStatement {
 interface TryStatement_With_finalizer extends TryStatement {
   +finalizer: $NonMaybeType<TryStatement['finalizer']>;
 }
-interface TupleTypeAnnotation_With_types extends TupleTypeAnnotation {
-  +types: $NonMaybeType<TupleTypeAnnotation['types']>;
+interface TupleTypeAnnotation_With_elementTypes extends TupleTypeAnnotation {
+  +elementTypes: $NonMaybeType<TupleTypeAnnotation['elementTypes']>;
 }
 interface TupleTypeAnnotation_With_inexact extends TupleTypeAnnotation {
   +inexact: $NonMaybeType<TupleTypeAnnotation['inexact']>;
@@ -1638,6 +1723,7 @@ type DeclarationSpecialSelector =
   | HookDeclaration
   | ImportDeclaration
   | InterfaceDeclaration
+  | RecordDeclaration
   | TypeParameterDeclaration
   | VariableDeclaration;
 type PatternSpecialSelector =
@@ -1647,6 +1733,8 @@ type PatternSpecialSelector =
   | MatchAsPattern
   | MatchBindingPattern
   | MatchIdentifierPattern
+  | MatchInstanceObjectPattern
+  | MatchInstancePattern
   | MatchLiteralPattern
   | MatchMemberPattern
   | MatchObjectPattern
@@ -1678,6 +1766,7 @@ type ExpressionSpecialSelector =
   | MemberExpression
   | NewExpression
   | ObjectExpression
+  | RecordExpression
   | SequenceExpression
   | TaggedTemplateExpression
   | ThisExpression
@@ -1708,9 +1797,6 @@ export type ESQueryNodeSelectorsWithoutFallback = {
     node: ArrayTypeAnnotation_With_elementType,
   ) => void,
   +ArrowFunctionExpression?: (node: ArrowFunctionExpression) => void,
-  +'ArrowFunctionExpression[id]'?: (
-    node: ArrowFunctionExpression_With_id,
-  ) => void,
   +'ArrowFunctionExpression[params]'?: (
     node: ArrowFunctionExpression_With_params,
   ) => void,
@@ -1803,8 +1889,8 @@ export type ESQueryNodeSelectorsWithoutFallback = {
   +'ClassDeclaration[superClass]'?: (
     node: ClassDeclaration_With_superClass,
   ) => void,
-  +'ClassDeclaration[superTypeParameters]'?: (
-    node: ClassDeclaration_With_superTypeParameters,
+  +'ClassDeclaration[superTypeArguments]'?: (
+    node: ClassDeclaration_With_superTypeArguments,
   ) => void,
   +'ClassDeclaration[implements]'?: (
     node: ClassDeclaration_With_implements,
@@ -1821,8 +1907,8 @@ export type ESQueryNodeSelectorsWithoutFallback = {
   +'ClassExpression[superClass]'?: (
     node: ClassExpression_With_superClass,
   ) => void,
-  +'ClassExpression[superTypeParameters]'?: (
-    node: ClassExpression_With_superTypeParameters,
+  +'ClassExpression[superTypeArguments]'?: (
+    node: ClassExpression_With_superTypeArguments,
   ) => void,
   +'ClassExpression[implements]'?: (
     node: ClassExpression_With_implements,
@@ -2380,6 +2466,20 @@ export type ESQueryNodeSelectorsWithoutFallback = {
   +'MatchIdentifierPattern[id]'?: (
     node: MatchIdentifierPattern_With_id,
   ) => void,
+  +MatchInstanceObjectPattern?: (node: MatchInstanceObjectPattern) => void,
+  +'MatchInstanceObjectPattern[properties]'?: (
+    node: MatchInstanceObjectPattern_With_properties,
+  ) => void,
+  +'MatchInstanceObjectPattern[rest]'?: (
+    node: MatchInstanceObjectPattern_With_rest,
+  ) => void,
+  +MatchInstancePattern?: (node: MatchInstancePattern) => void,
+  +'MatchInstancePattern[targetConstructor]'?: (
+    node: MatchInstancePattern_With_targetConstructor,
+  ) => void,
+  +'MatchInstancePattern[properties]'?: (
+    node: MatchInstancePattern_With_properties,
+  ) => void,
   +MatchLiteralPattern?: (node: MatchLiteralPattern) => void,
   +'MatchLiteralPattern[literal]'?: (
     node: MatchLiteralPattern_With_literal,
@@ -2447,6 +2547,7 @@ export type ESQueryNodeSelectorsWithoutFallback = {
   ) => void,
   +'MethodDefinition[static]'?: (node: MethodDefinition_With_static) => void,
   +MixedTypeAnnotation?: (node: MixedTypeAnnotation) => void,
+  +NeverTypeAnnotation?: (node: NeverTypeAnnotation) => void,
   +NewExpression?: (node: NewExpression) => void,
   +'NewExpression[callee]'?: (node: NewExpression_With_callee) => void,
   +'NewExpression[typeArguments]'?: (
@@ -2630,6 +2731,62 @@ export type ESQueryNodeSelectorsWithoutFallback = {
   +'QualifiedTypeofIdentifier[id]'?: (
     node: QualifiedTypeofIdentifier_With_id,
   ) => void,
+  +RecordDeclaration?: (node: RecordDeclaration) => void,
+  +'RecordDeclaration[id]'?: (node: RecordDeclaration_With_id) => void,
+  +'RecordDeclaration[typeParameters]'?: (
+    node: RecordDeclaration_With_typeParameters,
+  ) => void,
+  +'RecordDeclaration[implements]'?: (
+    node: RecordDeclaration_With_implements,
+  ) => void,
+  +'RecordDeclaration[body]'?: (node: RecordDeclaration_With_body) => void,
+  +RecordDeclarationBody?: (node: RecordDeclarationBody) => void,
+  +'RecordDeclarationBody[elements]'?: (
+    node: RecordDeclarationBody_With_elements,
+  ) => void,
+  +RecordDeclarationImplements?: (node: RecordDeclarationImplements) => void,
+  +'RecordDeclarationImplements[id]'?: (
+    node: RecordDeclarationImplements_With_id,
+  ) => void,
+  +'RecordDeclarationImplements[typeArguments]'?: (
+    node: RecordDeclarationImplements_With_typeArguments,
+  ) => void,
+  +RecordDeclarationProperty?: (node: RecordDeclarationProperty) => void,
+  +'RecordDeclarationProperty[key]'?: (
+    node: RecordDeclarationProperty_With_key,
+  ) => void,
+  +'RecordDeclarationProperty[typeAnnotation]'?: (
+    node: RecordDeclarationProperty_With_typeAnnotation,
+  ) => void,
+  +'RecordDeclarationProperty[defaultValue]'?: (
+    node: RecordDeclarationProperty_With_defaultValue,
+  ) => void,
+  +RecordDeclarationStaticProperty?: (
+    node: RecordDeclarationStaticProperty,
+  ) => void,
+  +'RecordDeclarationStaticProperty[key]'?: (
+    node: RecordDeclarationStaticProperty_With_key,
+  ) => void,
+  +'RecordDeclarationStaticProperty[typeAnnotation]'?: (
+    node: RecordDeclarationStaticProperty_With_typeAnnotation,
+  ) => void,
+  +'RecordDeclarationStaticProperty[value]'?: (
+    node: RecordDeclarationStaticProperty_With_value,
+  ) => void,
+  +RecordExpression?: (node: RecordExpression) => void,
+  +'RecordExpression[recordConstructor]'?: (
+    node: RecordExpression_With_recordConstructor,
+  ) => void,
+  +'RecordExpression[typeArguments]'?: (
+    node: RecordExpression_With_typeArguments,
+  ) => void,
+  +'RecordExpression[properties]'?: (
+    node: RecordExpression_With_properties,
+  ) => void,
+  +RecordExpressionProperties?: (node: RecordExpressionProperties) => void,
+  +'RecordExpressionProperties[properties]'?: (
+    node: RecordExpressionProperties_With_properties,
+  ) => void,
   +RestElement?: (node: RestElement) => void,
   +'RestElement[argument]'?: (node: RestElement_With_argument) => void,
   +ReturnStatement?: (node: ReturnStatement) => void,
@@ -2685,8 +2842,8 @@ export type ESQueryNodeSelectorsWithoutFallback = {
   +'TryStatement[handler]'?: (node: TryStatement_With_handler) => void,
   +'TryStatement[finalizer]'?: (node: TryStatement_With_finalizer) => void,
   +TupleTypeAnnotation?: (node: TupleTypeAnnotation) => void,
-  +'TupleTypeAnnotation[types]'?: (
-    node: TupleTypeAnnotation_With_types,
+  +'TupleTypeAnnotation[elementTypes]'?: (
+    node: TupleTypeAnnotation_With_elementTypes,
   ) => void,
   +'TupleTypeAnnotation[inexact]'?: (
     node: TupleTypeAnnotation_With_inexact,
@@ -2767,10 +2924,12 @@ export type ESQueryNodeSelectorsWithoutFallback = {
   +'UnaryExpression[operator]'?: (node: UnaryExpression_With_operator) => void,
   +'UnaryExpression[argument]'?: (node: UnaryExpression_With_argument) => void,
   +'UnaryExpression[prefix]'?: (node: UnaryExpression_With_prefix) => void,
+  +UndefinedTypeAnnotation?: (node: UndefinedTypeAnnotation) => void,
   +UnionTypeAnnotation?: (node: UnionTypeAnnotation) => void,
   +'UnionTypeAnnotation[types]'?: (
     node: UnionTypeAnnotation_With_types,
   ) => void,
+  +UnknownTypeAnnotation?: (node: UnknownTypeAnnotation) => void,
   +UpdateExpression?: (node: UpdateExpression) => void,
   +'UpdateExpression[operator]'?: (
     node: UpdateExpression_With_operator,
@@ -2824,9 +2983,6 @@ export type ESQueryNodeSelectorsWithoutFallback = {
     node: ArrayTypeAnnotation_With_elementType,
   ) => void,
   +'ArrowFunctionExpression:exit'?: (node: ArrowFunctionExpression) => void,
-  +'ArrowFunctionExpression[id]:exit'?: (
-    node: ArrowFunctionExpression_With_id,
-  ) => void,
   +'ArrowFunctionExpression[params]:exit'?: (
     node: ArrowFunctionExpression_With_params,
   ) => void,
@@ -2933,8 +3089,8 @@ export type ESQueryNodeSelectorsWithoutFallback = {
   +'ClassDeclaration[superClass]:exit'?: (
     node: ClassDeclaration_With_superClass,
   ) => void,
-  +'ClassDeclaration[superTypeParameters]:exit'?: (
-    node: ClassDeclaration_With_superTypeParameters,
+  +'ClassDeclaration[superTypeArguments]:exit'?: (
+    node: ClassDeclaration_With_superTypeArguments,
   ) => void,
   +'ClassDeclaration[implements]:exit'?: (
     node: ClassDeclaration_With_implements,
@@ -2951,8 +3107,8 @@ export type ESQueryNodeSelectorsWithoutFallback = {
   +'ClassExpression[superClass]:exit'?: (
     node: ClassExpression_With_superClass,
   ) => void,
-  +'ClassExpression[superTypeParameters]:exit'?: (
-    node: ClassExpression_With_superTypeParameters,
+  +'ClassExpression[superTypeArguments]:exit'?: (
+    node: ClassExpression_With_superTypeArguments,
   ) => void,
   +'ClassExpression[implements]:exit'?: (
     node: ClassExpression_With_implements,
@@ -3562,6 +3718,22 @@ export type ESQueryNodeSelectorsWithoutFallback = {
   +'MatchIdentifierPattern[id]:exit'?: (
     node: MatchIdentifierPattern_With_id,
   ) => void,
+  +'MatchInstanceObjectPattern:exit'?: (
+    node: MatchInstanceObjectPattern,
+  ) => void,
+  +'MatchInstanceObjectPattern[properties]:exit'?: (
+    node: MatchInstanceObjectPattern_With_properties,
+  ) => void,
+  +'MatchInstanceObjectPattern[rest]:exit'?: (
+    node: MatchInstanceObjectPattern_With_rest,
+  ) => void,
+  +'MatchInstancePattern:exit'?: (node: MatchInstancePattern) => void,
+  +'MatchInstancePattern[targetConstructor]:exit'?: (
+    node: MatchInstancePattern_With_targetConstructor,
+  ) => void,
+  +'MatchInstancePattern[properties]:exit'?: (
+    node: MatchInstancePattern_With_properties,
+  ) => void,
   +'MatchLiteralPattern:exit'?: (node: MatchLiteralPattern) => void,
   +'MatchLiteralPattern[literal]:exit'?: (
     node: MatchLiteralPattern_With_literal,
@@ -3647,6 +3819,7 @@ export type ESQueryNodeSelectorsWithoutFallback = {
     node: MethodDefinition_With_static,
   ) => void,
   +'MixedTypeAnnotation:exit'?: (node: MixedTypeAnnotation) => void,
+  +'NeverTypeAnnotation:exit'?: (node: NeverTypeAnnotation) => void,
   +'NewExpression:exit'?: (node: NewExpression) => void,
   +'NewExpression[callee]:exit'?: (node: NewExpression_With_callee) => void,
   +'NewExpression[typeArguments]:exit'?: (
@@ -3850,6 +4023,66 @@ export type ESQueryNodeSelectorsWithoutFallback = {
   +'QualifiedTypeofIdentifier[id]:exit'?: (
     node: QualifiedTypeofIdentifier_With_id,
   ) => void,
+  +'RecordDeclaration:exit'?: (node: RecordDeclaration) => void,
+  +'RecordDeclaration[id]:exit'?: (node: RecordDeclaration_With_id) => void,
+  +'RecordDeclaration[typeParameters]:exit'?: (
+    node: RecordDeclaration_With_typeParameters,
+  ) => void,
+  +'RecordDeclaration[implements]:exit'?: (
+    node: RecordDeclaration_With_implements,
+  ) => void,
+  +'RecordDeclaration[body]:exit'?: (node: RecordDeclaration_With_body) => void,
+  +'RecordDeclarationBody:exit'?: (node: RecordDeclarationBody) => void,
+  +'RecordDeclarationBody[elements]:exit'?: (
+    node: RecordDeclarationBody_With_elements,
+  ) => void,
+  +'RecordDeclarationImplements:exit'?: (
+    node: RecordDeclarationImplements,
+  ) => void,
+  +'RecordDeclarationImplements[id]:exit'?: (
+    node: RecordDeclarationImplements_With_id,
+  ) => void,
+  +'RecordDeclarationImplements[typeArguments]:exit'?: (
+    node: RecordDeclarationImplements_With_typeArguments,
+  ) => void,
+  +'RecordDeclarationProperty:exit'?: (node: RecordDeclarationProperty) => void,
+  +'RecordDeclarationProperty[key]:exit'?: (
+    node: RecordDeclarationProperty_With_key,
+  ) => void,
+  +'RecordDeclarationProperty[typeAnnotation]:exit'?: (
+    node: RecordDeclarationProperty_With_typeAnnotation,
+  ) => void,
+  +'RecordDeclarationProperty[defaultValue]:exit'?: (
+    node: RecordDeclarationProperty_With_defaultValue,
+  ) => void,
+  +'RecordDeclarationStaticProperty:exit'?: (
+    node: RecordDeclarationStaticProperty,
+  ) => void,
+  +'RecordDeclarationStaticProperty[key]:exit'?: (
+    node: RecordDeclarationStaticProperty_With_key,
+  ) => void,
+  +'RecordDeclarationStaticProperty[typeAnnotation]:exit'?: (
+    node: RecordDeclarationStaticProperty_With_typeAnnotation,
+  ) => void,
+  +'RecordDeclarationStaticProperty[value]:exit'?: (
+    node: RecordDeclarationStaticProperty_With_value,
+  ) => void,
+  +'RecordExpression:exit'?: (node: RecordExpression) => void,
+  +'RecordExpression[recordConstructor]:exit'?: (
+    node: RecordExpression_With_recordConstructor,
+  ) => void,
+  +'RecordExpression[typeArguments]:exit'?: (
+    node: RecordExpression_With_typeArguments,
+  ) => void,
+  +'RecordExpression[properties]:exit'?: (
+    node: RecordExpression_With_properties,
+  ) => void,
+  +'RecordExpressionProperties:exit'?: (
+    node: RecordExpressionProperties,
+  ) => void,
+  +'RecordExpressionProperties[properties]:exit'?: (
+    node: RecordExpressionProperties_With_properties,
+  ) => void,
   +'RestElement:exit'?: (node: RestElement) => void,
   +'RestElement[argument]:exit'?: (node: RestElement_With_argument) => void,
   +'ReturnStatement:exit'?: (node: ReturnStatement) => void,
@@ -3911,8 +4144,8 @@ export type ESQueryNodeSelectorsWithoutFallback = {
   +'TryStatement[handler]:exit'?: (node: TryStatement_With_handler) => void,
   +'TryStatement[finalizer]:exit'?: (node: TryStatement_With_finalizer) => void,
   +'TupleTypeAnnotation:exit'?: (node: TupleTypeAnnotation) => void,
-  +'TupleTypeAnnotation[types]:exit'?: (
-    node: TupleTypeAnnotation_With_types,
+  +'TupleTypeAnnotation[elementTypes]:exit'?: (
+    node: TupleTypeAnnotation_With_elementTypes,
   ) => void,
   +'TupleTypeAnnotation[inexact]:exit'?: (
     node: TupleTypeAnnotation_With_inexact,
@@ -4001,10 +4234,12 @@ export type ESQueryNodeSelectorsWithoutFallback = {
     node: UnaryExpression_With_argument,
   ) => void,
   +'UnaryExpression[prefix]:exit'?: (node: UnaryExpression_With_prefix) => void,
+  +'UndefinedTypeAnnotation:exit'?: (node: UndefinedTypeAnnotation) => void,
   +'UnionTypeAnnotation:exit'?: (node: UnionTypeAnnotation) => void,
   +'UnionTypeAnnotation[types]:exit'?: (
     node: UnionTypeAnnotation_With_types,
   ) => void,
+  +'UnknownTypeAnnotation:exit'?: (node: UnknownTypeAnnotation) => void,
   +'UpdateExpression:exit'?: (node: UpdateExpression) => void,
   +'UpdateExpression[operator]:exit'?: (
     node: UpdateExpression_With_operator,

package/dist/generated/predicates.js

@@ -147,6 +147,8 @@ import type {
   MatchExpression,
   MatchExpressionCase,
   MatchIdentifierPattern,
+  MatchInstanceObjectPattern,
+  MatchInstancePattern,
   MatchLiteralPattern,
   MatchMemberPattern,
   MatchObjectPattern,
@@ -161,6 +163,7 @@ import type {
   MetaProperty,
   MethodDefinition,
   MixedTypeAnnotation,
+  NeverTypeAnnotation,
   NewExpression,
   NullableTypeAnnotation,
   NullLiteralTypeAnnotation,
@@ -183,6 +186,13 @@ import type {
   PropertyDefinition,
   QualifiedTypeIdentifier,
   QualifiedTypeofIdentifier,
+  RecordDeclaration,
+  RecordDeclarationBody,
+  RecordDeclarationImplements,
+  RecordDeclarationProperty,
+  RecordDeclarationStaticProperty,
+  RecordExpression,
+  RecordExpressionProperties,
   RestElement,
   ReturnStatement,
   SequenceExpression,
@@ -214,7 +224,9 @@ import type {
   TypeParameterInstantiation,
   TypePredicate,
   UnaryExpression,
+  UndefinedTypeAnnotation,
   UnionTypeAnnotation,
+  UnknownTypeAnnotation,
   UpdateExpression,
   VariableDeclaration,
   VariableDeclarator,
@@ -421,6 +433,8 @@ exports.isMatchBindingPattern = isMatchBindingPattern;
 exports.isMatchExpression = isMatchExpression;
 exports.isMatchExpressionCase = isMatchExpressionCase;
 exports.isMatchIdentifierPattern = isMatchIdentifierPattern;
+exports.isMatchInstanceObjectPattern = isMatchInstanceObjectPattern;
+exports.isMatchInstancePattern = isMatchInstancePattern;
 exports.isMatchLiteralPattern = isMatchLiteralPattern;
 exports.isMatchMemberPattern = isMatchMemberPattern;
 exports.isMatchObjectPattern = isMatchObjectPattern;
@@ -439,6 +453,7 @@ exports.isMinusToken = isMinusToken;
 exports.isMixedTypeAnnotation = isMixedTypeAnnotation;
 exports.isModuleKeyword = isModuleKeyword;
 exports.isMultiplyEqualToken = isMultiplyEqualToken;
+exports.isNeverTypeAnnotation = isNeverTypeAnnotation;
 exports.isNewExpression = isNewExpression;
 exports.isNewToken = isNewToken;
 exports.isNullLiteralTypeAnnotation = isNullLiteralTypeAnnotation;
@@ -473,6 +488,13 @@ exports.isPropertyDefinition = isPropertyDefinition;
 exports.isQualifiedTypeIdentifier = isQualifiedTypeIdentifier;
 exports.isQualifiedTypeofIdentifier = isQualifiedTypeofIdentifier;
 exports.isQuestionMarkToken = isQuestionMarkToken;
+exports.isRecordDeclaration = isRecordDeclaration;
+exports.isRecordDeclarationBody = isRecordDeclarationBody;
+exports.isRecordDeclarationImplements = isRecordDeclarationImplements;
+exports.isRecordDeclarationProperty = isRecordDeclarationProperty;
+exports.isRecordDeclarationStaticProperty = isRecordDeclarationStaticProperty;
+exports.isRecordExpression = isRecordExpression;
+exports.isRecordExpressionProperties = isRecordExpressionProperties;
 exports.isRemainderEqualToken = isRemainderEqualToken;
 exports.isRestElement = isRestElement;
 exports.isReturnStatement = isReturnStatement;
@@ -519,8 +541,10 @@ exports.isTypePredicate = isTypePredicate;
 exports.isTypeofTypeAnnotation = isTypeofTypeAnnotation;
 exports.isUnaryExpression = isUnaryExpression;
 exports.isUnaryNegationToken = isUnaryNegationToken;
+exports.isUndefinedTypeAnnotation = isUndefinedTypeAnnotation;
 exports.isUnionTypeAnnotation = isUnionTypeAnnotation;
 exports.isUnionTypeToken = isUnionTypeToken;
+exports.isUnknownTypeAnnotation = isUnknownTypeAnnotation;
 exports.isUpdateExpression = isUpdateExpression;
 exports.isVarToken = isVarToken;
 exports.isVariableDeclaration = isVariableDeclaration;
@@ -1463,6 +1487,22 @@ function isMatchIdentifierPattern(node
   return node.type === 'MatchIdentifierPattern';
 }
 
+function isMatchInstanceObjectPattern(node
+/*: ESNode | Token */
+)
+/*: implies node is MatchInstanceObjectPattern */
+{
+  return node.type === 'MatchInstanceObjectPattern';
+}
+
+function isMatchInstancePattern(node
+/*: ESNode | Token */
+)
+/*: implies node is MatchInstancePattern */
+{
+  return node.type === 'MatchInstancePattern';
+}
+
 function isMatchLiteralPattern(node
 /*: ESNode | Token */
 )
@@ -1575,6 +1615,14 @@ function isMixedTypeAnnotation(node
   return node.type === 'MixedTypeAnnotation';
 }
 
+function isNeverTypeAnnotation(node
+/*: ESNode | Token */
+)
+/*: implies node is NeverTypeAnnotation */
+{
+  return node.type === 'NeverTypeAnnotation';
+}
+
 function isNewExpression(node
 /*: ESNode | Token */
 )
@@ -1751,6 +1799,62 @@ function isQualifiedTypeofIdentifier(node
   return node.type === 'QualifiedTypeofIdentifier';
 }
 
+function isRecordDeclaration(node
+/*: ESNode | Token */
+)
+/*: implies node is RecordDeclaration */
+{
+  return node.type === 'RecordDeclaration';
+}
+
+function isRecordDeclarationBody(node
+/*: ESNode | Token */
+)
+/*: implies node is RecordDeclarationBody */
+{
+  return node.type === 'RecordDeclarationBody';
+}
+
+function isRecordDeclarationImplements(node
+/*: ESNode | Token */
+)
+/*: implies node is RecordDeclarationImplements */
+{
+  return node.type === 'RecordDeclarationImplements';
+}
+
+function isRecordDeclarationProperty(node
+/*: ESNode | Token */
+)
+/*: implies node is RecordDeclarationProperty */
+{
+  return node.type === 'RecordDeclarationProperty';
+}
+
+function isRecordDeclarationStaticProperty(node
+/*: ESNode | Token */
+)
+/*: implies node is RecordDeclarationStaticProperty */
+{
+  return node.type === 'RecordDeclarationStaticProperty';
+}
+
+function isRecordExpression(node
+/*: ESNode | Token */
+)
+/*: implies node is RecordExpression */
+{
+  return node.type === 'RecordExpression';
+}
+
+function isRecordExpressionProperties(node
+/*: ESNode | Token */
+)
+/*: implies node is RecordExpressionProperties */
+{
+  return node.type === 'RecordExpressionProperties';
+}
+
 function isRestElement(node
 /*: ESNode | Token */
 )
@@ -1999,6 +2103,14 @@ function isUnaryExpression(node
   return node.type === 'UnaryExpression';
 }
 
+function isUndefinedTypeAnnotation(node
+/*: ESNode | Token */
+)
+/*: implies node is UndefinedTypeAnnotation */
+{
+  return node.type === 'UndefinedTypeAnnotation';
+}
+
 function isUnionTypeAnnotation(node
 /*: ESNode | Token */
 )
@@ -2007,6 +2119,14 @@ function isUnionTypeAnnotation(node
   return node.type === 'UnionTypeAnnotation';
 }
 
+function isUnknownTypeAnnotation(node
+/*: ESNode | Token */
+)
+/*: implies node is UnknownTypeAnnotation */
+{
+  return node.type === 'UnknownTypeAnnotation';
+}
+
 function isUpdateExpression(node
 /*: ESNode | Token */
 )

package/dist/generated/predicates.js.flow

@@ -148,6 +148,8 @@ import type {
   MatchExpression,
   MatchExpressionCase,
   MatchIdentifierPattern,
+  MatchInstanceObjectPattern,
+  MatchInstancePattern,
   MatchLiteralPattern,
   MatchMemberPattern,
   MatchObjectPattern,
@@ -162,6 +164,7 @@ import type {
   MetaProperty,
   MethodDefinition,
   MixedTypeAnnotation,
+  NeverTypeAnnotation,
   NewExpression,
   NullableTypeAnnotation,
   NullLiteralTypeAnnotation,
@@ -184,6 +187,13 @@ import type {
   PropertyDefinition,
   QualifiedTypeIdentifier,
   QualifiedTypeofIdentifier,
+  RecordDeclaration,
+  RecordDeclarationBody,
+  RecordDeclarationImplements,
+  RecordDeclarationProperty,
+  RecordDeclarationStaticProperty,
+  RecordExpression,
+  RecordExpressionProperties,
   RestElement,
   ReturnStatement,
   SequenceExpression,
@@ -215,7 +225,9 @@ import type {
   TypeParameterInstantiation,
   TypePredicate,
   UnaryExpression,
+  UndefinedTypeAnnotation,
   UnionTypeAnnotation,
+  UnknownTypeAnnotation,
   UpdateExpression,
   VariableDeclaration,
   VariableDeclarator,
@@ -812,6 +824,16 @@ export function isMatchIdentifierPattern(node /*: ESNode | Token */) /*: implies
 }
     
 
+export function isMatchInstanceObjectPattern(node /*: ESNode | Token */) /*: implies node is MatchInstanceObjectPattern */ {
+  return node.type === 'MatchInstanceObjectPattern';
+}
+    
+
+export function isMatchInstancePattern(node /*: ESNode | Token */) /*: implies node is MatchInstancePattern */ {
+  return node.type === 'MatchInstancePattern';
+}
+    
+
 export function isMatchLiteralPattern(node /*: ESNode | Token */) /*: implies node is MatchLiteralPattern */ {
   return node.type === 'MatchLiteralPattern';
 }
@@ -882,6 +904,11 @@ export function isMixedTypeAnnotation(node /*: ESNode | Token */) /*: implies no
 }
     
 
+export function isNeverTypeAnnotation(node /*: ESNode | Token */) /*: implies node is NeverTypeAnnotation */ {
+  return node.type === 'NeverTypeAnnotation';
+}
+    
+
 export function isNewExpression(node /*: ESNode | Token */) /*: implies node is NewExpression */ {
   return node.type === 'NewExpression';
 }
@@ -992,6 +1019,41 @@ export function isQualifiedTypeofIdentifier(node /*: ESNode | Token */) /*: impl
 }
     
 
+export function isRecordDeclaration(node /*: ESNode | Token */) /*: implies node is RecordDeclaration */ {
+  return node.type === 'RecordDeclaration';
+}
+    
+
+export function isRecordDeclarationBody(node /*: ESNode | Token */) /*: implies node is RecordDeclarationBody */ {
+  return node.type === 'RecordDeclarationBody';
+}
+    
+
+export function isRecordDeclarationImplements(node /*: ESNode | Token */) /*: implies node is RecordDeclarationImplements */ {
+  return node.type === 'RecordDeclarationImplements';
+}
+    
+
+export function isRecordDeclarationProperty(node /*: ESNode | Token */) /*: implies node is RecordDeclarationProperty */ {
+  return node.type === 'RecordDeclarationProperty';
+}
+    
+
+export function isRecordDeclarationStaticProperty(node /*: ESNode | Token */) /*: implies node is RecordDeclarationStaticProperty */ {
+  return node.type === 'RecordDeclarationStaticProperty';
+}
+    
+
+export function isRecordExpression(node /*: ESNode | Token */) /*: implies node is RecordExpression */ {
+  return node.type === 'RecordExpression';
+}
+    
+
+export function isRecordExpressionProperties(node /*: ESNode | Token */) /*: implies node is RecordExpressionProperties */ {
+  return node.type === 'RecordExpressionProperties';
+}
+    
+
 export function isRestElement(node /*: ESNode | Token */) /*: implies node is RestElement */ {
   return node.type === 'RestElement';
 }
@@ -1147,11 +1209,21 @@ export function isUnaryExpression(node /*: ESNode | Token */) /*: implies node i
 }
     
 
+export function isUndefinedTypeAnnotation(node /*: ESNode | Token */) /*: implies node is UndefinedTypeAnnotation */ {
+  return node.type === 'UndefinedTypeAnnotation';
+}
+    
+
 export function isUnionTypeAnnotation(node /*: ESNode | Token */) /*: implies node is UnionTypeAnnotation */ {
   return node.type === 'UnionTypeAnnotation';
 }
     
 
+export function isUnknownTypeAnnotation(node /*: ESNode | Token */) /*: implies node is UnknownTypeAnnotation */ {
+  return node.type === 'UnknownTypeAnnotation';
+}
+    
+
 export function isUpdateExpression(node /*: ESNode | Token */) /*: implies node is UpdateExpression */ {
   return node.type === 'UpdateExpression';
 }

package/dist/predicates.js

@@ -237,8 +237,7 @@ function isExpression(node
 )
 /*: implies node is Expression */
 {
-  return node.type === 'ThisExpression' || node.type === 'ArrayExpression' || node.type === 'ObjectExpression' || // $FlowFixMe[incompatible-type]
-  node.type === 'ObjectExpression' || node.type === 'FunctionExpression' || node.type === 'ArrowFunctionExpression' || node.type === 'YieldExpression' || node.type === 'Literal' || node.type === 'UnaryExpression' || node.type === 'UpdateExpression' || node.type === 'BinaryExpression' || node.type === 'AssignmentExpression' || node.type === 'LogicalExpression' || node.type === 'MemberExpression' || node.type === 'ConditionalExpression' || node.type === 'CallExpression' || node.type === 'NewExpression' || node.type === 'SequenceExpression' || node.type === 'TemplateLiteral' || node.type === 'TaggedTemplateExpression' || node.type === 'ClassExpression' || node.type === 'MetaProperty' || node.type === 'Identifier' || node.type === 'AwaitExpression' || node.type === 'ImportExpression' || node.type === 'ChainExpression' || node.type === 'TypeCastExpression' || node.type === 'AsExpression' || node.type === 'AsConstExpression' || node.type === 'JSXFragment' || node.type === 'JSXElement';
+  return node.type === 'ThisExpression' || node.type === 'ArrayExpression' || node.type === 'ObjectExpression' || node.type === 'FunctionExpression' || node.type === 'ArrowFunctionExpression' || node.type === 'YieldExpression' || node.type === 'Literal' || node.type === 'UnaryExpression' || node.type === 'UpdateExpression' || node.type === 'BinaryExpression' || node.type === 'AssignmentExpression' || node.type === 'LogicalExpression' || node.type === 'MemberExpression' || node.type === 'ConditionalExpression' || node.type === 'CallExpression' || node.type === 'NewExpression' || node.type === 'SequenceExpression' || node.type === 'TemplateLiteral' || node.type === 'TaggedTemplateExpression' || node.type === 'ClassExpression' || node.type === 'MetaProperty' || node.type === 'Identifier' || node.type === 'AwaitExpression' || node.type === 'ImportExpression' || node.type === 'ChainExpression' || node.type === 'TypeCastExpression' || node.type === 'AsExpression' || node.type === 'AsConstExpression' || node.type === 'JSXFragment' || node.type === 'JSXElement' || node.type === 'MatchExpression' || node.type === 'RecordExpression';
 }
 
 function isStatement(node
@@ -246,5 +245,5 @@ function isStatement(node
 )
 /*: implies node is Statement */
 {
-  return node.type === 'BlockStatement' || node.type === 'BreakStatement' || node.type === 'ClassDeclaration' || node.type === 'ContinueStatement' || node.type === 'DebuggerStatement' || node.type === 'DeclareClass' || node.type === 'DeclareVariable' || node.type === 'DeclareFunction' || node.type === 'DeclareInterface' || node.type === 'DeclareModule' || node.type === 'DeclareOpaqueType' || node.type === 'DeclareTypeAlias' || node.type === 'DoWhileStatement' || node.type === 'EmptyStatement' || node.type === 'EnumDeclaration' || node.type === 'ExpressionStatement' || node.type === 'ForInStatement' || node.type === 'ForOfStatement' || node.type === 'ForStatement' || node.type === 'FunctionDeclaration' || node.type === 'IfStatement' || node.type === 'InterfaceDeclaration' || node.type === 'LabeledStatement' || node.type === 'OpaqueType' || node.type === 'ReturnStatement' || node.type === 'SwitchStatement' || node.type === 'ThrowStatement' || node.type === 'TryStatement' || node.type === 'TypeAlias' || node.type === 'VariableDeclaration' || node.type === 'WhileStatement' || node.type === 'WithStatement';
+  return node.type === 'BlockStatement' || node.type === 'BreakStatement' || node.type === 'ClassDeclaration' || node.type === 'ContinueStatement' || node.type === 'DebuggerStatement' || node.type === 'DeclareClass' || node.type === 'DeclareVariable' || node.type === 'DeclareFunction' || node.type === 'DeclareInterface' || node.type === 'DeclareModule' || node.type === 'DeclareOpaqueType' || node.type === 'DeclareTypeAlias' || node.type === 'DoWhileStatement' || node.type === 'EmptyStatement' || node.type === 'EnumDeclaration' || node.type === 'ExpressionStatement' || node.type === 'ForInStatement' || node.type === 'ForOfStatement' || node.type === 'ForStatement' || node.type === 'FunctionDeclaration' || node.type === 'IfStatement' || node.type === 'InterfaceDeclaration' || node.type === 'LabeledStatement' || node.type === 'MatchStatement' || node.type === 'OpaqueType' || node.type === 'RecordDeclaration' || node.type === 'ReturnStatement' || node.type === 'SwitchStatement' || node.type === 'ThrowStatement' || node.type === 'TryStatement' || node.type === 'TypeAlias' || node.type === 'VariableDeclaration' || node.type === 'WhileStatement' || node.type === 'WithStatement';
 }

package/dist/predicates.js.flow

@@ -134,8 +134,6 @@ export function isExpression(node /*: ESNode */) /*: implies node is Expression
     node.type === 'ThisExpression' ||
     node.type === 'ArrayExpression' ||
     node.type === 'ObjectExpression' ||
-    // $FlowFixMe[incompatible-type]
-    node.type === 'ObjectExpression' ||
     node.type === 'FunctionExpression' ||
     node.type === 'ArrowFunctionExpression' ||
     node.type === 'YieldExpression' ||
@@ -162,7 +160,9 @@ export function isExpression(node /*: ESNode */) /*: implies node is Expression
     node.type === 'AsExpression' ||
     node.type === 'AsConstExpression' ||
     node.type === 'JSXFragment' ||
-    node.type === 'JSXElement'
+    node.type === 'JSXElement' ||
+    node.type === 'MatchExpression' ||
+    node.type === 'RecordExpression'
   );
 }
 
@@ -191,7 +191,9 @@ export function isStatement(node /*: ESNode */) /*: implies node is Statement */
     node.type === 'IfStatement' ||
     node.type === 'InterfaceDeclaration' ||
     node.type === 'LabeledStatement' ||
+    node.type === 'MatchStatement' ||
     node.type === 'OpaqueType' ||
+    node.type === 'RecordDeclaration' ||
     node.type === 'ReturnStatement' ||
     node.type === 'SwitchStatement' ||
     node.type === 'ThrowStatement' ||

package/dist/src/generated/predicates.js

@@ -147,6 +147,8 @@ import type {
   MatchExpression,
   MatchExpressionCase,
   MatchIdentifierPattern,
+  MatchInstanceObjectPattern,
+  MatchInstancePattern,
   MatchLiteralPattern,
   MatchMemberPattern,
   MatchObjectPattern,
@@ -161,6 +163,7 @@ import type {
   MetaProperty,
   MethodDefinition,
   MixedTypeAnnotation,
+  NeverTypeAnnotation,
   NewExpression,
   NullableTypeAnnotation,
   NullLiteralTypeAnnotation,
@@ -183,6 +186,13 @@ import type {
   PropertyDefinition,
   QualifiedTypeIdentifier,
   QualifiedTypeofIdentifier,
+  RecordDeclaration,
+  RecordDeclarationBody,
+  RecordDeclarationImplements,
+  RecordDeclarationProperty,
+  RecordDeclarationStaticProperty,
+  RecordExpression,
+  RecordExpressionProperties,
   RestElement,
   ReturnStatement,
   SequenceExpression,
@@ -214,7 +224,9 @@ import type {
   TypeParameterInstantiation,
   TypePredicate,
   UnaryExpression,
+  UndefinedTypeAnnotation,
   UnionTypeAnnotation,
+  UnknownTypeAnnotation,
   UpdateExpression,
   VariableDeclaration,
   VariableDeclarator,
@@ -421,6 +433,8 @@ exports.isMatchBindingPattern = isMatchBindingPattern;
 exports.isMatchExpression = isMatchExpression;
 exports.isMatchExpressionCase = isMatchExpressionCase;
 exports.isMatchIdentifierPattern = isMatchIdentifierPattern;
+exports.isMatchInstanceObjectPattern = isMatchInstanceObjectPattern;
+exports.isMatchInstancePattern = isMatchInstancePattern;
 exports.isMatchLiteralPattern = isMatchLiteralPattern;
 exports.isMatchMemberPattern = isMatchMemberPattern;
 exports.isMatchObjectPattern = isMatchObjectPattern;
@@ -439,6 +453,7 @@ exports.isMinusToken = isMinusToken;
 exports.isMixedTypeAnnotation = isMixedTypeAnnotation;
 exports.isModuleKeyword = isModuleKeyword;
 exports.isMultiplyEqualToken = isMultiplyEqualToken;
+exports.isNeverTypeAnnotation = isNeverTypeAnnotation;
 exports.isNewExpression = isNewExpression;
 exports.isNewToken = isNewToken;
 exports.isNullLiteralTypeAnnotation = isNullLiteralTypeAnnotation;
@@ -473,6 +488,13 @@ exports.isPropertyDefinition = isPropertyDefinition;
 exports.isQualifiedTypeIdentifier = isQualifiedTypeIdentifier;
 exports.isQualifiedTypeofIdentifier = isQualifiedTypeofIdentifier;
 exports.isQuestionMarkToken = isQuestionMarkToken;
+exports.isRecordDeclaration = isRecordDeclaration;
+exports.isRecordDeclarationBody = isRecordDeclarationBody;
+exports.isRecordDeclarationImplements = isRecordDeclarationImplements;
+exports.isRecordDeclarationProperty = isRecordDeclarationProperty;
+exports.isRecordDeclarationStaticProperty = isRecordDeclarationStaticProperty;
+exports.isRecordExpression = isRecordExpression;
+exports.isRecordExpressionProperties = isRecordExpressionProperties;
 exports.isRemainderEqualToken = isRemainderEqualToken;
 exports.isRestElement = isRestElement;
 exports.isReturnStatement = isReturnStatement;
@@ -519,8 +541,10 @@ exports.isTypePredicate = isTypePredicate;
 exports.isTypeofTypeAnnotation = isTypeofTypeAnnotation;
 exports.isUnaryExpression = isUnaryExpression;
 exports.isUnaryNegationToken = isUnaryNegationToken;
+exports.isUndefinedTypeAnnotation = isUndefinedTypeAnnotation;
 exports.isUnionTypeAnnotation = isUnionTypeAnnotation;
 exports.isUnionTypeToken = isUnionTypeToken;
+exports.isUnknownTypeAnnotation = isUnknownTypeAnnotation;
 exports.isUpdateExpression = isUpdateExpression;
 exports.isVarToken = isVarToken;
 exports.isVariableDeclaration = isVariableDeclaration;
@@ -1463,6 +1487,22 @@ function isMatchIdentifierPattern(node
   return node.type === 'MatchIdentifierPattern';
 }
 
+function isMatchInstanceObjectPattern(node
+/*: ESNode | Token */
+)
+/*: implies node is MatchInstanceObjectPattern */
+{
+  return node.type === 'MatchInstanceObjectPattern';
+}
+
+function isMatchInstancePattern(node
+/*: ESNode | Token */
+)
+/*: implies node is MatchInstancePattern */
+{
+  return node.type === 'MatchInstancePattern';
+}
+
 function isMatchLiteralPattern(node
 /*: ESNode | Token */
 )
@@ -1575,6 +1615,14 @@ function isMixedTypeAnnotation(node
   return node.type === 'MixedTypeAnnotation';
 }
 
+function isNeverTypeAnnotation(node
+/*: ESNode | Token */
+)
+/*: implies node is NeverTypeAnnotation */
+{
+  return node.type === 'NeverTypeAnnotation';
+}
+
 function isNewExpression(node
 /*: ESNode | Token */
 )
@@ -1751,6 +1799,62 @@ function isQualifiedTypeofIdentifier(node
   return node.type === 'QualifiedTypeofIdentifier';
 }
 
+function isRecordDeclaration(node
+/*: ESNode | Token */
+)
+/*: implies node is RecordDeclaration */
+{
+  return node.type === 'RecordDeclaration';
+}
+
+function isRecordDeclarationBody(node
+/*: ESNode | Token */
+)
+/*: implies node is RecordDeclarationBody */
+{
+  return node.type === 'RecordDeclarationBody';
+}
+
+function isRecordDeclarationImplements(node
+/*: ESNode | Token */
+)
+/*: implies node is RecordDeclarationImplements */
+{
+  return node.type === 'RecordDeclarationImplements';
+}
+
+function isRecordDeclarationProperty(node
+/*: ESNode | Token */
+)
+/*: implies node is RecordDeclarationProperty */
+{
+  return node.type === 'RecordDeclarationProperty';
+}
+
+function isRecordDeclarationStaticProperty(node
+/*: ESNode | Token */
+)
+/*: implies node is RecordDeclarationStaticProperty */
+{
+  return node.type === 'RecordDeclarationStaticProperty';
+}
+
+function isRecordExpression(node
+/*: ESNode | Token */
+)
+/*: implies node is RecordExpression */
+{
+  return node.type === 'RecordExpression';
+}
+
+function isRecordExpressionProperties(node
+/*: ESNode | Token */
+)
+/*: implies node is RecordExpressionProperties */
+{
+  return node.type === 'RecordExpressionProperties';
+}
+
 function isRestElement(node
 /*: ESNode | Token */
 )
@@ -1999,6 +2103,14 @@ function isUnaryExpression(node
   return node.type === 'UnaryExpression';
 }
 
+function isUndefinedTypeAnnotation(node
+/*: ESNode | Token */
+)
+/*: implies node is UndefinedTypeAnnotation */
+{
+  return node.type === 'UndefinedTypeAnnotation';
+}
+
 function isUnionTypeAnnotation(node
 /*: ESNode | Token */
 )
@@ -2007,6 +2119,14 @@ function isUnionTypeAnnotation(node
   return node.type === 'UnionTypeAnnotation';
 }
 
+function isUnknownTypeAnnotation(node
+/*: ESNode | Token */
+)
+/*: implies node is UnknownTypeAnnotation */
+{
+  return node.type === 'UnknownTypeAnnotation';
+}
+
 function isUpdateExpression(node
 /*: ESNode | Token */
 )

package/dist/src/predicates.js

@@ -237,8 +237,7 @@ function isExpression(node
 )
 /*: implies node is Expression */
 {
-  return node.type === 'ThisExpression' || node.type === 'ArrayExpression' || node.type === 'ObjectExpression' || // $FlowFixMe[incompatible-type]
-  node.type === 'ObjectExpression' || node.type === 'FunctionExpression' || node.type === 'ArrowFunctionExpression' || node.type === 'YieldExpression' || node.type === 'Literal' || node.type === 'UnaryExpression' || node.type === 'UpdateExpression' || node.type === 'BinaryExpression' || node.type === 'AssignmentExpression' || node.type === 'LogicalExpression' || node.type === 'MemberExpression' || node.type === 'ConditionalExpression' || node.type === 'CallExpression' || node.type === 'NewExpression' || node.type === 'SequenceExpression' || node.type === 'TemplateLiteral' || node.type === 'TaggedTemplateExpression' || node.type === 'ClassExpression' || node.type === 'MetaProperty' || node.type === 'Identifier' || node.type === 'AwaitExpression' || node.type === 'ImportExpression' || node.type === 'ChainExpression' || node.type === 'TypeCastExpression' || node.type === 'AsExpression' || node.type === 'AsConstExpression' || node.type === 'JSXFragment' || node.type === 'JSXElement';
+  return node.type === 'ThisExpression' || node.type === 'ArrayExpression' || node.type === 'ObjectExpression' || node.type === 'FunctionExpression' || node.type === 'ArrowFunctionExpression' || node.type === 'YieldExpression' || node.type === 'Literal' || node.type === 'UnaryExpression' || node.type === 'UpdateExpression' || node.type === 'BinaryExpression' || node.type === 'AssignmentExpression' || node.type === 'LogicalExpression' || node.type === 'MemberExpression' || node.type === 'ConditionalExpression' || node.type === 'CallExpression' || node.type === 'NewExpression' || node.type === 'SequenceExpression' || node.type === 'TemplateLiteral' || node.type === 'TaggedTemplateExpression' || node.type === 'ClassExpression' || node.type === 'MetaProperty' || node.type === 'Identifier' || node.type === 'AwaitExpression' || node.type === 'ImportExpression' || node.type === 'ChainExpression' || node.type === 'TypeCastExpression' || node.type === 'AsExpression' || node.type === 'AsConstExpression' || node.type === 'JSXFragment' || node.type === 'JSXElement' || node.type === 'MatchExpression' || node.type === 'RecordExpression';
 }
 
 function isStatement(node
@@ -246,5 +245,5 @@ function isStatement(node
 )
 /*: implies node is Statement */
 {
-  return node.type === 'BlockStatement' || node.type === 'BreakStatement' || node.type === 'ClassDeclaration' || node.type === 'ContinueStatement' || node.type === 'DebuggerStatement' || node.type === 'DeclareClass' || node.type === 'DeclareVariable' || node.type === 'DeclareFunction' || node.type === 'DeclareInterface' || node.type === 'DeclareModule' || node.type === 'DeclareOpaqueType' || node.type === 'DeclareTypeAlias' || node.type === 'DoWhileStatement' || node.type === 'EmptyStatement' || node.type === 'EnumDeclaration' || node.type === 'ExpressionStatement' || node.type === 'ForInStatement' || node.type === 'ForOfStatement' || node.type === 'ForStatement' || node.type === 'FunctionDeclaration' || node.type === 'IfStatement' || node.type === 'InterfaceDeclaration' || node.type === 'LabeledStatement' || node.type === 'OpaqueType' || node.type === 'ReturnStatement' || node.type === 'SwitchStatement' || node.type === 'ThrowStatement' || node.type === 'TryStatement' || node.type === 'TypeAlias' || node.type === 'VariableDeclaration' || node.type === 'WhileStatement' || node.type === 'WithStatement';
+  return node.type === 'BlockStatement' || node.type === 'BreakStatement' || node.type === 'ClassDeclaration' || node.type === 'ContinueStatement' || node.type === 'DebuggerStatement' || node.type === 'DeclareClass' || node.type === 'DeclareVariable' || node.type === 'DeclareFunction' || node.type === 'DeclareInterface' || node.type === 'DeclareModule' || node.type === 'DeclareOpaqueType' || node.type === 'DeclareTypeAlias' || node.type === 'DoWhileStatement' || node.type === 'EmptyStatement' || node.type === 'EnumDeclaration' || node.type === 'ExpressionStatement' || node.type === 'ForInStatement' || node.type === 'ForOfStatement' || node.type === 'ForStatement' || node.type === 'FunctionDeclaration' || node.type === 'IfStatement' || node.type === 'InterfaceDeclaration' || node.type === 'LabeledStatement' || node.type === 'MatchStatement' || node.type === 'OpaqueType' || node.type === 'RecordDeclaration' || node.type === 'ReturnStatement' || node.type === 'SwitchStatement' || node.type === 'ThrowStatement' || node.type === 'TryStatement' || node.type === 'TypeAlias' || node.type === 'VariableDeclaration' || node.type === 'WhileStatement' || node.type === 'WithStatement';
 }

package/dist/types.js.flow

@@ -207,8 +207,17 @@ export type ESNode =
   | MatchPattern
   | MatchRestPattern
   | MatchObjectPatternProperty
+  | MatchInstanceObjectPattern
   | MatchExpressionCase
   | MatchStatementCase
+  // Records
+  | RecordDeclaration
+  | RecordDeclarationImplements
+  | RecordDeclarationBody
+  | RecordDeclarationProperty
+  | RecordDeclarationStaticProperty
+  | RecordExpression
+  | RecordExpressionProperties
   // JSX
   | JSXNode;
 
@@ -276,7 +285,8 @@ export type Statement =
   | VariableDeclaration
   | WhileStatement
   | WithStatement
-  | MatchStatement;
+  | MatchStatement
+  | RecordDeclaration;
 
 // nodes that can be the direct parent of a statement
 export type StatementParentSingle =
@@ -486,6 +496,7 @@ export type Expression =
   | AsExpression
   | AsConstExpression
   | MatchExpression
+  | RecordExpression
   | JSXFragment
   | JSXElement;
 
@@ -510,19 +521,25 @@ export interface ObjectExpression extends BaseNode {
 // and object desturcturing properties.
 export type Property = ObjectProperty | DestructuringObjectProperty;
 
+export type ObjectPropertyKey =
+  | Identifier
+  | StringLiteral
+  | NumericLiteral
+  | BigIntLiteral;
+
 export type ObjectProperty =
   | ObjectPropertyWithNonShorthandStaticName
   | ObjectPropertyWithShorthandStaticName
   | ObjectPropertyWithComputedName;
 interface ObjectPropertyBase extends BaseNode {
-  +parent: ObjectExpression | ObjectPattern;
+  +parent: ObjectExpression | ObjectPattern | RecordExpressionProperties;
 }
 export interface ObjectPropertyWithNonShorthandStaticName
   extends ObjectPropertyBase {
   +type: 'Property';
   +computed: false;
   // non-computed, non-shorthand names are constrained significantly
-  +key: Identifier | StringLiteral | NumericLiteral;
+  +key: ObjectPropertyKey;
   +value: Expression;
   +kind: 'init' | 'get' | 'set';
   +method: boolean;
@@ -568,7 +585,7 @@ export interface DestructuringObjectPropertyWithNonShorthandStaticName
   +type: 'Property';
   +computed: false;
   // non-computed, non-shorthand names are constrained significantly
-  +key: Identifier | StringLiteral | NumericLiteral;
+  +key: ObjectPropertyKey;
   // destructuring properties cannot have any value
   +value: DestructuringPattern;
   +shorthand: false;
@@ -914,7 +931,7 @@ interface BaseClass extends BaseNode {
   +body: ClassBody;
 
   +typeParameters: null | TypeParameterDeclaration;
-  +superTypeParameters: null | TypeParameterInstantiation;
+  +superTypeArguments: null | TypeParameterInstantiation;
   +implements: $ReadOnlyArray<ClassImplements>;
   +decorators: $ReadOnlyArray<Decorator>;
 }
@@ -925,8 +942,7 @@ export type PropertyName =
 export type ClassPropertyNameComputed = Expression;
 export type ClassPropertyNameNonComputed =
   | PrivateIdentifier
-  | Identifier
-  | StringLiteral;
+  | ObjectPropertyKey;
 
 export type ClassMember = PropertyDefinition | MethodDefinition | StaticBlock;
 export type ClassMemberWithNonComputedName =
@@ -1090,7 +1106,8 @@ export type NamedDeclaration =
   | TypeAlias
   | OpaqueType
   | InterfaceDeclaration
-  | EnumDeclaration;
+  | EnumDeclaration
+  | RecordDeclaration;
 
 interface ExportNamedDeclarationBase extends BaseNode {
   +type: 'ExportNamedDeclaration';
@@ -1156,6 +1173,9 @@ export type TypeAnnotationType =
   | ThisTypeAnnotation
   | MixedTypeAnnotation
   | VoidTypeAnnotation
+  | UnknownTypeAnnotation
+  | NeverTypeAnnotation
+  | UndefinedTypeAnnotation
   | StringLiteralTypeAnnotation
   | NumberLiteralTypeAnnotation
   | BigIntLiteralTypeAnnotation
@@ -1250,6 +1270,15 @@ export interface MixedTypeAnnotation extends BaseNode {
 export interface VoidTypeAnnotation extends BaseNode {
   +type: 'VoidTypeAnnotation';
 }
+export interface UnknownTypeAnnotation extends BaseNode {
+  +type: 'UnknownTypeAnnotation';
+}
+export interface NeverTypeAnnotation extends BaseNode {
+  +type: 'NeverTypeAnnotation';
+}
+export interface UndefinedTypeAnnotation extends BaseNode {
+  +type: 'UndefinedTypeAnnotation';
+}
 export interface StringLiteralTypeAnnotation extends BaseNode {
   +type: 'StringLiteralTypeAnnotation';
   +value: string;
@@ -1308,7 +1337,7 @@ export interface KeyofTypeAnnotation extends BaseNode {
 }
 export interface TupleTypeAnnotation extends BaseNode {
   +type: 'TupleTypeAnnotation';
-  +types: $ReadOnlyArray<TypeAnnotationType>;
+  +elementTypes: $ReadOnlyArray<TypeAnnotationType>;
   +inexact: boolean;
 }
 export interface TupleTypeSpreadElement extends BaseNode {
@@ -1457,7 +1486,7 @@ export interface ObjectTypeAnnotation extends BaseNode {
 }
 interface ObjectTypePropertyBase extends BaseNode {
   +type: 'ObjectTypeProperty';
-  +key: Identifier | StringLiteral;
+  +key: ObjectPropertyKey;
   +value: TypeAnnotationType;
   +method: boolean;
   +optional: boolean;
@@ -2054,6 +2083,7 @@ export type MatchPattern =
   | MatchMemberPattern
   | MatchBindingPattern
   | MatchObjectPattern
+  | MatchInstancePattern
   | MatchArrayPattern;
 
 export interface MatchOrPattern extends BaseNode {
@@ -2098,10 +2128,20 @@ export interface MatchObjectPattern extends BaseNode {
 }
 export interface MatchObjectPatternProperty extends BaseNode {
   +type: 'MatchObjectPatternProperty';
-  +key: Identifier | StringLiteral | NumericLiteral | BigIntLiteral;
+  +key: ObjectPropertyKey;
   +pattern: MatchPattern;
   +shorthand: boolean;
 }
+export interface MatchInstancePattern extends BaseNode {
+  +type: 'MatchInstancePattern';
+  +targetConstructor: MatchIdentifierPattern | MatchMemberPattern;
+  +properties: MatchInstanceObjectPattern;
+}
+export interface MatchInstanceObjectPattern extends BaseNode {
+  +type: 'MatchInstanceObjectPattern';
+  +properties: $ReadOnlyArray<MatchObjectPatternProperty>;
+  +rest: MatchRestPattern | null;
+}
 export interface MatchArrayPattern extends BaseNode {
   +type: 'MatchArrayPattern';
   +elements: $ReadOnlyArray<MatchPattern>;
@@ -2112,6 +2152,58 @@ export interface MatchRestPattern extends BaseNode {
   +argument: MatchBindingPattern | null;
 }
 
+/***********
+ * Records *
+ ***********/
+export interface RecordDeclaration extends BaseNode {
+  +type: 'RecordDeclaration';
+  +id: Identifier;
+  +typeParameters: TypeParameterDeclaration | null;
+  +implements: $ReadOnlyArray<RecordDeclarationImplements>;
+  +body: RecordDeclarationBody;
+}
+
+export interface RecordDeclarationImplements extends BaseNode {
+  +type: 'RecordDeclarationImplements';
+  +id: Identifier;
+  +typeArguments: TypeParameterInstantiation | null;
+}
+
+export interface RecordDeclarationBody extends BaseNode {
+  +type: 'RecordDeclarationBody';
+  +elements: $ReadOnlyArray<
+    | RecordDeclarationProperty
+    | RecordDeclarationStaticProperty
+    | MethodDefinition,
+  >;
+}
+
+export interface RecordDeclarationProperty extends BaseNode {
+  +type: 'RecordDeclarationProperty';
+  +key: ObjectPropertyKey;
+  +typeAnnotation: TypeAnnotation;
+  +defaultValue: Expression | null;
+}
+
+export interface RecordDeclarationStaticProperty extends BaseNode {
+  +type: 'RecordDeclarationStaticProperty';
+  +key: ObjectPropertyKey;
+  +typeAnnotation: TypeAnnotation;
+  +value: Expression;
+}
+
+export interface RecordExpression extends BaseNode {
+  +type: 'RecordExpression';
+  +recordConstructor: Expression;
+  +typeArguments: TypeParameterInstantiation | null;
+  +properties: RecordExpressionProperties;
+}
+
+export interface RecordExpressionProperties extends BaseNode {
+  +type: 'RecordExpressionProperties';
+  +properties: $ReadOnlyArray<ObjectProperty | SpreadElement>;
+}
+
 /******************************************************
  * Deprecated spec nodes awaiting migration by Hermes *
  ******************************************************/

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "hermes-estree",
-  "version": "0.32.0",
+  "version": "0.33.0",
   "description": "Flow types for the Flow-ESTree spec produced by the hermes parser",
   "main": "dist/index.js",
   "license": "MIT",