Record method definitions via accessors

Author: lloeki

lib/steep/type_construction.rb

@@ -3366,6 +3366,23 @@ def type_send(node, send_node:, block_params:, block_body:, unwrap: false, tapp:
         constr = self
       else
         receiver, method_name, *arguments = send_node.children
+
+        case method_name
+        when :attr_reader
+          arguments.each do |argnode|
+            module_context.defined_instance_methods << argnode.children[0]
+          end
+        when :attr_writer
+          arguments.each do |argnode|
+            module_context.defined_instance_methods << :"#{argnode.children[0]}="
+          end
+        when :attr_accessor
+          arguments.each do |argnode|
+            module_context.defined_instance_methods << argnode.children[0]
+            module_context.defined_instance_methods << :"#{argnode.children[0]}="
+          end
+        end
+
         if receiver
           recv_type, constr = synthesize(receiver)
         else

smoke/diagnostics/a.rbs

@@ -4,6 +4,10 @@ end
 
 class MethodDefinitionMissing
   def foo: () -> void
+
+  attr_reader    bar: untyped
+  attr_writer    baz: untyped
+  attr_accessor  qux: untyped
 end
 
 class UnexpectedDynamicMethod

smoke/diagnostics/method_definition_missing.rb

@@ -1,2 +1,8 @@
 class MethodDefinitionMissing
+  attr_reader   :bar
+  attr_writer   :baz
+  attr_accessor :qux
+
+  def hoge
+  end
 end