1 files changed, 3 insertions, 0 deletions
diff --git a/src/wasm-validator.h b/src/wasm-validator.h
index f7e3b9db1..f17ed16d5 100644
--- a/src/wasm-validator.h
+++ b/src/wasm-validator.h
@@ -230,6 +230,9 @@ public:
       }
     }
   }
+  void visitGetLocal(GetLocal* curr) {
+    shouldBeTrue(isConcreteWasmType(curr->type), curr, "get_local must have a valid type - check what you provided when you constructed the node");
+  }
   void visitSetLocal(SetLocal *curr) {
     shouldBeTrue(curr->index < getFunction()->getNumLocals(), curr, "set_local index must be small enough");
     if (curr->value->type != unreachable) {