Better support for inherited class of Struct or Data by prototype runtime

[ksss]

When running rbs prototype runtime, I've made special branches for classes that inherit from Struct and Data, allowing for the generation of more user-friendly RBS as prototypes.

Demo

# t.rb
class Foo < Struct.new(:foo, :bar, keyword_init: true)
end

Bar = Struct.new(:foo, :bar, keyword_init: true)

class Baz < Data.define(:foo, :bar)
end

Qux = Data.define(:foo, :bar)

$ bundle exec rbs prototype runtime -R t.rb Foo Bar Baz Qux

before

class Bar < ::Struct[untyped]
  def self.[]: (*untyped) -> untyped

  def self.inspect: () -> untyped

  def self.keyword_init?: () -> untyped

  def self.members: () -> untyped

  def self.new: (*untyped) -> untyped

  public

  def bar: () -> untyped

  def bar=: (untyped _) -> untyped

  def foo: () -> untyped

  def foo=: (untyped _) -> untyped
end

class Baz
end

class Foo
end

class Qux < ::Data
  def self.[]: (*untyped) -> untyped

  def self.inspect: () -> untyped

  def self.members: () -> untyped

  def self.new: (*untyped) -> untyped

  public

  def bar: () -> untyped

  def foo: () -> untyped
end

after

class Bar < ::Struct[untyped]
  def self.new: (?foo: untyped, ?bar: untyped) -> instance

  def self.[]: (?foo: untyped, ?bar: untyped) -> instance

  def self.keyword_init?: () -> true

  def self.members: () -> [ :foo, :bar ]

  def members: () -> [ :foo, :bar ]

  attr_accessor foo: untyped

  attr_accessor bar: untyped
end

class Baz < ::Data
  def self.new: (untyped foo, untyped bar) -> instance
              | (foo: untyped, bar: untyped) -> instance

  def self.[]: (untyped foo, untyped bar) -> instance
             | (foo: untyped, bar: untyped) -> instance

  def self.members: () -> [ :foo, :bar ]

  def members: () -> [ :foo, :bar ]

  attr_reader foo: untyped

  attr_reader bar: untyped
end

class Foo < ::Struct[untyped]
  def self.new: (?foo: untyped, ?bar: untyped) -> instance

  def self.[]: (?foo: untyped, ?bar: untyped) -> instance

  def self.keyword_init?: () -> true

  def self.members: () -> [ :foo, :bar ]

  def members: () -> [ :foo, :bar ]

  attr_accessor foo: untyped

  attr_accessor bar: untyped
end

class Qux < ::Data
  def self.new: (untyped foo, untyped bar) -> instance
              | (foo: untyped, bar: untyped) -> instance

  def self.[]: (untyped foo, untyped bar) -> instance
             | (foo: untyped, bar: untyped) -> instance

  def self.members: () -> [ :foo, :bar ]

  def members: () -> [ :foo, :bar ]

  attr_reader foo: untyped

  attr_reader bar: untyped
end

[soutaro]

Thank you so much!
This will be one of the most important improvements in RBS 3.3. 🎉