Contents

ARY = []

def foo(i, v)
  ARY[i] = v
  ARY
end

foo(1, "str")

__END__
# Classes
class Object
  ARY : Array[bot]
  def foo : (Integer, String) -> Array[bot]
end

Version data entries

4 entries across 4 versions & 1 rubygems

Version	Path
typeprof-0.7.0	smoke/array6.rb
typeprof-0.6.1	smoke/array6.rb
typeprof-0.6.0	smoke/array6.rb
typeprof-0.5.4	smoke/array6.rb