One Hat Cyber Team

Your IP: 216.73.216.133
Server IP: 185.119.109.197
Server: Linux managedhosting.chostar.me 5.15.0-160-generic #170-Ubuntu SMP Wed Oct 1 10:06:56 UTC 2025 x86_64
Server Software: Apache
PHP Version: 8.1.33
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