Update DefinitionBuilder

Author: soutaro

lib/rbs/definition_builder.rb

@@ -165,6 +165,15 @@ def define_instance(definition, type_name, subst, define_class_vars:)
               )
             end
 
+          when AST::Ruby::Members::InstanceVariableMember
+            insert_variable(
+              type_name,
+              definition.instance_variables,
+              name: member.name,
+              type: member.type,
+              source: member
+            )
+
           when AST::Members::InstanceVariable
             insert_variable(
               type_name,

lib/rbs/environment.rb

@@ -785,6 +785,12 @@ def resolve_ruby_member(resolver, member, context:)
           member.leading_comment,
           resolved_type_annotation
         )
+      when AST::Ruby::Members::InstanceVariableMember
+        resolved_annotation = member.annotation.map_type_name {|name| absolute_type_name(resolver, nil, name, context: context) }
+        AST::Ruby::Members::InstanceVariableMember.new(
+          member.buffer,
+          resolved_annotation
+        )
       else
         raise "Unknown member type: #{member.class}"
       end

sig/definition.rbs

@@ -15,6 +15,7 @@ module RBS
                   | AST::Ruby::Members::AttrReaderMember
                   | AST::Ruby::Members::AttrWriterMember
                   | AST::Ruby::Members::AttrAccessorMember
+                  | AST::Ruby::Members::InstanceVariableMember
       attr_reader source: source
 
       def initialize: (parent_variable: Variable?, type: Types::t, declared_in: TypeName, source: source) -> void

test/rbs/definition_builder_test.rb

@@ -3563,4 +3563,86 @@ def baz = nil
       end
     end
   end
+
+  def test_inline_instance_variable_declarations
+    SignatureManager.new do |manager|
+      manager.add_ruby_file("person.rb", <<~RUBY)
+        class Person
+          # @rbs @name: String
+          # @rbs @age: Integer?
+          
+          def initialize(name, age)
+            @name = name
+            @age = age
+          end
+        end
+      RUBY
+      
+      manager.build do |env|
+        builder = DefinitionBuilder.new(env: env)
+        
+        builder.build_instance(type_name("::Person")).tap do |definition|
+          assert_instance_of Definition, definition
+          
+          # Verify instance variables are present
+          assert_equal [:@name, :@age].sort, definition.instance_variables.keys.sort
+          
+          # Check @name type
+          definition.instance_variables[:@name].tap do |variable|
+            assert_instance_of Definition::Variable, variable
+            assert_equal parse_type("::String"), variable.type
+            assert_equal type_name("::Person"), variable.declared_in
+          end
+          
+          # Check @age type
+          definition.instance_variables[:@age].tap do |variable|
+            assert_instance_of Definition::Variable, variable
+            assert_equal parse_type("::Integer?"), variable.type
+            assert_equal type_name("::Person"), variable.declared_in
+          end
+        end
+      end
+    end
+  end
+
+  def test_inline_instance_variable_with_complex_types
+    SignatureManager.new do |manager|
+      manager.add_ruby_file("container.rb", <<~RUBY)
+        class Container
+          # @rbs @items: Array[String]
+          # @rbs @metadata: Integer
+          
+          def initialize
+            @items = ""
+            @metadata = 42
+          end
+        end
+      RUBY
+      
+      manager.build do |env|
+        builder = DefinitionBuilder.new(env: env)
+        
+        builder.build_instance(type_name("::Container")).tap do |definition|
+          assert_instance_of Definition, definition
+          
+          # Verify instance variables are present
+          assert_equal [:@items, :@metadata].sort, definition.instance_variables.keys.sort
+          
+          # Check @items type
+          definition.instance_variables[:@items].tap do |variable|
+            assert_instance_of Definition::Variable, variable
+            assert_equal "Array[::String]", variable.type.to_s
+            assert_equal type_name("::Container"), variable.declared_in
+          end
+          
+          # Check @metadata type
+          definition.instance_variables[:@metadata].tap do |variable|
+            assert_instance_of Definition::Variable, variable
+            assert_equal parse_type("::Integer"), variable.type
+            assert_equal type_name("::Container"), variable.declared_in
+          end
+        end
+      end
+    end
+  end
 end