From 93de1ce002af784adf6a4a45f0b562cf416d3d4e Mon Sep 17 00:00:00 2001
From: Cem Onem <cem.oenem@dlr.de>
Date: Tue, 17 Dec 2024 12:34:11 +0100
Subject: [PATCH] fix: local.tee validation

Signed-off-by: Cem Onem <cem.oenem@dlr.de>
---
 src/validation/code.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/validation/code.rs b/src/validation/code.rs
index 6093fcb8..0f580636 100644
--- a/src/validation/code.rs
+++ b/src/validation/code.rs
@@ -420,7 +420,7 @@ fn read_instructions(
             LOCAL_TEE => {
                 let local_idx = wasm.read_var_u32()? as LocalIdx;
                 let local_ty = locals.get(local_idx).ok_or(Error::InvalidLocalIdx)?;
-                stack.assert_pop_val_type(*local_ty)?;
+                stack.assert_val_types_on_top(&[*local_ty])?;
             }
             // global.get [] -> [t]
             GLOBAL_GET => {