Contents

def log(x)
end

class A; end
class B; end
class C; end
class X; end
class Y; end
class Z; end

class Foo
  def f(x)
    log(self)
    X.new
  end
end

class Bar < Foo
  def f(x)
    super(C.new)
    Y.new
  end
end

class Baz < Bar
  def f(x)
    super(B.new)
    Z.new
  end
end

Baz.new.f(A.new)

__END__
# Classes
class Object
  private
  def log: (Baz) -> nil
end

class A
end

class B
end

class C
end

class X
end

class Y
end

class Z
end

class Foo
  def f: (C) -> X
end

class Bar < Foo
  def f: (B) -> Y
end

class Baz < Bar
  def f: (A) -> Z
end

Version data entries

3 entries across 3 versions & 1 rubygems

Version	Path
typeprof-0.9.2	smoke/super1.rb
typeprof-0.9.1	smoke/super1.rb
typeprof-0.9.0	smoke/super1.rb