1 files changed, 4 insertions, 0 deletions
diff --git a/src/wasm-validator.h b/src/wasm-validator.h
index 70f226682..4daf9a4a7 100644
--- a/src/wasm-validator.h
+++ b/src/wasm-validator.h
@@ -63,6 +63,10 @@ public:
   void visitUnary(Unary *curr) override {
     shouldBeTrue(curr->value->type == curr->type);
   }
+
+  void visitFunction(Function *curr) override {
+    shouldBeTrue(curr->result == curr->body->type);
+  }
   void visitMemory(Memory *curr) override {
     shouldBeFalse(curr->initial > curr->max);
     size_t top = 0;