One Hat Cyber Team

Your IP: 216.73.216.189
Server IP: 109.199.105.153
Server: Linux connect.inboxifs.com 5.15.0-152-generic #162-Ubuntu SMP Wed Jul 23 09:48:42 UTC 2025 x86_64
Server Software: Apache
PHP Version: 8.2.29
Buat File | Buat Folder

Dir : ~/lib/ruby/gems/3.0.0/gems/typeprof-0.12.0/smoke/

View File Name : rbs-proc2.rb

# 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 n) -> untyped
  def log2: -> String
end