Contents

# @type var a: Integer
# @type var b: Integer

# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=::String
a = begin
      'foo'
    ensure
      # !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=::Symbol
      b = :foo
      1
    end

# @type method foo: (String) -> String

# !expects MethodBodyTypeMismatch: method=foo, expected=::String, actual=::Integer
def foo(a)
  10
ensure
  # !expects* UnresolvedOverloading: receiver=::Integer, method_name=+,
  1 + '1'
  a
end

Version data entries

32 entries across 32 versions & 1 rubygems

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