Contents

# @type method foo: (Integer, y: Integer) -> String

# !expects MethodBodyTypeMismatch: method=foo, expected=::String, actual=::Integer
def foo(x, y:)
  # @type var z: String

  # !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Integer
  z = x

  # !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Integer
  z = y

  3
end

# @type method bar: (Integer) -> String

# !expects MethodArityMismatch: method=bar
def bar(x, y)
  # @type var z: String

  # !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Integer
  z = x

  z = y
end

Version data entries

48 entries across 48 versions & 1 rubygems

Version	Path
steep-0.39.0	smoke/method/a.rb
steep-0.38.0	smoke/method/a.rb
steep-0.37.0	smoke/method/a.rb
steep-0.36.0	smoke/method/a.rb
steep-0.35.0	smoke/method/a.rb
steep-0.34.0	smoke/method/a.rb
steep-0.33.0	smoke/method/a.rb
steep-0.32.0	smoke/method/a.rb
steep-0.31.1	smoke/method/a.rb
steep-0.31.0	smoke/method/a.rb
steep-0.30.0	smoke/method/a.rb
steep-0.29.0	smoke/method/a.rb
steep-0.28.0	smoke/method/a.rb
steep-0.27.0	smoke/method/a.rb
steep-0.25.0	smoke/method/a.rb
steep-0.24.0	smoke/method/a.rb
steep-0.23.0	smoke/method/a.rb
steep-0.22.0	smoke/method/a.rb
steep-0.21.0	smoke/method/a.rb
steep-0.20.0	smoke/method/a.rb