From 37e1e3c879af1c501abba126a8d6fb6793ea1f97 Mon Sep 17 00:00:00 2001 From: Taus Date: Fri, 8 May 2026 15:30:18 +0000 Subject: [PATCH] unified: regenerate files --- unified/ql/lib/codeql/unified/Ast.qll | 48 ++++---- unified/ql/lib/unified.dbscheme | 154 +++++++++----------------- 2 files changed, 80 insertions(+), 122 deletions(-) diff --git a/unified/ql/lib/codeql/unified/Ast.qll b/unified/ql/lib/codeql/unified/Ast.qll index d054ca99435..e2be15932be 100644 --- a/unified/ql/lib/codeql/unified/Ast.qll +++ b/unified/ql/lib/codeql/unified/Ast.qll @@ -135,7 +135,7 @@ module Swift { final AstNode getElement(int i) { swift_array_type_element(this, i, result) } /** Gets the node corresponding to the field `name`. */ - final AstNode getName() { swift_array_type_def(this, result) } + final UnannotatedType getName() { swift_array_type_def(this, result) } /** Gets a field or child node of this node. */ final override AstNode getAFieldOrChild() { @@ -152,7 +152,7 @@ module Swift { final Expression getExpr() { swift_as_expression_def(this, result, _, _) } /** Gets the node corresponding to the field `name`. */ - final AstNode getName() { swift_as_expression_def(this, _, result, _) } + final UnannotatedType getName() { swift_as_expression_def(this, _, result, _) } /** Gets the node corresponding to the field `type`. */ final AstNode getType(int i) { swift_as_expression_type(this, i, result) } @@ -425,7 +425,7 @@ module Swift { final override string getAPrimaryQlClass() { result = "CheckExpression" } /** Gets the node corresponding to the field `name`. */ - final AstNode getName() { swift_check_expression_def(this, result, _, _) } + final UnannotatedType getName() { swift_check_expression_def(this, result, _, _) } /** Gets the node corresponding to the field `op`. */ final string getOp() { @@ -741,7 +741,7 @@ module Swift { final AstNode getKey(int i) { swift_dictionary_type_key(this, i, result) } /** Gets the node corresponding to the field `name`. */ - final AstNode getName(int i) { swift_dictionary_type_name(this, i, result) } + final UnannotatedType getName(int i) { swift_dictionary_type_name(this, i, result) } /** Gets the node corresponding to the field `value`. */ final AstNode getValue(int i) { swift_dictionary_type_value(this, i, result) } @@ -881,7 +881,7 @@ module Swift { final override string getAPrimaryQlClass() { result = "EnumTypeParameters" } /** Gets the node corresponding to the field `name`. */ - final AstNode getName(int i) { swift_enum_type_parameters_name(this, i, result) } + final UnannotatedType getName(int i) { swift_enum_type_parameters_name(this, i, result) } /** Gets the `i`th child of this node. */ final AstNode getChild(int i) { swift_enum_type_parameters_child(this, i, result) } @@ -907,7 +907,7 @@ module Swift { final AstNode getMustEqual(int i) { swift_equality_constraint_must_equal(this, i, result) } /** Gets the node corresponding to the field `name`. */ - final AstNode getName() { swift_equality_constraint_def(this, result) } + final UnannotatedType getName() { swift_equality_constraint_def(this, result) } /** Gets the `i`th child of this node. */ final Attribute getChild(int i) { swift_equality_constraint_child(this, i, result) } @@ -958,7 +958,7 @@ module Swift { final override string getAPrimaryQlClass() { result = "ExistentialType" } /** Gets the child of this node. */ - final AstNode getChild() { swift_existential_type_def(this, result) } + final UnannotatedType getChild() { swift_existential_type_def(this, result) } /** Gets a field or child node of this node. */ final override AstNode getAFieldOrChild() { swift_existential_type_def(this, result) } @@ -1062,10 +1062,10 @@ module Swift { final override string getAPrimaryQlClass() { result = "FunctionType" } /** Gets the node corresponding to the field `name`. */ - final AstNode getName() { swift_function_type_def(this, result, _) } + final UnannotatedType getName() { swift_function_type_def(this, result, _) } /** Gets the node corresponding to the field `params`. */ - final AstNode getParams() { swift_function_type_def(this, _, result) } + final UnannotatedType getParams() { swift_function_type_def(this, _, result) } /** Gets the node corresponding to the field `return_type`. */ final AstNode getReturnType(int i) { swift_function_type_return_type(this, i, result) } @@ -1141,7 +1141,7 @@ module Swift { } /** Gets the node corresponding to the field `name`. */ - final AstNode getName() { swift_if_condition_name(this, result) } + final UnannotatedType getName() { swift_if_condition_name(this, result) } /** Gets the `i`th child of this node. */ final AstNode getChild(int i) { swift_if_condition_child(this, i, result) } @@ -1221,7 +1221,7 @@ module Swift { } /** Gets the node corresponding to the field `name`. */ - final AstNode getName() { swift_inheritance_constraint_def(this, result) } + final UnannotatedType getName() { swift_inheritance_constraint_def(this, result) } /** Gets the `i`th child of this node. */ final Attribute getChild(int i) { swift_inheritance_constraint_child(this, i, result) } @@ -1346,7 +1346,7 @@ module Swift { final override string getAPrimaryQlClass() { result = "LambdaFunctionType" } /** Gets the node corresponding to the field `name`. */ - final AstNode getName() { swift_lambda_function_type_name(this, result) } + final UnannotatedType getName() { swift_lambda_function_type_name(this, result) } /** Gets the node corresponding to the field `return_type`. */ final AstNode getReturnType(int i) { swift_lambda_function_type_return_type(this, i, result) } @@ -1512,7 +1512,7 @@ module Swift { final override string getAPrimaryQlClass() { result = "Metatype" } /** Gets the child of this node. */ - final AstNode getChild() { swift_metatype_def(this, result) } + final UnannotatedType getChild() { swift_metatype_def(this, result) } /** Gets a field or child node of this node. */ final override AstNode getAFieldOrChild() { swift_metatype_def(this, result) } @@ -1673,7 +1673,7 @@ module Swift { final override string getAPrimaryQlClass() { result = "OpaqueType" } /** Gets the child of this node. */ - final AstNode getChild() { swift_opaque_type_def(this, result) } + final UnannotatedType getChild() { swift_opaque_type_def(this, result) } /** Gets a field or child node of this node. */ final override AstNode getAFieldOrChild() { swift_opaque_type_def(this, result) } @@ -1800,7 +1800,7 @@ module Swift { final SimpleIdentifier getBoundIdentifier() { swift_pattern_bound_identifier(this, result) } /** Gets the node corresponding to the field `name`. */ - final AstNode getName() { swift_pattern_name(this, result) } + final UnannotatedType getName() { swift_pattern_name(this, result) } /** Gets the `i`th child of this node. */ final AstNode getChild(int i) { swift_pattern_child(this, i, result) } @@ -1966,7 +1966,7 @@ module Swift { final override string getAPrimaryQlClass() { result = "ProtocolCompositionType" } /** Gets the `i`th child of this node. */ - final AstNode getChild(int i) { swift_protocol_composition_type_child(this, i, result) } + final UnannotatedType getChild(int i) { swift_protocol_composition_type_child(this, i, result) } /** Gets a field or child node of this node. */ final override AstNode getAFieldOrChild() { @@ -2301,7 +2301,7 @@ module Swift { } /** Gets the node corresponding to the field `name`. */ - final AstNode getName() { swift_subscript_declaration_name(this, result) } + final UnannotatedType getName() { swift_subscript_declaration_name(this, result) } /** Gets the node corresponding to the field `return_type`. */ final AstNode getReturnType(int i) { swift_subscript_declaration_return_type(this, i, result) } @@ -2417,7 +2417,7 @@ module Swift { final override string getAPrimaryQlClass() { result = "ThrowsClause" } /** Gets the node corresponding to the field `type`. */ - final AstNode getType() { swift_throws_clause_def(this, result) } + final UnannotatedType getType() { swift_throws_clause_def(this, result) } /** Gets a field or child node of this node. */ final override AstNode getAFieldOrChild() { swift_throws_clause_def(this, result) } @@ -2512,7 +2512,7 @@ module Swift { final override string getAPrimaryQlClass() { result = "TypeAnnotation" } /** Gets the node corresponding to the field `name`. */ - final AstNode getName() { swift_type_annotation_def(this, result) } + final UnannotatedType getName() { swift_type_annotation_def(this, result) } /** Gets the node corresponding to the field `type`. */ final AstNode getType(int i) { swift_type_annotation_type(this, i, result) } @@ -2529,7 +2529,7 @@ module Swift { final override string getAPrimaryQlClass() { result = "TypeArguments" } /** Gets the node corresponding to the field `name`. */ - final AstNode getName(int i) { swift_type_arguments_name(this, i, result) } + final UnannotatedType getName(int i) { swift_type_arguments_name(this, i, result) } /** Gets the `i`th child of this node. */ final TypeModifiers getChild(int i) { swift_type_arguments_child(this, i, result) } @@ -2588,7 +2588,7 @@ module Swift { final override string getAPrimaryQlClass() { result = "TypePackExpansion" } /** Gets the child of this node. */ - final AstNode getChild() { swift_type_pack_expansion_def(this, result) } + final UnannotatedType getChild() { swift_type_pack_expansion_def(this, result) } /** Gets a field or child node of this node. */ final override AstNode getAFieldOrChild() { swift_type_pack_expansion_def(this, result) } @@ -2600,7 +2600,7 @@ module Swift { final override string getAPrimaryQlClass() { result = "TypeParameter" } /** Gets the node corresponding to the field `name`. */ - final AstNode getName() { swift_type_parameter_name(this, result) } + final UnannotatedType getName() { swift_type_parameter_name(this, result) } /** Gets the `i`th child of this node. */ final AstNode getChild(int i) { swift_type_parameter_child(this, i, result) } @@ -2631,7 +2631,7 @@ module Swift { final override string getAPrimaryQlClass() { result = "TypeParameterPack" } /** Gets the child of this node. */ - final AstNode getChild() { swift_type_parameter_pack_def(this, result) } + final UnannotatedType getChild() { swift_type_parameter_pack_def(this, result) } /** Gets a field or child node of this node. */ final override AstNode getAFieldOrChild() { swift_type_parameter_pack_def(this, result) } @@ -2671,6 +2671,8 @@ module Swift { } } + class UnannotatedType extends @swift_unannotated_type, AstNode { } + /** A class representing `user_type` nodes. */ class UserType extends @swift_user_type, AstNode { /** Gets the name of the primary QL class for this element. */ diff --git a/unified/ql/lib/unified.dbscheme b/unified/ql/lib/unified.dbscheme index 3466de92c92..d78f5fe5fc6 100644 --- a/unified/ql/lib/unified.dbscheme +++ b/unified/ql/lib/unified.dbscheme @@ -156,7 +156,7 @@ swift_array_literal_def( unique int id: @swift_array_literal ); -@swift_array_type_element_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_modifiers | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_array_type_element_type = @swift_type_modifiers | @swift_unannotated_type #keyset[swift_array_type, index] swift_array_type_element( @@ -165,16 +165,12 @@ swift_array_type_element( unique int element: @swift_array_type_element_type ref ); -@swift_array_type_name_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type - swift_array_type_def( unique int id: @swift_array_type, - int name: @swift_array_type_name_type ref + int name: @swift_unannotated_type ref ); -@swift_as_expression_name_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type - -@swift_as_expression_type_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_modifiers | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_as_expression_type_type = @swift_type_modifiers | @swift_unannotated_type #keyset[swift_as_expression, index] swift_as_expression_type( @@ -186,7 +182,7 @@ swift_as_expression_type( swift_as_expression_def( unique int id: @swift_as_expression, int expr: @swift_expression ref, - int name: @swift_as_expression_name_type ref, + int name: @swift_unannotated_type ref, int child: @swift_token_as_operator ref ); @@ -207,7 +203,7 @@ swift_assignment_def( int target: @swift_directly_assignable_expression ref ); -@swift_associatedtype_declaration_default_value_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_modifiers | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_associatedtype_declaration_default_value_type = @swift_type_modifiers | @swift_unannotated_type #keyset[swift_associatedtype_declaration, index] swift_associatedtype_declaration_default_value( @@ -216,7 +212,7 @@ swift_associatedtype_declaration_default_value( unique int default_value: @swift_associatedtype_declaration_default_value_type ref ); -@swift_associatedtype_declaration_must_inherit_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_modifiers | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_associatedtype_declaration_must_inherit_type = @swift_type_modifiers | @swift_unannotated_type #keyset[swift_associatedtype_declaration, index] swift_associatedtype_declaration_must_inherit( @@ -225,7 +221,7 @@ swift_associatedtype_declaration_must_inherit( unique int must_inherit: @swift_associatedtype_declaration_must_inherit_type ref ); -@swift_associatedtype_declaration_name_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_token_type_identifier | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_associatedtype_declaration_name_type = @swift_token_type_identifier | @swift_unannotated_type #keyset[swift_associatedtype_declaration, index] swift_associatedtype_declaration_name( @@ -382,14 +378,12 @@ swift_catch_block_def( unique int id: @swift_catch_block ); -@swift_check_expression_name_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type - case @swift_check_expression.op of 0 = @swift_check_expression_is ; -@swift_check_expression_type_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_modifiers | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_check_expression_type_type = @swift_type_modifiers | @swift_unannotated_type #keyset[swift_check_expression, index] swift_check_expression_type( @@ -400,7 +394,7 @@ swift_check_expression_type( swift_check_expression_def( unique int id: @swift_check_expression, - int name: @swift_check_expression_name_type ref, + int name: @swift_unannotated_type ref, int op: int ref, int target: @swift_expression ref ); @@ -429,7 +423,7 @@ case @swift_class_declaration.declaration_kind of ; -@swift_class_declaration_name_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_token_type_identifier | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_class_declaration_name_type = @swift_token_type_identifier | @swift_unannotated_type @swift_class_declaration_child_type = @swift_attribute | @swift_inheritance_specifier | @swift_modifiers | @swift_token_inheritance_modifier | @swift_token_ownership_modifier | @swift_token_property_behavior_modifier | @swift_type_constraints | @swift_type_parameters @@ -613,7 +607,7 @@ swift_dictionary_literal_def( unique int id: @swift_dictionary_literal ); -@swift_dictionary_type_key_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_modifiers | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_dictionary_type_key_type = @swift_type_modifiers | @swift_unannotated_type #keyset[swift_dictionary_type, index] swift_dictionary_type_key( @@ -622,16 +616,14 @@ swift_dictionary_type_key( unique int key__: @swift_dictionary_type_key_type ref ); -@swift_dictionary_type_name_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type - #keyset[swift_dictionary_type, index] swift_dictionary_type_name( int swift_dictionary_type: @swift_dictionary_type ref, int index: int ref, - unique int name: @swift_dictionary_type_name_type ref + unique int name: @swift_unannotated_type ref ); -@swift_dictionary_type_value_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_modifiers | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_dictionary_type_value_type = @swift_type_modifiers | @swift_unannotated_type #keyset[swift_dictionary_type, index] swift_dictionary_type_value( @@ -743,13 +735,11 @@ swift_enum_entry_def( unique int id: @swift_enum_entry ); -@swift_enum_type_parameters_name_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type - #keyset[swift_enum_type_parameters, index] swift_enum_type_parameters_name( int swift_enum_type_parameters: @swift_enum_type_parameters ref, int index: int ref, - unique int name: @swift_enum_type_parameters_name_type ref + unique int name: @swift_unannotated_type ref ); @swift_enum_type_parameters_child_type = @swift_expression | @swift_token_wildcard_pattern | @swift_type_modifiers @@ -765,7 +755,7 @@ swift_enum_type_parameters_def( unique int id: @swift_enum_type_parameters ); -@swift_equality_constraint_constrained_type_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_identifier | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_reserved_word | @swift_suppressed_constraint | @swift_token_simple_identifier | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_equality_constraint_constrained_type_type = @swift_identifier | @swift_reserved_word | @swift_token_simple_identifier | @swift_unannotated_type #keyset[swift_equality_constraint, index] swift_equality_constraint_constrained_type( @@ -774,7 +764,7 @@ swift_equality_constraint_constrained_type( unique int constrained_type: @swift_equality_constraint_constrained_type_type ref ); -@swift_equality_constraint_must_equal_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_modifiers | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_equality_constraint_must_equal_type = @swift_type_modifiers | @swift_unannotated_type #keyset[swift_equality_constraint, index] swift_equality_constraint_must_equal( @@ -783,8 +773,6 @@ swift_equality_constraint_must_equal( unique int must_equal: @swift_equality_constraint_must_equal_type ref ); -@swift_equality_constraint_name_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type - #keyset[swift_equality_constraint, index] swift_equality_constraint_child( int swift_equality_constraint: @swift_equality_constraint ref, @@ -794,7 +782,7 @@ swift_equality_constraint_child( swift_equality_constraint_def( unique int id: @swift_equality_constraint, - int name: @swift_equality_constraint_name_type ref + int name: @swift_unannotated_type ref ); case @swift_equality_expression.op of @@ -812,11 +800,9 @@ swift_equality_expression_def( int rhs: @swift_expression ref ); -@swift_existential_type_child_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type - swift_existential_type_def( unique int id: @swift_existential_type, - int child: @swift_existential_type_child_type ref + int child: @swift_unannotated_type ref ); @swift_expression = @swift_additive_expression | @swift_array_literal | @swift_as_expression | @swift_assignment | @swift_await_expression | @swift_bitwise_operation | @swift_call_expression | @swift_check_expression | @swift_comparison_expression | @swift_conjunction_expression | @swift_constructor_expression | @swift_dictionary_literal | @swift_directive | @swift_disjunction_expression | @swift_equality_expression | @swift_if_statement | @swift_infix_expression | @swift_key_path_expression | @swift_key_path_string_expression | @swift_lambda_literal | @swift_line_string_literal | @swift_macro_invocation | @swift_multi_line_string_literal | @swift_multiplicative_expression | @swift_navigation_expression | @swift_nil_coalescing_expression | @swift_open_end_range_expression | @swift_open_start_range_expression | @swift_optional_chain_marker | @swift_playground_literal | @swift_postfix_expression | @swift_prefix_expression | @swift_range_expression | @swift_raw_string_literal | @swift_referenceable_operator | @swift_reserved_word | @swift_selector_expression | @swift_switch_statement | @swift_ternary_expression | @swift_token_bin_literal | @swift_token_boolean_literal | @swift_token_diagnostic | @swift_token_fully_open_range | @swift_token_hex_literal | @swift_token_integer_literal | @swift_token_oct_literal | @swift_token_real_literal | @swift_token_regex_literal | @swift_token_self_expression | @swift_token_simple_identifier | @swift_token_special_literal | @swift_token_super_expression | @swift_try_expression | @swift_tuple_expression | @swift_value_pack_expansion | @swift_value_parameter_pack @@ -857,7 +843,7 @@ swift_function_declaration_default_value( unique int default_value: @swift_expression ref ); -@swift_function_declaration_name_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_referenceable_operator | @swift_suppressed_constraint | @swift_token_simple_identifier | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_function_declaration_name_type = @swift_referenceable_operator | @swift_token_simple_identifier | @swift_unannotated_type #keyset[swift_function_declaration, index] swift_function_declaration_name( @@ -866,7 +852,7 @@ swift_function_declaration_name( unique int name: @swift_function_declaration_name_type ref ); -@swift_function_declaration_return_type_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_reserved_word | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_modifiers | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_function_declaration_return_type_type = @swift_reserved_word | @swift_type_modifiers | @swift_unannotated_type #keyset[swift_function_declaration, index] swift_function_declaration_return_type( @@ -889,11 +875,7 @@ swift_function_declaration_def( int body: @swift_function_body ref ); -@swift_function_type_name_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type - -@swift_function_type_params_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type - -@swift_function_type_return_type_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_modifiers | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_function_type_return_type_type = @swift_type_modifiers | @swift_unannotated_type #keyset[swift_function_type, index] swift_function_type_return_type( @@ -911,8 +893,8 @@ swift_function_type_child( swift_function_type_def( unique int id: @swift_function_type, - int name: @swift_function_type_name_type ref, - int params: @swift_function_type_params_type ref + int name: @swift_unannotated_type ref, + int params: @swift_unannotated_type ref ); @swift_getter_specifier_child_type = @swift_throws_clause | @swift_token_mutation_modifier | @swift_token_throws @@ -964,11 +946,9 @@ swift_if_condition_bound_identifier( unique int bound_identifier: @swift_token_simple_identifier ref ); -@swift_if_condition_name_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type - swift_if_condition_name( unique int swift_if_condition: @swift_if_condition ref, - unique int name: @swift_if_condition_name_type ref + unique int name: @swift_unannotated_type ref ); @swift_if_condition_child_type = @swift_availability_condition | @swift_expression | @swift_pattern | @swift_token_wildcard_pattern | @swift_type_annotation | @swift_type_modifiers | @swift_user_type | @swift_value_binding_pattern | @swift_where_clause @@ -1024,7 +1004,7 @@ swift_infix_expression_def( int rhs: @swift_expression ref ); -@swift_inheritance_constraint_constrained_type_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_identifier | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_reserved_word | @swift_suppressed_constraint | @swift_token_simple_identifier | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_inheritance_constraint_constrained_type_type = @swift_identifier | @swift_reserved_word | @swift_token_simple_identifier | @swift_unannotated_type #keyset[swift_inheritance_constraint, index] swift_inheritance_constraint_constrained_type( @@ -1033,7 +1013,7 @@ swift_inheritance_constraint_constrained_type( unique int constrained_type: @swift_inheritance_constraint_constrained_type_type ref ); -@swift_inheritance_constraint_inherits_from_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_reserved_word | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_modifiers | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_inheritance_constraint_inherits_from_type = @swift_reserved_word | @swift_type_modifiers | @swift_unannotated_type #keyset[swift_inheritance_constraint, index] swift_inheritance_constraint_inherits_from( @@ -1042,8 +1022,6 @@ swift_inheritance_constraint_inherits_from( unique int inherits_from: @swift_inheritance_constraint_inherits_from_type ref ); -@swift_inheritance_constraint_name_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type - #keyset[swift_inheritance_constraint, index] swift_inheritance_constraint_child( int swift_inheritance_constraint: @swift_inheritance_constraint ref, @@ -1053,7 +1031,7 @@ swift_inheritance_constraint_child( swift_inheritance_constraint_def( unique int id: @swift_inheritance_constraint, - int name: @swift_inheritance_constraint_name_type ref + int name: @swift_unannotated_type ref ); @swift_inheritance_specifier_inherits_from_type = @swift_function_type | @swift_suppressed_constraint | @swift_user_type @@ -1138,14 +1116,12 @@ swift_key_path_string_expression_def( int child: @swift_expression ref ); -@swift_lambda_function_type_name_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type - swift_lambda_function_type_name( unique int swift_lambda_function_type: @swift_lambda_function_type ref, - unique int name: @swift_lambda_function_type_name_type ref + unique int name: @swift_unannotated_type ref ); -@swift_lambda_function_type_return_type_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_reserved_word | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_modifiers | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_lambda_function_type_return_type_type = @swift_reserved_word | @swift_type_modifiers | @swift_unannotated_type #keyset[swift_lambda_function_type, index] swift_lambda_function_type_return_type( @@ -1206,7 +1182,7 @@ swift_lambda_parameter_external_name( unique int external_name: @swift_token_simple_identifier ref ); -@swift_lambda_parameter_name_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_token_simple_identifier | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_lambda_parameter_name_type = @swift_token_simple_identifier | @swift_unannotated_type #keyset[swift_lambda_parameter, index] swift_lambda_parameter_name( @@ -1215,7 +1191,7 @@ swift_lambda_parameter_name( unique int name: @swift_lambda_parameter_name_type ref ); -@swift_lambda_parameter_type_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_reserved_word | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_modifiers | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_lambda_parameter_type_type = @swift_reserved_word | @swift_type_modifiers | @swift_unannotated_type #keyset[swift_lambda_parameter, index] swift_lambda_parameter_type( @@ -1267,7 +1243,7 @@ swift_macro_declaration_definition( unique int definition: @swift_macro_definition ref ); -@swift_macro_declaration_child_type = @swift_array_type | @swift_attribute | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_modifiers | @swift_opaque_type | @swift_optional_type | @swift_parameter | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_token_simple_identifier | @swift_tuple_type | @swift_type_constraints | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_type_parameters | @swift_user_type +@swift_macro_declaration_child_type = @swift_attribute | @swift_modifiers | @swift_parameter | @swift_token_simple_identifier | @swift_type_constraints | @swift_type_parameters | @swift_unannotated_type #keyset[swift_macro_declaration, index] swift_macro_declaration_child( @@ -1300,11 +1276,9 @@ swift_macro_invocation_def( unique int id: @swift_macro_invocation ); -@swift_metatype_child_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type - swift_metatype_def( unique int id: @swift_metatype, - int child: @swift_metatype_child_type ref + int child: @swift_unannotated_type ref ); @swift_modifiers_child_type = @swift_attribute | @swift_token_function_modifier | @swift_token_inheritance_modifier | @swift_token_member_modifier | @swift_token_mutation_modifier | @swift_token_ownership_modifier | @swift_token_parameter_modifier | @swift_token_property_behavior_modifier | @swift_token_property_modifier | @swift_token_visibility_modifier @@ -1397,11 +1371,9 @@ swift_nil_coalescing_expression_def( int value: @swift_expression ref ); -@swift_opaque_type_child_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type - swift_opaque_type_def( unique int id: @swift_opaque_type, - int child: @swift_opaque_type_child_type ref + int child: @swift_unannotated_type ref ); swift_open_end_range_expression_def( @@ -1444,7 +1416,7 @@ swift_parameter_external_name( unique int external_name: @swift_token_simple_identifier ref ); -@swift_parameter_name_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_token_simple_identifier | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_parameter_name_type = @swift_token_simple_identifier | @swift_unannotated_type #keyset[swift_parameter, index] swift_parameter_name( @@ -1453,7 +1425,7 @@ swift_parameter_name( unique int name: @swift_parameter_name_type ref ); -@swift_parameter_type_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_reserved_word | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_modifiers | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_parameter_type_type = @swift_reserved_word | @swift_type_modifiers | @swift_unannotated_type #keyset[swift_parameter, index] swift_parameter_type( @@ -1487,11 +1459,9 @@ swift_pattern_bound_identifier( unique int bound_identifier: @swift_token_simple_identifier ref ); -@swift_pattern_name_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type - swift_pattern_name( unique int swift_pattern: @swift_pattern ref, - unique int name: @swift_pattern_name_type ref + unique int name: @swift_unannotated_type ref ); @swift_pattern_child_type = @swift_expression | @swift_pattern | @swift_token_wildcard_pattern | @swift_type_modifiers | @swift_user_type | @swift_value_binding_pattern @@ -1625,13 +1595,11 @@ swift_protocol_body_def( unique int id: @swift_protocol_body ); -@swift_protocol_composition_type_child_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type - #keyset[swift_protocol_composition_type, index] swift_protocol_composition_type_child( int swift_protocol_composition_type: @swift_protocol_composition_type ref, int index: int ref, - unique int child: @swift_protocol_composition_type_child_type ref + unique int child: @swift_unannotated_type ref ); swift_protocol_composition_type_def( @@ -1666,7 +1634,7 @@ swift_protocol_function_declaration_default_value( unique int default_value: @swift_expression ref ); -@swift_protocol_function_declaration_name_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_referenceable_operator | @swift_suppressed_constraint | @swift_token_simple_identifier | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_protocol_function_declaration_name_type = @swift_referenceable_operator | @swift_token_simple_identifier | @swift_unannotated_type #keyset[swift_protocol_function_declaration, index] swift_protocol_function_declaration_name( @@ -1675,7 +1643,7 @@ swift_protocol_function_declaration_name( unique int name: @swift_protocol_function_declaration_name_type ref ); -@swift_protocol_function_declaration_return_type_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_reserved_word | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_modifiers | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_protocol_function_declaration_return_type_type = @swift_reserved_word | @swift_type_modifiers | @swift_unannotated_type #keyset[swift_protocol_function_declaration, index] swift_protocol_function_declaration_return_type( @@ -1850,14 +1818,12 @@ swift_subscript_declaration_default_value( unique int default_value: @swift_expression ref ); -@swift_subscript_declaration_name_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type - swift_subscript_declaration_name( unique int swift_subscript_declaration: @swift_subscript_declaration ref, - unique int name: @swift_subscript_declaration_name_type ref + unique int name: @swift_unannotated_type ref ); -@swift_subscript_declaration_return_type_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_reserved_word | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_modifiers | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_subscript_declaration_return_type_type = @swift_reserved_word | @swift_type_modifiers | @swift_unannotated_type #keyset[swift_subscript_declaration, index] swift_subscript_declaration_return_type( @@ -1921,11 +1887,9 @@ swift_ternary_expression_def( int if_true: @swift_expression ref ); -@swift_throws_clause_type_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type - swift_throws_clause_def( unique int id: @swift_throws_clause, - int type__: @swift_throws_clause_type_type ref + int type__: @swift_unannotated_type ref ); swift_try_expression_def( @@ -1975,7 +1939,7 @@ swift_tuple_type_item_element( unique int element: @swift_tuple_type_item_element_type ref ); -@swift_tuple_type_item_name_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_token_simple_identifier | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_tuple_type_item_name_type = @swift_token_simple_identifier | @swift_unannotated_type #keyset[swift_tuple_type_item, index] swift_tuple_type_item_name( @@ -1984,7 +1948,7 @@ swift_tuple_type_item_name( unique int name: @swift_tuple_type_item_name_type ref ); -@swift_tuple_type_item_type_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_modifiers | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_tuple_type_item_type_type = @swift_type_modifiers | @swift_unannotated_type #keyset[swift_tuple_type_item, index] swift_tuple_type_item_type( @@ -2006,9 +1970,7 @@ swift_tuple_type_item_def( unique int id: @swift_tuple_type_item ); -@swift_type_annotation_name_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type - -@swift_type_annotation_type_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_reserved_word | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_modifiers | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_type_annotation_type_type = @swift_reserved_word | @swift_type_modifiers | @swift_unannotated_type #keyset[swift_type_annotation, index] swift_type_annotation_type( @@ -2019,16 +1981,14 @@ swift_type_annotation_type( swift_type_annotation_def( unique int id: @swift_type_annotation, - int name: @swift_type_annotation_name_type ref + int name: @swift_unannotated_type ref ); -@swift_type_arguments_name_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type - #keyset[swift_type_arguments, index] swift_type_arguments_name( int swift_type_arguments: @swift_type_arguments ref, int index: int ref, - unique int name: @swift_type_arguments_name_type ref + unique int name: @swift_unannotated_type ref ); #keyset[swift_type_arguments, index] @@ -2073,18 +2033,14 @@ swift_type_modifiers_def( unique int id: @swift_type_modifiers ); -@swift_type_pack_expansion_child_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type - swift_type_pack_expansion_def( unique int id: @swift_type_pack_expansion, - int child: @swift_type_pack_expansion_child_type ref + int child: @swift_unannotated_type ref ); -@swift_type_parameter_name_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type - swift_type_parameter_name( unique int swift_type_parameter: @swift_type_parameter ref, - unique int name: @swift_type_parameter_name_type ref + unique int name: @swift_unannotated_type ref ); @swift_type_parameter_child_type = @swift_token_type_identifier | @swift_type_modifiers | @swift_type_parameter_modifiers | @swift_type_parameter_pack @@ -2111,11 +2067,9 @@ swift_type_parameter_modifiers_def( unique int id: @swift_type_parameter_modifiers ); -@swift_type_parameter_pack_child_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type - swift_type_parameter_pack_def( unique int id: @swift_type_parameter_pack, - int child: @swift_type_parameter_pack_child_type ref + int child: @swift_unannotated_type ref ); @swift_type_parameters_child_type = @swift_type_constraints | @swift_type_parameter @@ -2131,7 +2085,7 @@ swift_type_parameters_def( unique int id: @swift_type_parameters ); -@swift_typealias_declaration_name_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_token_type_identifier | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_typealias_declaration_name_type = @swift_token_type_identifier | @swift_unannotated_type #keyset[swift_typealias_declaration, index] swift_typealias_declaration_name( @@ -2140,7 +2094,7 @@ swift_typealias_declaration_name( unique int name: @swift_typealias_declaration_name_type ref ); -@swift_typealias_declaration_value_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_modifiers | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type +@swift_typealias_declaration_value_type = @swift_type_modifiers | @swift_unannotated_type #keyset[swift_typealias_declaration, index] swift_typealias_declaration_value( @@ -2162,6 +2116,8 @@ swift_typealias_declaration_def( unique int id: @swift_typealias_declaration ); +@swift_unannotated_type = @swift_array_type | @swift_dictionary_type | @swift_existential_type | @swift_function_type | @swift_metatype | @swift_opaque_type | @swift_optional_type | @swift_protocol_composition_type | @swift_suppressed_constraint | @swift_tuple_type | @swift_type_pack_expansion | @swift_type_parameter_pack | @swift_user_type + @swift_user_type_child_type = @swift_token_type_identifier | @swift_type_arguments #keyset[swift_user_type, index]