Auto-update for 2025-10-10 (#139)

Update repos:

  custom-descriptors:
    WebAssembly/custom-descriptors@b9d6399

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

Co-authored-by: WebAssembly/testsuite auto-update <github-actions@users.noreply.github.com>

Author: github-actions[bot]

proposals/custom-descriptors/binary-descriptors.wast

@@ -0,0 +1,70 @@
+
+;; Descriptor and describes pair.
+(module binary
+  "\00asm" "\01\00\00\00"
+  "\01"  ;; Type section id
+  "\0b"  ;; Type section length
+  "\01"  ;; Types vector length
+  "\4e"  ;; Recursion group
+  "\02"  ;; Rec group size
+  "\4d"  ;; Descriptor
+  "\01"  ;; Descriptor type index
+  "\5f"  ;; Struct
+  "\00"  ;; Number of fields
+  "\4c"  ;; Describes
+  "\00"  ;; Describes type index
+  "\5f"  ;; Struct
+  "\00"  ;; Number of fields
+)
+
+;; Descriptor chain with three types.
+(module binary
+  "\00asm" "\01\00\00\00"
+  "\01"  ;; Type section id
+  "\11"  ;; Type section length
+  "\01"  ;; Types vector length
+  "\4e"  ;; Recursion group
+  "\03"  ;; Rec group size
+  "\4d"  ;; Descriptor
+  "\01"  ;; Descriptor type index
+  "\5f"  ;; Struct
+  "\00"  ;; Number of fields
+  "\4c"  ;; Describes
+  "\00"  ;; Describes type index
+  "\4d"  ;; Descriptor
+  "\02"  ;; Descriptor type index
+  "\5f"  ;; Struct
+  "\00"  ;; Number of fields
+  "\4c"  ;; Describes
+  "\01"  ;; Describes type index
+  "\5f"  ;; Struct
+  "\00"  ;; Number of fields
+)
+
+;; Descriptor chain with three types, but middle type has descriptor before
+;; describes.
+(assert_malformed
+  (module binary
+    "\00asm" "\01\00\00\00"
+    "\01"  ;; Type section id
+    "\11"  ;; Type section length
+    "\01"  ;; Types vector length
+    "\4e"  ;; Recursion group
+    "\03"  ;; Rec group size
+    "\4d"  ;; Descriptor
+    "\01"  ;; Descriptor type index
+    "\5f"  ;; Struct
+    "\00"  ;; Number of fields
+    "\4d"  ;; Descriptor - This is out of order
+    "\02"  ;; Descriptor type index
+    "\4c"  ;; Describes
+    "\00"  ;; Describes type index
+    "\5f"  ;; Struct
+    "\00"  ;; Number of fields
+    "\4c"  ;; Describes
+    "\01"  ;; Describes type index
+    "\5f"  ;; Struct
+    "\00"  ;; Number of fields
+  )
+  "malformed definition type"
+)

proposals/custom-descriptors/descriptors.wast

@@ -0,0 +1,74 @@
+;; Type syntax
+
+(module
+  (rec
+    (type (descriptor 1) (struct))
+    (type (describes 0) (struct))
+  )
+)
+
+(module
+  (rec
+    (type (descriptor 1) (struct))
+    (type (describes 0) (struct))
+  )
+  (rec
+    (type $a (descriptor $b) (struct))
+    (type $b (describes $a) (struct))
+  )
+  (rec
+    (type $c (sub (descriptor $d) (struct)))
+    (type $d (sub (describes $c) (struct)))
+  )
+  (rec
+    (type $e (sub final (descriptor $f) (struct)))
+    (type $f (sub final (describes $e) (struct)))
+  )
+  (rec
+    (type $g (sub $c (descriptor $h) (struct)))
+    (type $h (sub $d (describes $g) (struct)))
+  )
+  (rec
+    (type $i (sub final $g (descriptor $j) (struct (field i32))))
+    (type $j (sub final $h (describes $i) (struct (field f32))))
+  )
+  (rec
+    (type $k (descriptor $l) (struct))
+    (type $l (describes $k) (descriptor $m) (struct))
+    (type $m (describes $l) (struct))
+  )
+)
+
+;; Describes clause must precede descriptor clause.
+(assert_malformed
+  (module quote
+    "(rec"
+    "  (type $a (descriptor $b) (struct))"
+    "  (type $b (descriptor $c) (describes $a) (struct))"
+    "  (type $c (describes $b) (struct))"
+    ")"
+  )
+  "unexpected token"
+)
+
+;; Cannot have multiple descriptor clauses.
+(assert_malformed
+  (module quote
+    "(rec"
+    "  (type $a (descriptor $b) (descriptor $b) (struct))"
+    "  (type $b (describes $a) (struct))"
+    ")"
+  )
+  "unexpected token"
+)
+
+;; Cannot have multiple describes clauses.
+(assert_malformed
+  (module quote
+    "(rec"
+    "  (type $a (descriptor $b) (struct))"
+    "  (type $b (describes $a) (describes $a) (struct))"
+    ")"
+  )
+  "unexpected token"
+)