HEX
Server: Apache
System: Linux s198.coreserver.jp 5.15.0-151-generic #161-Ubuntu SMP Tue Jul 22 14:25:40 UTC 2025 x86_64
User: nagasaki (10062)
PHP: 7.1.33
Disabled: NONE
Upload Files
File: //usr/local/rvm/rubies/default/lib/ruby/gems/3.0.0/gems/typeprof-0.12.0/smoke/hash1.rb
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