[interpreter] Fix subtype condition for result patterns

WebAssembly · Oct 29, 2024 · 37f3cad · 37f3cad
1 parent bef38ba
commit 37f3cad
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/interpreter/script/js.ml b/interpreter/script/js.ml
@@ -358,7 +358,12 @@ let rec type_of_result res =
 
 let assert_return ress ts at =
   let rec test (res, t) =
-    if not (Match.match_val_type [] t (type_of_result res)) then
+    if
+      not (
+        Match.match_val_type [] t (type_of_result res) ||
+        Match.match_val_type [] (type_of_result res) t
+      )
+    then
       [ Br (0l @@ at) @@ at ]
     else
     match res.it with