Contents

module A
  # @implements A

  def count
    # @type var n: ::Integer
    n = 0

    each do |_|
      n = n + 1
    end

    # @type var s: String
    # !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Integer
    s = n

    # !expects NoMethodError: type=(::Object & ::_Each2[::Integer, ::A] & ::A), method=foo
    foo()

    n
  end
end

Version data entries

13 entries across 13 versions & 1 rubygems

Version	Path
steep-0.39.0	smoke/module/a.rb
steep-0.38.0	smoke/module/a.rb
steep-0.37.0	smoke/module/a.rb
steep-0.36.0	smoke/module/a.rb
steep-0.35.0	smoke/module/a.rb
steep-0.34.0	smoke/module/a.rb
steep-0.33.0	smoke/module/a.rb
steep-0.32.0	smoke/module/a.rb
steep-0.31.1	smoke/module/a.rb
steep-0.31.0	smoke/module/a.rb
steep-0.30.0	smoke/module/a.rb
steep-0.29.0	smoke/module/a.rb
steep-0.28.0	smoke/module/a.rb