Contents

class A
  def foo(x)
    bar(x)
  end

  def bar(x)
  end

  def self.test(x)
  end
end

class B < A
  def bar(x)
  end
end

A.new.foo(1)
B.new.foo("str")
B.new.bar(nil)
A.test(1)
B.test("str")

__END__
# Classes
class A
  def foo: (Integer | String x) -> nil
  def bar: (Integer | String x) -> nil
  def self.test: (Integer | String x) -> nil
end

class B < A
  def bar: ((Integer | String)? x) -> nil
end

Version data entries

11 entries across 11 versions & 1 rubygems

Version	Path
typeprof-0.20.0	smoke/inheritance.rb
typeprof-0.15.3	smoke/inheritance.rb
typeprof-0.15.2	smoke/inheritance.rb
typeprof-0.15.1	smoke/inheritance.rb
typeprof-0.15.0	smoke/inheritance.rb
typeprof-0.14.1	smoke/inheritance.rb
typeprof-0.14.0	smoke/inheritance.rb
typeprof-0.13.0	smoke/inheritance.rb
typeprof-0.12.0	smoke/inheritance.rb
typeprof-0.11.0	smoke/inheritance.rb
typeprof-0.10.0	smoke/inheritance.rb