Contents

class A
  # @type method foo: () { (Integer) -> Integer } -> untyped
  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: () -> untyped
  def bar()
    # !expects UnexpectedYield
    yield 4
  end
end

Version data entries

32 entries across 32 versions & 1 rubygems

Version	Path
steep-0.39.0	smoke/yield/a.rb
steep-0.38.0	smoke/yield/a.rb
steep-0.37.0	smoke/yield/a.rb
steep-0.36.0	smoke/yield/a.rb
steep-0.35.0	smoke/yield/a.rb
steep-0.34.0	smoke/yield/a.rb
steep-0.33.0	smoke/yield/a.rb
steep-0.32.0	smoke/yield/a.rb
steep-0.31.1	smoke/yield/a.rb
steep-0.31.0	smoke/yield/a.rb
steep-0.30.0	smoke/yield/a.rb
steep-0.29.0	smoke/yield/a.rb
steep-0.28.0	smoke/yield/a.rb
steep-0.27.0	smoke/yield/a.rb
steep-0.25.0	smoke/yield/a.rb
steep-0.24.0	smoke/yield/a.rb
steep-0.23.0	smoke/yield/a.rb
steep-0.22.0	smoke/yield/a.rb
steep-0.21.0	smoke/yield/a.rb
steep-0.20.0	smoke/yield/a.rb