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 : flow2.rb

def foo(x)
  x.is_a?(Integer) ? x : x
  1
end
foo(unknown)

__END__
# Errors
smoke/flow2.rb:5: [error] undefined method: Object#unknown

# Classes
class Object
  private
  def foo: (untyped x) -> Integer
end