Ignore refinements in rbs prototype rb

[pocke]

rbs prototype rb will ignore refinements by this pull request.

Problem

Currently rbs prototype rb command generates incorrect RBS code for Ruby code that uses refinements.
For example

# test.rb

module M
  refine Array do
    def cool_method() end
  end
end

$ exe/rbs prototype rb test.rb
module M
  def cool_method: () -> nil
end

The cool_method is not M module's method, but prototype rb isn't aware of it.

Solution

Just ignore the body of refine method.
By this change, it just omits methods for refinements.

# For the same test.rb

$ exe/rbs prototype rb test.rb
module M
end

RBS doesn't have support for refinements, so I think we can ignore it.

[soutaro]

👍