rbs 3.9.4 → 4.2.0

data/config.yml

@@ -1,317 +1,920 @@
+# See `docs/config.md` for quick documentation of this file format.
+
 nodes:
   - name: RBS::AST::Annotation
+    rust_name: AnnotationNode
     fields:
       - name: string
-      - name: location
+        c_type: rbs_string
+  - name: RBS::AST::Bool
+    rust_name: BoolNode
+    expose_to_ruby: false
+    expose_location: false
+    fields:
+      - name: value
+        c_type: bool
   - name: RBS::AST::Comment
+    rust_name: CommentNode
     fields:
       - name: string
-      - name: location
+        c_type: rbs_string
   - name: RBS::AST::Declarations::Class
+    rust_name: ClassNode
     fields:
       - name: name
+        c_type: rbs_type_name
       - name: type_params
+        c_type: rbs_node_list
       - name: super_class
+        c_type: rbs_ast_declarations_class_super
+        optional: true  # NULL when no superclass (e.g., `class Foo end` vs `class Foo < Bar end`)
       - name: members
+        c_type: rbs_node_list
       - name: annotations
-      - name: location
+        c_type: rbs_node_list
       - name: comment
+        c_type: rbs_ast_comment
+        optional: true  # NULL when no comment precedes the declaration
+    locations:
+      - required: keyword
+      - required: name
+      - required: end
+      - optional: type_params
+      - optional: lt
   - name: RBS::AST::Declarations::Class::Super
+    rust_name: ClassSuperNode
     fields:
       - name: name
+        c_type: rbs_type_name
       - name: args
-      - name: location
+        c_type: rbs_node_list
+    locations:
+      - required: name
+      - optional: args
   - name: RBS::AST::Declarations::ClassAlias
+    rust_name: ClassAliasNode
     fields:
       - name: new_name
+        c_type: rbs_type_name
       - name: old_name
-      - name: location
+        c_type: rbs_type_name
       - name: comment
+        c_type: rbs_ast_comment
+        optional: true  # NULL when no comment precedes the declaration
       - name: annotations
+        c_type: rbs_node_list
+    locations:
+      - required: keyword
+      - required: new_name
+      - required: eq
+      - required: old_name
   - name: RBS::AST::Declarations::Constant
+    rust_name: ConstantNode
     fields:
       - name: name
+        c_type: rbs_type_name
       - name: type
-      - name: location
+        c_type: rbs_node
       - name: comment
+        c_type: rbs_ast_comment
+        optional: true  # NULL when no comment precedes the declaration
       - name: annotations
+        c_type: rbs_node_list
+    locations:
+      - required: name
+      - required: colon
   - name: RBS::AST::Declarations::Global
+    rust_name: GlobalNode
     fields:
       - name: name
+        c_type: rbs_ast_symbol
       - name: type
-      - name: location
+        c_type: rbs_node
       - name: comment
+        c_type: rbs_ast_comment
+        optional: true  # NULL when no comment precedes the declaration
       - name: annotations
+        c_type: rbs_node_list
+    locations:
+      - required: name
+      - required: colon
   - name: RBS::AST::Declarations::Interface
+    rust_name: InterfaceNode
     fields:
       - name: name
+        c_type: rbs_type_name
       - name: type_params
+        c_type: rbs_node_list
       - name: members
+        c_type: rbs_node_list
       - name: annotations
-      - name: location
+        c_type: rbs_node_list
       - name: comment
+        c_type: rbs_ast_comment
+        optional: true  # NULL when no comment precedes the declaration
+    locations:
+      - required: keyword
+      - required: name
+      - required: end
+      - optional: type_params
   - name: RBS::AST::Declarations::Module
+    rust_name: ModuleNode
     fields:
       - name: name
+        c_type: rbs_type_name
       - name: type_params
+        c_type: rbs_node_list
       - name: self_types
+        c_type: rbs_node_list
       - name: members
+        c_type: rbs_node_list
       - name: annotations
-      - name: location
+        c_type: rbs_node_list
       - name: comment
