rbs 4.0.0.dev.4 → 4.0.0

data/config.yml

@@ -1,19 +1,25 @@
+# See `docs/config.md` for quick documentation of this file format.
+
 nodes:
   - name: RBS::AST::Annotation
+    rust_name: AnnotationNode
     fields:
       - name: string
         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
         c_type: rbs_string
   - name: RBS::AST::Declarations::Class
+    rust_name: ClassNode
     fields:
       - name: name
         c_type: rbs_type_name
@@ -21,19 +27,32 @@ nodes:
         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
         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
         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
@@ -41,9 +60,16 @@ nodes:
         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
@@ -51,9 +77,14 @@ nodes:
         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
@@ -61,9 +92,14 @@ nodes:
         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
@@ -75,7 +111,14 @@ nodes:
         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
@@ -89,13 +132,26 @@ nodes:
         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
         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
@@ -103,9 +159,16 @@ nodes:
         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
@@ -117,82 +180,140 @@ nodes:
         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
         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
         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
         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: rbs_keyword
+        c_type: alias_kind
       - name: annotations
         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_node # rbs_ast_symbol_t, NULL or rbs_ast_bool_new(false)
+        c_type: rbs_attr_ivar_name
       - name: kind
-        c_type: rbs_keyword
+        c_type: attribute_kind
       - name: annotations
         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: rbs_keyword
+        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_node # rbs_ast_symbol_t, NULL or rbs_ast_bool_new(false)
+        c_type: rbs_attr_ivar_name
       - name: kind
-        c_type: rbs_keyword
+        c_type: attribute_kind
       - name: annotations
         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: rbs_keyword
+        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_node # rbs_ast_symbol_t, NULL or rbs_ast_bool_new(false)
+        c_type: rbs_attr_ivar_name
       - name: kind
-        c_type: rbs_keyword
+        c_type: attribute_kind
       - name: annotations
         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: rbs_keyword
+        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
@@ -200,7 +321,13 @@ nodes:
         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
@@ -208,7 +335,13 @@ nodes:
         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
@@ -218,7 +351,13 @@ nodes:
         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
@@ -228,7 +367,13 @@ nodes:
         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
@@ -236,23 +381,37 @@ nodes:
         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: rbs_keyword
+        c_type: method_definition_kind
       - name: overloads
         c_type: rbs_node_list
       - name: annotations
         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: rbs_keyword
+        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
@@ -260,6 +419,7 @@ nodes:
       - name: method_type
         c_type: rbs_node
   - name: RBS::AST::Members::Prepend
+    rust_name: PrependNode
     fields:
       - name: name
         c_type: rbs_type_name
@@ -269,33 +429,56 @@ nodes:
         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
+    rust_name: PrivateNode
   - name: RBS::AST::Members::Public
+    rust_name: PublicNode
   - name: RBS::AST::TypeParam
+    rust_name: TypeParamNode
     fields:
       - name: name
         c_type: rbs_ast_symbol
       - name: variance
-        c_type: rbs_keyword
+        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
         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
@@ -303,7 +486,12 @@ nodes:
         c_type: rbs_node
       - name: block
         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
@@ -311,6 +499,7 @@ nodes:
       - name: absolute
         c_type: bool
   - name: RBS::Signature
+    rust_name: SignatureNode
     expose_to_ruby: false
     expose_location: false
     fields:
@@ -319,6 +508,7 @@ nodes:
       - name: declarations
         c_type: rbs_node_list
   - name: RBS::TypeName
+    rust_name: TypeNameNode
     expose_location: false
     fields:
       - name: namespace
@@ -327,24 +517,38 @@ nodes:
       - name: name
         c_type: rbs_ast_symbol
   - name: RBS::Types::Alias
+    rust_name: AliasTypeNode
     fields:
       - name: name
         c_type: rbs_type_name
       - name: args
         c_type: rbs_node_list
