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 ArgumentTypeMismatch: receiver=::Integer, expected=::Integer, actual=::String
  1 + '1'
  a
end

Version data entries

16 entries across 16 versions & 1 rubygems

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