+        c_type: rbs_ast_comment
+        optional: true  # NULL when no comment precedes the declaration
+    locations:
+      - required: keyword
+      - required: name
+      - required: end
+      - optional: type_params        
+      - optional: colon
+      - optional: self_types
   - name: RBS::AST::Declarations::Module::Self
+    rust_name: ModuleSelfNode
     fields:
       - name: name
+        c_type: rbs_type_name
       - name: args
-      - name: location
+        c_type: rbs_node_list
+    locations:
+      - required: name
+      - optional: args
   - name: RBS::AST::Declarations::ModuleAlias
+    rust_name: ModuleAliasNode
     fields:
       - name: new_name
+        c_type: rbs_type_name
       - name: old_name
-      - name: location
+        c_type: rbs_type_name
       - name: comment
+        c_type: rbs_ast_comment
+        optional: true  # NULL when no comment precedes the declaration
       - name: annotations
+        c_type: rbs_node_list
+    locations:
+      - required: keyword
+      - required: new_name
+      - required: eq
+      - required: old_name
   - name: RBS::AST::Declarations::TypeAlias
+    rust_name: TypeAliasNode
     fields:
       - name: name
+        c_type: rbs_type_name
       - name: type_params
+        c_type: rbs_node_list
       - name: type
+        c_type: rbs_node
       - name: annotations
-      - name: location
+        c_type: rbs_node_list
       - name: comment
+        c_type: rbs_ast_comment
+        optional: true  # NULL when no comment precedes the declaration
+    locations:
+      - required: keyword
+      - required: name
+      - required: eq
+      - optional: type_params
   - name: RBS::AST::Directives::Use
+    rust_name: UseNode
     fields:
       - name: clauses
-      - name: location
+        c_type: rbs_node_list
+    locations:
+      - required: keyword
   - name: RBS::AST::Directives::Use::SingleClause
+    rust_name: UseSingleClauseNode
     fields:
       - name: type_name
+        c_type: rbs_type_name
       - name: new_name
-      - name: location
+        c_type: rbs_ast_symbol
+        optional: true  # NULL when no alias (e.g., `use Foo::Bar` vs `use Foo::Bar as Baz`)
+    locations:
+      - required: type_name
+      - optional: keyword
+      - optional: new_name
   - name: RBS::AST::Directives::Use::WildcardClause
+    rust_name: UseWildcardClauseNode
     fields:
       - name: namespace
-      - name: location
+        c_type: rbs_namespace
+        c_name: rbs_namespace
+    locations:
+      - required: namespace
+      - required: star
   - name: RBS::AST::Members::Alias
+    rust_name: AliasNode
     fields:
       - name: new_name
+        c_type: rbs_ast_symbol
       - name: old_name
+        c_type: rbs_ast_symbol
       - name: kind
+        c_type: alias_kind
       - name: annotations
-      - name: location
+        c_type: rbs_node_list
       - name: comment
+        c_type: rbs_ast_comment
+        optional: true  # NULL when no comment precedes the declaration
+    locations:
+      - required: keyword
+      - required: new_name
+      - required: old_name
+      - optional: new_kind
+      - optional: old_kind
   - name: RBS::AST::Members::AttrAccessor
+    rust_name: AttrAccessorNode
     fields:
       - name: name
+        c_type: rbs_ast_symbol
       - name: type
+        c_type: rbs_node
       - name: ivar_name
+        c_type: rbs_attr_ivar_name
       - name: kind
+        c_type: attribute_kind
       - name: annotations
-      - name: location
+        c_type: rbs_node_list
       - name: comment
+        c_type: rbs_ast_comment
+        optional: true  # NULL when no comment precedes the declaration
       - name: visibility
+        c_type: attribute_visibility
+    locations:
+      - required: keyword
+      - required: name
+      - required: colon
+      - optional: kind
+      - optional: ivar
+      - optional: ivar_name
+      - optional: visibility
   - name: RBS::AST::Members::AttrReader
+    rust_name: AttrReaderNode
     fields:
       - name: name
+        c_type: rbs_ast_symbol
       - name: type
+        c_type: rbs_node
       - name: ivar_name
+        c_type: rbs_attr_ivar_name
       - name: kind
+        c_type: attribute_kind
       - name: annotations
-      - name: location
+        c_type: rbs_node_list
       - name: comment
