Fix throw %!e

inputs/failing/exceptions/finallyWithoutThrow.ts

@@ -1,17 +0,0 @@
-//! test_output(E: undefined)
-// Should be: "Ok"
-
-// FIXME: This is failing because the optimizer learned to move out of the exception variable. This
-// is resulting in a void->undefined conversion (I think), which breaks because we rely on
-// throw(void) to not actually throw.
-
-export default function () {
-  let result: string;
-
-  try {
-  } finally {
-    result = "Ok";
-  }
-
-  return result;
-}

inputs/passing/exceptions/finallyWithoutThrow.ts

@@ -0,0 +1,12 @@
+//! test_output("Ok")
+
+export default function () {
+  let result: string;
+
+  try {
+  } finally {
+    result = "Ok";
+  }
+
+  return result;
+}

valuescript_vm/src/bytecode_stack_frame.rs

@@ -484,6 +484,17 @@ impl StackFrameTrait for BytecodeStackFrame {
 
       Throw => {
         return match self.decoder.peek_type() {
+          BytecodeType::TakeRegister => {
+            self.decoder.decode_type();
+
+            // Avoid the void->undefined conversion here
+            let error = take(&mut self.registers[self.decoder.decode_register_index().unwrap()]);
+
+            match error {
+              Val::Void => Ok(FrameStepOk::Continue),
+              _ => Err(error),
+            }
+          }
           BytecodeType::Register => {
             self.decoder.decode_type();