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=(::A & ::Object & ::_Each2[::Integer, ::A]), method=foo
    foo()

    n
  end
end

Version data entries

19 entries across 19 versions & 1 rubygems

Version	Path
steep-0.27.0	smoke/module/a.rb
steep-0.25.0	smoke/module/a.rb
steep-0.24.0	smoke/module/a.rb
steep-0.23.0	smoke/module/a.rb
steep-0.22.0	smoke/module/a.rb
steep-0.21.0	smoke/module/a.rb
steep-0.20.0	smoke/module/a.rb
steep-0.19.0	smoke/module/a.rb
steep-0.18.0	smoke/module/a.rb
steep-0.17.1	smoke/module/a.rb
steep-0.17.0	smoke/module/a.rb
steep-0.16.3	smoke/module/a.rb
steep-0.16.2	smoke/module/a.rb
steep-0.16.1	smoke/module/a.rb
steep-0.16.0	smoke/module/a.rb
steep-0.15.0	smoke/module/a.rb
steep-0.14.0	smoke/module/a.rb
steep-0.13.0	smoke/module/a.rb
steep-0.12.0	smoke/module/a.rb