+        c_type: rbs_ast_comment
+        optional: true  # NULL when no comment precedes the declaration
       - name: visibility
+        c_type: attribute_visibility
+    locations:
+      - required: keyword
+      - required: name
+      - required: colon
+      - optional: kind
+      - optional: ivar
+      - optional: ivar_name
+      - optional: visibility
   - name: RBS::AST::Members::AttrWriter
+    rust_name: AttrWriterNode
     fields:
       - name: name
+        c_type: rbs_ast_symbol
       - name: type
+        c_type: rbs_node
       - name: ivar_name
+        c_type: rbs_attr_ivar_name
       - name: kind
+        c_type: attribute_kind
       - name: annotations
-      - name: location
+        c_type: rbs_node_list
       - name: comment
+        c_type: rbs_ast_comment
+        optional: true  # NULL when no comment precedes the declaration
       - name: visibility
+        c_type: attribute_visibility
+    locations:
+      - required: keyword
+      - required: name
+      - required: colon
+      - optional: kind
+      - optional: ivar
+      - optional: ivar_name
+      - optional: visibility
   - name: RBS::AST::Members::ClassInstanceVariable
+    rust_name: ClassInstanceVariableNode
     fields:
       - name: name
+        c_type: rbs_ast_symbol
       - name: type
-      - name: location
+        c_type: rbs_node
       - name: comment
+        c_type: rbs_ast_comment
+        optional: true  # NULL when no comment precedes the declaration
+    locations:
+      - required: name
+      - required: colon
+      - optional: kind
   - name: RBS::AST::Members::ClassVariable
+    rust_name: ClassVariableNode
     fields:
       - name: name
+        c_type: rbs_ast_symbol
       - name: type
-      - name: location
+        c_type: rbs_node
       - name: comment
+        c_type: rbs_ast_comment
+        optional: true  # NULL when no comment precedes the declaration
+    locations:
+      - required: name
+      - required: colon
+      - optional: kind
   - name: RBS::AST::Members::Extend
+    rust_name: ExtendNode
     fields:
       - name: name
+        c_type: rbs_type_name
       - name: args
+        c_type: rbs_node_list
       - name: annotations
-      - name: location
+        c_type: rbs_node_list
       - name: comment
+        c_type: rbs_ast_comment
+        optional: true  # NULL when no comment precedes the declaration
+    locations:
+      - required: name
+      - required: keyword
+      - optional: args
   - name: RBS::AST::Members::Include
+    rust_name: IncludeNode
     fields:
       - name: name
+        c_type: rbs_type_name
       - name: args
+        c_type: rbs_node_list
       - name: annotations
-      - name: location
+        c_type: rbs_node_list
       - name: comment
+        c_type: rbs_ast_comment
+        optional: true  # NULL when no comment precedes the declaration
+    locations:
+      - required: name
+      - required: keyword
+      - optional: args
   - name: RBS::AST::Members::InstanceVariable
+    rust_name: InstanceVariableNode
     fields:
       - name: name
+        c_type: rbs_ast_symbol
       - name: type
-      - name: location
+        c_type: rbs_node
       - name: comment
+        c_type: rbs_ast_comment
+        optional: true  # NULL when no comment precedes the declaration
+    locations:
+      - required: name
+      - required: colon
+      - optional: kind
   - name: RBS::AST::Members::MethodDefinition
+    rust_name: MethodDefinitionNode
     fields:
       - name: name
+        c_type: rbs_ast_symbol
       - name: kind
+        c_type: method_definition_kind
       - name: overloads
+        c_type: rbs_node_list
       - name: annotations
-      - name: location
+        c_type: rbs_node_list
       - name: comment
+        c_type: rbs_ast_comment
+        optional: true  # NULL when no comment precedes the declaration
       - name: overloading
+        c_type: bool
       - name: visibility
+        c_type: method_definition_visibility
+    locations:
+      - required: keyword
+      - required: name
+      - optional: kind
+      - optional: overloading
+      - optional: visibility
   - name: RBS::AST::Members::MethodDefinition::Overload
+    rust_name: MethodDefinitionOverloadNode
+    expose_location: false
     fields:
       - name: annotations
