Contents

class SuperBase
  def self.foo
    self
  end
end

class Base < SuperBase
  def self.foo
    super
  end
end

class A < Base
  foo
end

class B < Base
  foo
end

__END__
# Classes
class SuperBase
  def self.foo : -> (singleton(A) | singleton(B))
end

class Base < SuperBase
  def self.foo : -> (singleton(A) | singleton(B))
end

class A < Base
end

class B < Base
end

Version data entries

10 entries across 5 versions & 1 rubygems

Version	Path
typeprof-0.8.0	smoke/union-recv.rb
typeprof-0.8.0	smoke/inheritance2.rb
typeprof-0.7.0	smoke/inheritance2.rb
typeprof-0.7.0	smoke/union-recv.rb
typeprof-0.6.1	smoke/union-recv.rb
typeprof-0.6.1	smoke/inheritance2.rb
typeprof-0.6.0	smoke/union-recv.rb
typeprof-0.6.0	smoke/inheritance2.rb
typeprof-0.5.4	smoke/inheritance2.rb
typeprof-0.5.4	smoke/union-recv.rb