HEX
Server: LiteSpeed
System: Linux php-prod-1.spaceapp.ru 5.15.0-157-generic #167-Ubuntu SMP Wed Sep 17 21:35:53 UTC 2025 x86_64
User: xnsbb3110 (1041)
PHP: 8.1.33
Disabled: NONE
Upload Files
File: //lib/ruby/gems/3.0.0/gems/typeprof-0.12.0/smoke/pattern-match1.rb
# RUBY_VERSION >= 3.0

def foo
  case [:a, :b, :c]
  in [a, b, :c]
    # Due to very subtle detail of bytecode, the variables "a" and "b" could be nil
    return a, b
  end
end

foo

__END__
# Errors
smoke/pattern-match1.rb:5: [error] undefined method: nil#length
smoke/pattern-match1.rb:5: [error] undefined method: nil#[]
smoke/pattern-match1.rb:5: [error] undefined method: nil#[]
smoke/pattern-match1.rb:5: [error] undefined method: nil#[]

# Classes
class Object
  private
  def foo: -> ([:a | untyped, :b | untyped])
end