Contents

class A
  # @type method foo: () { (Integer) -> Integer } -> any
  def foo()
    # @type var x: String

    # !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Integer
    x = yield(3)

    # !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=::String
    yield(x)
  end

  # @type method bar: () -> any
  def bar()
    # !expects UnexpectedYield
    yield 4
  end
end

Version data entries

16 entries across 16 versions & 1 rubygems

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