Contents

def foo
  { int: 1, str: "str" }
end

foo

def bar
  # This returns {Integer=>Integer | String, String=>String} but RBS cannot express it
  { 1 => 1, 2 => "str", "s" => "s" }
end

bar

__END__
# Classes
class Object
  private
  def foo: -> {int: Integer, str: String}
  def bar: -> (Hash[Integer | String, Integer | String])
end

Version data entries

14 entries across 14 versions & 1 rubygems

Version	Path
typeprof-0.20.0	smoke/hash1.rb
typeprof-0.15.3	smoke/hash1.rb
typeprof-0.15.2	smoke/hash1.rb
typeprof-0.15.1	smoke/hash1.rb
typeprof-0.15.0	smoke/hash1.rb
typeprof-0.14.1	smoke/hash1.rb
typeprof-0.14.0	smoke/hash1.rb
typeprof-0.13.0	smoke/hash1.rb
typeprof-0.12.0	smoke/hash1.rb
typeprof-0.11.0	smoke/hash1.rb
typeprof-0.10.0	smoke/hash1.rb
typeprof-0.9.2	smoke/hash1.rb
typeprof-0.9.1	smoke/hash1.rb
typeprof-0.9.0	smoke/hash1.rb