Auto-update for 2025-07-09 (#130)

Update repos:

  wasm-3.0:
    WebAssembly/spec@50c2e8e

This change was automatically generated by `update-testsuite.py`

Co-authored-by: WebAssembly/testsuite auto-update <[email protected]>

Author: github-actions[bot]

proposals/wasm-3.0/binary.wast

@@ -669,7 +669,7 @@
   (module binary
       "\00asm" "\01\00\00\00"
       "\05\03\01"                           ;; memory section with one entry
-      "\08"                                 ;; malformed memory limits flag
+      "\10"                                 ;; malformed memory limits flag
       "\00"                                 ;; dummy byte
   )
   "malformed limits flags"

proposals/wasm-3.0/br_on_non_null.wast

@@ -17,13 +17,25 @@
       )
     )
   )
+  (func $n2 (param $r (ref null $t)) (result i32)
+    (call_ref $t
+      (ref.as_non_null
+        (block $l (result (ref null $t))
+          (br_on_non_null $l (local.get $r))
+          (return (i32.const -2))
+        )
+      )
+    )
+  )
 
   (elem func $f)
   (func $f (result i32) (i32.const 7))
 
-  (func (export "nullable-null") (result i32) (call $n (ref.null $t)))
   (func (export "nonnullable-f") (result i32) (call $nn (ref.func $f)))
+  (func (export "nullable-null") (result i32) (call $n (ref.null $t)))
   (func (export "nullable-f") (result i32) (call $n (ref.func $f)))
+  (func (export "nullable2-null") (result i32) (call $n2 (ref.null $t)))
+  (func (export "nullable2-f") (result i32) (call $n2 (ref.func $f)))
 
   (func (export "unreachable") (result i32)
     (block $l (result (ref $t))
@@ -36,9 +48,11 @@
 
 (assert_trap (invoke "unreachable") "unreachable")
 
-(assert_return (invoke "nullable-null") (i32.const -1))
 (assert_return (invoke "nonnullable-f") (i32.const 7))
+(assert_return (invoke "nullable-null") (i32.const -1))
 (assert_return (invoke "nullable-f") (i32.const 7))
+(assert_return (invoke "nullable2-null") (i32.const -2))
+(assert_return (invoke "nullable2-f") (i32.const 7))
 
 (module
   (type $t (func))

proposals/wasm-3.0/global.wast

@@ -390,7 +390,7 @@
       "\0a\67\6c\6f\62\61\6c\5f\69\33\32" ;; "global_i32"
       "\03"                          ;; GlobalImport
       "\7f"                          ;; i32
-      "\02"                          ;; malformed mutability
+      "\04"                          ;; malformed mutability
   )
   "malformed mutability"
 )
@@ -417,7 +417,7 @@
     "\06\86\80\80\80\00"  ;; global section
       "\01"               ;; length 1
       "\7f"               ;; i32
-      "\02"               ;; malformed mutability
+      "\04"               ;; malformed mutability
       "\41\00"            ;; i32.const 0
       "\0b"               ;; end
   )

proposals/wasm-3.0/tag.wast

@@ -19,6 +19,10 @@
   (module (tag (result i32)))
   "non-empty tag result type"
 )
+(assert_invalid
+  (module (import "" "" (tag (result i32))))
+  "non-empty tag result type"
+)
 
 
 ;; Link-time typing

proposals/wasm-3.0/type-rec.wast

@@ -1,3 +1,39 @@
+;; Syntax and Scoping
+
+(module
+  (type (func (param (ref 0)) (result (ref 0))))
+  (rec
+    (type (func (param (ref 2))))
+    (type (func (result (ref 1))))
+  )
+
+  (rec)
+  (rec (type (func)))
+  (rec (type $t (func)))
+  (rec (type $t1 (func)) (type (func)) (type $t2 (func)))
+  (rec (type $g (func (param (ref $g)) (result (ref $g)))))
+  (rec
+    (type $h (func (param (ref $k))))
+    (type $k (func (result (ref $h))))
+  )
+)
+
+(assert_invalid
+  (module
+    (type (func (param (ref 1))))
+    (type (func))
+  )
+  "unknown type"
+)
+(assert_invalid
+  (module
+    (rec (type (func (param (ref 1)))))
+    (rec (type (func)))
+  )
+  "unknown type"
+)
+
+
 ;; Static matching of recursive types
 
 (module