Contents

# @type var a: Array<Integer>

a = []
a[1] = 3

# !expects ArgumentTypeMismatch: receiver=::Array<::Integer>, expected=::Integer, actual=::String
a[2] = "foo"

# @type var i: Integer
i = a[0]

# @type var s: String
# !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Integer
s = a[1]


b = ["a", "b", "c"]

s = b[0]
# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=::String
i = b[1]

Version data entries

16 entries across 16 versions & 1 rubygems

Version	Path
steep-0.11.1	smoke/array/a.rb
steep-0.11.0	smoke/array/a.rb
steep-0.10.0	smoke/array/a.rb
steep-0.9.0	smoke/array/a.rb
steep-0.8.2	smoke/array/a.rb
steep-0.8.1	smoke/array/a.rb
steep-0.8.0	smoke/array/a.rb
steep-0.7.1	smoke/array/a.rb
steep-0.7.0	smoke/array/a.rb
steep-0.6.0	smoke/array/a.rb
steep-0.5.1	smoke/array/a.rb
steep-0.5.0	smoke/array/a.rb
steep-0.4.0	smoke/array/a.rb
steep-0.3.0	smoke/array/a.rb
steep-0.2.0	smoke/array/a.rb
steep-0.1.0	smoke/array/a.rb