Contents

def foo
  a = [[42]]
  a[0][0] = "str"
  a
end

def bar(a)
  a[0][0] = "str"
  a
end

def log(a)
end

foo
a = [[42]]
bar(a)
# limitation: a is kept as [[Integer]]
log(a)

__END__
# Classes
class Object
  def foo : -> [[String]]
  def bar : ([[Integer]]) -> [[String]]
  def log : ([[Integer]]) -> nil
end

Version data entries

18 entries across 18 versions & 1 rubygems

Version	Path
typeprof-0.7.0	smoke/array2.rb
typeprof-0.6.1	smoke/array2.rb
typeprof-0.6.0	smoke/array2.rb
typeprof-0.5.4	smoke/array2.rb
typeprof-0.5.3	smoke/array2.rb
typeprof-0.5.2	smoke/array2.rb
typeprof-0.5.1	smoke/array2.rb
typeprof-0.5.0	smoke/array2.rb
typeprof-0.4.2	smoke/array2.rb
typeprof-0.4.1	smoke/array2.rb
typeprof-0.4.0	smoke/array2.rb
typeprof-0.3.0	smoke/array2.rb
typeprof-0.2.0	smoke/array2.rb
typeprof-0.1.4	smoke/array2.rb
typeprof-0.1.3	smoke/array2.rb
typeprof-0.1.2	smoke/array2.rb
typeprof-0.1.1	smoke/array2.rb
typeprof-0.1.0	smoke/array2.rb