One Hat Cyber Team

Your IP: 216.73.216.127
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 : block5.rb

F = -> x { "str" }

def foo(&blk)
  blk.call(:sym, &F)
end

foo do |dummy, &blk|
  blk.call(42)
end

# truly expected:
# Object#foo :: (&Proc[(Symbol, &Proc[(Integer) -> String]) -> String]) -> String

__END__
# Classes
class Object
  F: ^(Integer) -> String

  private
  def foo: { (:sym) -> String } -> String
end