`def initialize` is duplicated in RBS output when redefined inside a `Struct.new` block

[sinsoku]

Steps to reproduce

Analyze the following file with TypeProf.

Point = Struct.new(:x, :y) do
 def initialize(x = 0, y = 0)
 super
 end
end
Point.new
Point.new(3, 4)

Expected behavior

The initialize defined inside the block should override the one auto-generated by Struct.new. The RBS output should contain only one initialize:

class Point
 def x: -> Integer
 def x=: (untyped) -> untyped
 def y: -> Integer
 def y=: (untyped) -> untyped
 def initialize: (?Integer, ?Integer) -> void
 def self.[]: (?Integer, ?Integer) -> Point
end

Actual behavior

$ bin/typeprof reproduce.rb
# TypeProf 0.32.0

# reproduce.rb
class Point
 def x: -> Integer
 def x=: (untyped) -> untyped
 def y: -> Integer
 def y=: (untyped) -> untyped
 def initialize: (Integer, Integer) -> void
 def self.[]: (Integer, Integer) -> Point
 def initialize: (?Integer, ?Integer) -> void
end

def initialize appears twice. rbs parse accepts it, but rbs validate rejects it:

$ rbs -I out.rbs validate
E, [2026-05-25T22:24:05.802363 #47971] ERROR -- rbs: out.rbs:9:2...9:44: ::Point#initialize has duplicated definitions in out.rbs:11:2...11:46 (RBS::DuplicatedMethodDefinitionError)

 def initialize: (Integer, Integer) -> void
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

System configuration

Ruby version: ruby 4.0.5
TypeProf version: 0.32.0

[sinsoku]

Related to this, I noticed that when analyzing the following code, the age member is inferred as String even though age.to_i is called.

Dog = Struct.new(:name, :age) do
 def initialize(name, age)
 super(name.to_s, age.to_i)
 end
end
Dog.new("fred", "5")

$ bin/typeprof dog.rb
# TypeProf 0.32.0

# dog.rb
class Dog
 def name: -> String
 def name=: (untyped) -> untyped
 def age: -> String
 def age=: (untyped) -> untyped
 def initialize: (String, String) -> void
 def self.[]: (String, String) -> Dog
 def initialize: (String, String) -> void
end

It should be inferred as def age: -> Integer (since age.to_i returns an Integer), but the actual output is def age: -> String.