+        c_type: rbs_node_list
       - name: method_type
+        c_type: rbs_node
   - name: RBS::AST::Members::Prepend
+    rust_name: PrependNode
     fields:
       - name: name
+        c_type: rbs_type_name
       - name: args
+        c_type: rbs_node_list
       - name: annotations
-      - name: location
+        c_type: rbs_node_list
       - name: comment
+        c_type: rbs_ast_comment
+        optional: true  # NULL when no comment precedes the declaration
+    locations:
+      - required: name
+      - required: keyword
+      - optional: args
   - name: RBS::AST::Members::Private
-    fields:
-      - name: location
+    rust_name: PrivateNode
   - name: RBS::AST::Members::Public
-    fields:
-      - name: location
+    rust_name: PublicNode
   - name: RBS::AST::TypeParam
+    rust_name: TypeParamNode
     fields:
       - name: name
+        c_type: rbs_ast_symbol
       - name: variance
+        c_type: type_param_variance
       - name: upper_bound
+        c_type: rbs_node
+        optional: true  # NULL when no upper bound (e.g., `[T]` vs `[T < Bound]`)
+      - name: lower_bound
+        c_type: rbs_node
+        optional: true  # NULL when no lower bound (e.g., `[T]` vs `[T > Bound]`)
       - name: default_type
+        c_type: rbs_node
+        optional: true  # NULL when no default (e.g., `[T]` vs `[T = Default]`)
       - name: unchecked
-      - name: location
+        c_type: bool
+    locations:
+      - required: name
+      - optional: variance
+      - optional: unchecked
+      - optional: upper_bound
+      - optional: lower_bound
+      - optional: default
+  - name: RBS::AST::Integer
+    rust_name: IntegerNode
+    expose_to_ruby: false
+    expose_location: false
+    fields:
+      - name: string_representation
+        c_type: rbs_string
+  - name: RBS::AST::String
+    rust_name: StringNode
+    expose_to_ruby: false
+    expose_location: false
+    fields:
+      - name: string
+        c_type: rbs_string
   - name: RBS::MethodType
+    rust_name: MethodTypeNode
     fields:
       - name: type_params
+        c_type: rbs_node_list
       - name: type
+        c_type: rbs_node
       - name: block
-      - name: location
+        c_type: rbs_types_block
+        optional: true  # NULL when no block (e.g., `() -> void` vs `() { () -> void } -> void`)
+    locations:
+      - required: type
+      - optional: type_params
   - name: RBS::Namespace
+    rust_name: NamespaceNode
+    expose_location: false
     fields:
       - name: path
+        c_type: rbs_node_list
       - name: absolute
+        c_type: bool
+  - name: RBS::Signature
+    rust_name: SignatureNode
+    expose_to_ruby: false
+    expose_location: false
+    fields:
+      - name: directives
+        c_type: rbs_node_list
+      - name: declarations
+        c_type: rbs_node_list
   - name: RBS::TypeName
+    rust_name: TypeNameNode
+    expose_location: false
     fields:
       - name: namespace
+        c_type: rbs_namespace
+        c_name: rbs_namespace
       - name: name
+        c_type: rbs_ast_symbol
   - name: RBS::Types::Alias
+    rust_name: AliasTypeNode
     fields:
       - name: name
+        c_type: rbs_type_name
       - name: args
-      - name: location
+        c_type: rbs_node_list
+    locations:
+      - required: name
+      - optional: args
   - name: RBS::Types::Bases::Any
+    rust_name: AnyTypeNode
     fields:
       - name: todo
-      - name: location
+        c_type: bool
   - name: RBS::Types::Bases::Bool
-    fields:
-      - name: location
+    rust_name: BoolTypeNode
   - name: RBS::Types::Bases::Bottom
-    fields:
-      - name: location
+    rust_name: BottomTypeNode
   - name: RBS::Types::Bases::Class
-    fields:
-      - name: location
+    rust_name: ClassTypeNode
   - name: RBS::Types::Bases::Instance
-    fields:
-      - name: location
+    rust_name: InstanceTypeNode
   - name: RBS::Types::Bases::Nil
-    fields:
-      - name: location
+    rust_name: NilTypeNode
   - name: RBS::Types::Bases::Self
