Support trailing_positional parameters

lib/rbs/inline/ast/members.rb

@@ -165,6 +165,7 @@ def method_overloads #: Array[RBS::AST::Members::MethodDefinition::Overload]
               required_positionals = [] #: Array[Types::Function::Param]
               optional_positionals = [] #: Array[Types::Function::Param]
               rest_positionals = nil #: Types::Function::Param?
+              trailing_positionals = [] #: Array[Types::Function::Param]
               required_keywords = {} #: Hash[Symbol, Types::Function::Param]
               optional_keywords = {} #: Hash[Symbol, Types::Function::Param]
               rest_keywords = nil #: Types::Function::Param?
@@ -206,6 +207,17 @@ def method_overloads #: Array[RBS::AST::Members::MethodDefinition::Overload]
                   )
                 end
 
+                node.parameters.posts.each do |param|
+                  case param
+                  when Prism::RequiredParameterNode
+                    trailing_positionals << Types::Function::Param.new(
+                      name: param.name,
+                      type: var_type_hash[param.name] || Types::Bases::Any.new(location: nil),
+                      location: nil
+                    )
+                  end
+                end
+
                 node.parameters.keywords.each do |node|
                   if node.is_a?(Prism::RequiredKeywordParameterNode)
                     required_keywords[node.name] = Types::Function::Param.new(
@@ -258,7 +270,7 @@ def method_overloads #: Array[RBS::AST::Members::MethodDefinition::Overload]
                       required_positionals: required_positionals,
                       optional_positionals: optional_positionals,
                       rest_positionals: rest_positionals,
-                      trailing_positionals: [],
+                      trailing_positionals: trailing_positionals,
                       required_keywords: required_keywords,
                       optional_keywords: optional_keywords,
                       rest_keywords: rest_keywords,

test/rbs/inline/writer_test.rb

@@ -166,6 +166,21 @@ def f: () -> String?
     RBS
   end
 
+  def test_method__args
+    output = translate(<<~RUBY)
+      class Foo
+        def foo(a, b = nil, *c, d, e:, f: nil, **g, &)
+        end
+      end
+    RUBY
+
+    assert_equal <<~RBS, output
+      class Foo
+        def foo: (untyped a, ?untyped b, *untyped c, untyped d, e: untyped, ?f: untyped, **untyped g) ?{ (?) -> untyped } -> untyped
+      end
+    RBS
+  end
+
   def test_method__block
     output = translate(<<~RUBY)
       class Foo