Contents

# @type var a: Integer

# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=::String
a = -> (x, y) do
  # @type var x: String
  # @type var y: String
  x + y
end["foo", "bar"]

# @type var b: ^(Integer) -> Integer
# !expects IncompatibleAssignment: lhs_type=^(::Integer) -> ::Integer, rhs_type=::Proc
b = lambda do |x|
  # !expects NoMethodError: type=nil, method=+
  x + 1 
end

# @type var c: ^(Integer) -> Integer
c = -> (x) { x + 1 }

Version data entries

32 entries across 32 versions & 1 rubygems

Version	Path
steep-0.19.0	smoke/lambda/a.rb
steep-0.18.0	smoke/lambda/a.rb
steep-0.17.1	smoke/lambda/a.rb
steep-0.17.0	smoke/lambda/a.rb
steep-0.16.3	smoke/lambda/a.rb
steep-0.16.2	smoke/lambda/a.rb
steep-0.16.1	smoke/lambda/a.rb
steep-0.16.0	smoke/lambda/a.rb
steep-0.15.0	smoke/lambda/a.rb
steep-0.14.0	smoke/lambda/a.rb
steep-0.13.0	smoke/lambda/a.rb
steep-0.12.0	smoke/lambda/a.rb