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.39.0	smoke/lambda/a.rb
steep-0.38.0	smoke/lambda/a.rb
steep-0.37.0	smoke/lambda/a.rb
steep-0.36.0	smoke/lambda/a.rb
steep-0.35.0	smoke/lambda/a.rb
steep-0.34.0	smoke/lambda/a.rb
steep-0.33.0	smoke/lambda/a.rb
steep-0.32.0	smoke/lambda/a.rb
steep-0.31.1	smoke/lambda/a.rb
steep-0.31.0	smoke/lambda/a.rb
steep-0.30.0	smoke/lambda/a.rb
steep-0.29.0	smoke/lambda/a.rb
steep-0.28.0	smoke/lambda/a.rb
steep-0.27.0	smoke/lambda/a.rb
steep-0.25.0	smoke/lambda/a.rb
steep-0.24.0	smoke/lambda/a.rb
steep-0.23.0	smoke/lambda/a.rb
steep-0.22.0	smoke/lambda/a.rb
steep-0.21.0	smoke/lambda/a.rb
steep-0.20.0	smoke/lambda/a.rb