-    fields:
-      - name: location
+    rust_name: SelfTypeNode
   - name: RBS::Types::Bases::Top
-    fields:
-      - name: location
+    rust_name: TopTypeNode
   - name: RBS::Types::Bases::Void
-    fields:
-      - name: location
+    rust_name: VoidTypeNode
   - name: RBS::Types::Block
+    rust_name: BlockTypeNode
+    expose_location: true
     fields:
       - name: type
+        c_type: rbs_node
       - name: required
+        c_type: bool
       - name: self_type
+        c_type: rbs_node
+        optional: true  # NULL when no self binding (e.g., `{ () -> void }` vs `{ () [self: T] -> void }`)
   - name: RBS::Types::ClassInstance
+    rust_name: ClassInstanceTypeNode
     fields:
       - name: name
+        c_type: rbs_type_name
       - name: args
-      - name: location
+        c_type: rbs_node_list
+    locations:
+      - required: name
+      - optional: args
   - name: RBS::Types::ClassSingleton
+    rust_name: ClassSingletonTypeNode
     fields:
       - name: name
-      - name: location
+        c_type: rbs_type_name
+      - name: args
+        c_type: rbs_node_list
+    locations:
+      - required: name
+      - optional: args
   - name: RBS::Types::Function
+    rust_name: FunctionTypeNode
+    expose_location: false
     fields:
       - name: required_positionals
+        c_type: rbs_node_list
       - name: optional_positionals
+        c_type: rbs_node_list
       - name: rest_positionals
+        c_type: rbs_node
+        optional: true  # NULL when no splat (e.g., `(String) -> void` vs `(*String) -> void`)
       - name: trailing_positionals
+        c_type: rbs_node_list
       - name: required_keywords
+        c_type: rbs_hash
       - name: optional_keywords
+        c_type: rbs_hash
       - name: rest_keywords
+        c_type: rbs_node
+        optional: true  # NULL when no double-splat (e.g., `() -> void` vs `(**String) -> void`)
+      - name: forwarding
+        c_type: rbs_node
+        optional: true  # NULL when no forwarding parameter (e.g., `() -> void` vs `(...) -> void`)
       - name: return_type
+        c_type: rbs_node
   - name: RBS::Types::Function::Param
+    rust_name: FunctionParamNode
     fields:
       - name: type
+        c_type: rbs_node
       - name: name
-      - name: location
+        c_type: rbs_ast_symbol
+        optional: true  # NULL when param is unnamed (e.g., `(String) -> void` vs `(String name) -> void`)
+    locations:
+      - optional: name
+  - name: RBS::Types::Function::ForwardingParam
+    rust_name: FunctionForwardingParamNode
   - name: RBS::Types::Interface
+    rust_name: InterfaceTypeNode
     fields:
       - name: name
+        c_type: rbs_type_name
       - name: args
-      - name: location
+        c_type: rbs_node_list
+    locations:
+      - required: name
+      - optional: args
   - name: RBS::Types::Intersection
+    rust_name: IntersectionTypeNode
     fields:
       - name: types
-      - name: location
+        c_type: rbs_node_list
   - name: RBS::Types::Literal
+    rust_name: LiteralTypeNode
     fields:
       - name: literal
-      - name: location
+        c_type: rbs_node
   - name: RBS::Types::Optional
+    rust_name: OptionalTypeNode
     fields:
       - name: type
-      - name: location
+        c_type: rbs_node
   - name: RBS::Types::Proc
+    rust_name: ProcTypeNode
     fields:
       - name: type
+        c_type: rbs_node
       - name: block
-      - name: location
+        c_type: rbs_types_block
+        optional: true  # NULL when proc has no block (e.g., `^() -> void` vs `^() { () -> void } -> void`)
       - name: self_type
+        c_type: rbs_node
+        optional: true  # NULL when no self binding (e.g., `^() -> void` vs `^() [self: T] -> void`)
   - name: RBS::Types::Record
+    rust_name: RecordTypeNode
     fields:
       - name: all_fields
