jjs> Function("switch([]) { case 7: }");
Compiling threw: java.lang.VerifyError: Bad type on operand stack
Exception Details:
  Location:
jdk/nashorn/internal/scripts/Script$\^function\_._L1(Ljava/lang/Object;)Ljava/lang/Object; @9: invokestatic
  Reason:
    Type 'jdk/nashorn/internal/objects/NativeArray' (current frame, stack[0]) is not assignable to '[I'
  Current Frame:
    bci: @9
    flags: { }
    locals: { 'java/lang/Object' }
    stack: { 'jdk/nashorn/internal/objects/NativeArray', integer }
  Bytecode:
    0000000: 04b8 0031 b800 3712 38b8 003c ab00 0000
    0000010: 0000 0014 0000 0001 0000 0007 0000 0014
    0000020: b200 2bb0
  Stackmap Table:
    same_frame(@32)