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 & ::_Each<::Integer, ::A>), method=foo
    foo()

    n
  end
end

Version data entries

10 entries across 10 versions & 1 rubygems

Version	Path
steep-0.11.1	smoke/module/a.rb
steep-0.11.0	smoke/module/a.rb
steep-0.10.0	smoke/module/a.rb
steep-0.9.0	smoke/module/a.rb
steep-0.8.2	smoke/module/a.rb
steep-0.8.1	smoke/module/a.rb
steep-0.8.0	smoke/module/a.rb
steep-0.7.1	smoke/module/a.rb
steep-0.7.0	smoke/module/a.rb
steep-0.6.0	smoke/module/a.rb