+    locations:
+      - required: name
+      - optional: args
   - name: RBS::Types::Bases::Any
+    rust_name: AnyTypeNode
     fields:
       - name: todo
         c_type: bool
   - name: RBS::Types::Bases::Bool
+    rust_name: BoolTypeNode
   - name: RBS::Types::Bases::Bottom
+    rust_name: BottomTypeNode
   - name: RBS::Types::Bases::Class
+    rust_name: ClassTypeNode
   - name: RBS::Types::Bases::Instance
+    rust_name: InstanceTypeNode
   - name: RBS::Types::Bases::Nil
+    rust_name: NilTypeNode
   - name: RBS::Types::Bases::Self
+    rust_name: SelfTypeNode
   - name: RBS::Types::Bases::Top
+    rust_name: TopTypeNode
   - name: RBS::Types::Bases::Void
+    rust_name: VoidTypeNode
   - name: RBS::Types::Block
+    rust_name: BlockTypeNode
     expose_location: true
     fields:
       - name: type
@@ -353,17 +557,29 @@ nodes:
         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
         c_type: rbs_node_list
+    locations:
+      - required: name
+      - optional: args
   - name: RBS::Types::ClassSingleton
+    rust_name: ClassSingletonTypeNode
     fields:
       - name: name
         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
@@ -372,6 +588,7 @@ nodes:
         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
@@ -380,45 +597,62 @@ nodes:
         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: return_type
         c_type: rbs_node
   - name: RBS::Types::Function::Param
+    rust_name: FunctionParamNode
     fields:
       - name: type
         c_type: rbs_node
       - name: name
         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::Interface
+    rust_name: InterfaceTypeNode
     fields:
       - name: name
         c_type: rbs_type_name
       - name: args
         c_type: rbs_node_list
+    locations:
+      - required: name
+      - optional: args
   - name: RBS::Types::Intersection
+    rust_name: IntersectionTypeNode
     fields:
       - name: types
         c_type: rbs_node_list
   - name: RBS::Types::Literal
+    rust_name: LiteralTypeNode
     fields:
       - name: literal
         c_type: rbs_node
   - name: RBS::Types::Optional
+    rust_name: OptionalTypeNode
     fields:
       - name: type
         c_type: rbs_node
   - name: RBS::Types::Proc
+    rust_name: ProcTypeNode
     fields:
       - name: type
         c_type: rbs_node
       - name: block
         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
         c_type: rbs_hash
   - name: RBS::Types::Record::FieldType
+    rust_name: RecordFieldTypeNode
     expose_to_ruby: false
     expose_location: false
     fields:
@@ -427,61 +661,229 @@ nodes:
       - name: required
         c_type: bool
   - name: RBS::Types::Tuple
+    rust_name: TupleTypeNode
     fields:
       - name: types
         c_type: rbs_node_list
   - name: RBS::Types::Union
+    rust_name: UnionTypeNode
     fields:
       - name: types
         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
         c_type: rbs_ast_symbol
   - name: RBS::AST::Ruby::Annotations::NodeTypeAssertion
+    rust_name: NodeTypeAssertionNode
     fields:
       - name: prefix_location
-        c_type: rbs_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
+        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
+        c_type: rbs_location_range
       - name: overloads
         c_type: rbs_node_list
       - name: vertical_bar_locations
-        c_type: rbs_location_list
+        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
+        c_type: rbs_location_range
       - name: skip_location
-        c_type: rbs_location
+        c_type: rbs_location_range
       - name: comment_location
-        c_type: rbs_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
+        c_type: rbs_location_range
       - name: return_location
-        c_type: rbs_location
+        c_type: rbs_location_range
       - name: colon_location
-        c_type: rbs_location
+        c_type: rbs_location_range
       - name: return_type
         c_type: rbs_node
       - name: comment_location
-        c_type: rbs_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
+      - 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
+      - name: type_name_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