skip indexing into tuples when type checking

1 files changed, 8 insertions, 0 deletions

diff --git a/src/vm.rs b/src/vm.rs
index 7cfc8d3..6b69b3c 100644
--- a/src/vm.rs
+++ b/src/vm.rs
@@ -717,6 +717,14 @@ impl VM {
                 };
             }
 
+            Op::Index => {
+                // We don't have any information about the slot and the indexable might contain
+                // mixed types.
+                self.stack.pop().unwrap(); // indexable
+                self.stack.pop().unwrap(); // slot
+                self.stack.push(Value::Unknown);
+            }
+
             Op::Call(num_args) => {
                 let new_base = self.stack.len() - 1 - num_args;
                 match self.stack[new_base].clone() {