Contents

# two issues:
# (1) TypedProc should call `-> n { log1(n) }` with an Integer, but not implemented yet
# (2) log1 returns a String, which is inconsistent and should be reported

def log1(n)
  n.to_s # XXX: should be reported as "inconsistent with RBS"
end

def log2
  Foo.new.foo(-> n { log1(n) })
end

log2

__END__
# Classes
class Object
  private
  def log1: (untyped) -> untyped
  def log2: -> String
end

Version data entries

3 entries across 3 versions & 1 rubygems

Version	Path
typeprof-0.9.2	smoke/rbs-proc2.rb
typeprof-0.9.1	smoke/rbs-proc2.rb
typeprof-0.9.0	smoke/rbs-proc2.rb