-      - name: location
+        c_type: rbs_hash
+  - name: RBS::Types::Record::FieldType
+    rust_name: RecordFieldTypeNode
+    expose_to_ruby: false
+    expose_location: false
+    fields:
+      - name: type
+        c_type: rbs_node
+      - name: required
+        c_type: bool
   - name: RBS::Types::Tuple
+    rust_name: TupleTypeNode
     fields:
       - name: types
-      - name: location
+        c_type: rbs_node_list
   - name: RBS::Types::Union
+    rust_name: UnionTypeNode
     fields:
       - name: types
-      - name: location
+        c_type: rbs_node_list
   - name: RBS::Types::UntypedFunction
+    rust_name: UntypedFunctionTypeNode
+    expose_location: false
     fields:
       - name: return_type
+        c_type: rbs_node
   - name: RBS::Types::Variable
+    rust_name: VariableTypeNode
     fields:
       - name: name
-      - name: location
+        c_type: rbs_ast_symbol
+  - name: RBS::AST::Ruby::Annotations::NodeTypeAssertion
+    rust_name: NodeTypeAssertionNode
+    fields:
+      - name: prefix_location
+        c_type: rbs_location_range
+      - name: type
+        c_type: rbs_node
+  - name: RBS::AST::Ruby::Annotations::ColonMethodTypeAnnotation
+    rust_name: ColonMethodTypeAnnotationNode
+    fields:
+      - name: prefix_location
+        c_type: rbs_location_range
+      - name: annotations
+        c_type: rbs_node_list
+      - name: method_type
+        c_type: rbs_node
+  - name: RBS::AST::Ruby::Annotations::MethodTypesAnnotation
+    rust_name: MethodTypesAnnotationNode
+    fields:
+      - name: prefix_location
+        c_type: rbs_location_range
+      - name: overloads
+        c_type: rbs_node_list
+      - name: vertical_bar_locations
+        c_type: rbs_location_range_list
+      - name: dot3_location
+        c_type: rbs_location_range
+        optional: true
+  - name: RBS::AST::Ruby::Annotations::SkipAnnotation
+    rust_name: SkipAnnotationNode
+    fields:
+      - name: prefix_location
+        c_type: rbs_location_range
+      - name: skip_location
+        c_type: rbs_location_range
+      - name: comment_location
+        c_type: rbs_location_range
+        optional: true
+  - name: RBS::AST::Ruby::Annotations::ReturnTypeAnnotation
+    rust_name: ReturnTypeAnnotationNode
+    fields:
+      - name: prefix_location
+        c_type: rbs_location_range
+      - name: return_location
+        c_type: rbs_location_range
+      - name: colon_location
+        c_type: rbs_location_range
+      - name: return_type
+        c_type: rbs_node
+      - name: comment_location
+        c_type: rbs_location_range
+        optional: true
+  - name: RBS::AST::Ruby::Annotations::TypeApplicationAnnotation
+    rust_name: TypeApplicationAnnotationNode
+    fields:
+      - name: prefix_location
+        c_type: rbs_location_range
+      - name: type_args
+        c_type: rbs_node_list
+      - name: close_bracket_location
+        c_type: rbs_location_range
+      - name: comma_locations
+        c_type: rbs_location_range_list
+  - name: RBS::AST::Ruby::Annotations::InstanceVariableAnnotation
+    rust_name: InstanceVariableAnnotationNode
+    fields:
+      - name: prefix_location
+        c_type: rbs_location_range
+      - name: ivar_name
+        c_type: rbs_ast_symbol
+      - name: ivar_name_location
+        c_type: rbs_location_range
+      - name: colon_location
+        c_type: rbs_location_range
+      - name: type
+        c_type: rbs_node
+      - name: comment_location
+        c_type: rbs_location_range
+        optional: true
+  - name: RBS::AST::Ruby::Annotations::ClassAliasAnnotation
+    rust_name: ClassAliasAnnotationNode
+    fields:
+      - name: prefix_location
+        c_type: rbs_location_range
+      - name: keyword_location
+        c_type: rbs_location_range
+      - name: type_name
+        c_type: rbs_type_name
+        optional: true  # NULL when the name is left out, to be inferred from the Ruby code
+      - name: type_name_location
+        c_type: rbs_location_range
+        optional: true
+  - name: RBS::AST::Ruby::Annotations::ModuleAliasAnnotation
+    rust_name: ModuleAliasAnnotationNode
+    fields:
+      - name: prefix_location
+        c_type: rbs_location_range
+      - name: keyword_location
+        c_type: rbs_location_range
+      - name: type_name
+        c_type: rbs_type_name
+        optional: true  # NULL when the name is left out, to be inferred from the Ruby code
+      - name: type_name_location
+        c_type: rbs_location_range
+        optional: true
+  - name: RBS::AST::Ruby::Annotations::ModuleSelfAnnotation
+    rust_name: ModuleSelfAnnotationNode
+    fields:
+      - name: prefix_location
+        c_type: rbs_location_range
+      - name: keyword_location
+        c_type: rbs_location_range
+      - name: colon_location
+        c_type: rbs_location_range
+      - name: name
+        c_type: rbs_type_name
+      - name: args
+        c_type: rbs_node_list
+      - name: open_bracket_location
+        c_type: rbs_location_range
+        optional: true
+      - name: close_bracket_location
+        c_type: rbs_location_range
+        optional: true
+      - name: args_comma_locations
+        c_type: rbs_location_range_list
+      - name: comment_location
+        c_type: rbs_location_range
+        optional: true
+  - name: RBS::AST::Ruby::Annotations::ParamTypeAnnotation
+    rust_name: ParamTypeAnnotationNode
+    fields:
+      - name: prefix_location
+        c_type: rbs_location_range
+      - name: name_location
+        c_type: rbs_location_range
+      - name: colon_location
+        c_type: rbs_location_range
+      - name: param_type
+        c_type: rbs_node
+      - name: comment_location
+        c_type: rbs_location_range
+        optional: true
+  - name: RBS::AST::Ruby::Annotations::SplatParamTypeAnnotation
+    rust_name: SplatParamTypeAnnotationNode
+    fields:
+      - name: prefix_location
+        c_type: rbs_location_range
+      - name: star_location
+        c_type: rbs_location_range
+      - name: name_location
+        c_type: rbs_location_range
+        optional: true
+      - name: colon_location
+        c_type: rbs_location_range
+      - name: param_type
+        c_type: rbs_node
+      - name: comment_location
+        c_type: rbs_location_range
+        optional: true
+  - name: RBS::AST::Ruby::Annotations::DoubleSplatParamTypeAnnotation
+    rust_name: DoubleSplatParamTypeAnnotationNode
+    fields:
+      - name: prefix_location
+        c_type: rbs_location_range
+      - name: star2_location
+        c_type: rbs_location_range
+      - name: name_location
+        c_type: rbs_location_range
+        optional: true
+      - name: colon_location
+        c_type: rbs_location_range
+      - name: param_type
+        c_type: rbs_node
+      - name: comment_location
+        c_type: rbs_location_range
+        optional: true
+  - name: RBS::AST::Ruby::Annotations::BlockParamTypeAnnotation
+    rust_name: BlockParamTypeAnnotationNode
+    fields:
+      - name: prefix_location
+        c_type: rbs_location_range
+      - name: ampersand_location
+        c_type: rbs_location_range
+      - name: name_location
+        c_type: rbs_location_range
+        optional: true
+      - name: colon_location
+        c_type: rbs_location_range
+      - name: question_location
+        c_type: rbs_location_range
+        optional: true
+      - name: type_location
+        c_type: rbs_location_range
+      - name: type
+        c_name: type_
+        c_type: rbs_node
+      - name: comment_location
+        c_type: rbs_location_range
+        optional: true
+
+enums:
+  attribute_visibility:
+    optional: true
+    symbols:
+      - unspecified
+      - public
+      - private
+  attribute_kind:
+    symbols:
+      - instance
+      - singleton
+  alias_kind:
+    symbols:
+      - instance
+      - singleton
+  method_definition_kind:
+    symbols:
+      - instance
+      - singleton
+      - singleton_instance
+  method_definition_visibility:
+    optional: true
+    symbols:
+      - unspecified
+      - public
+      - private
+  type_param_variance:
+    symbols:
+      - invariant
+      - covariant
+      - contravariant