wasm-tools 1.248.0

CLI tools for interoperating with WebAssembly files
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

;; RUN: wast --assert default --snapshot tests/snapshots % -f shared-everything-threads

(assert_invalid
  (module
    (rec
      (type (; super ;) (sub (func (result (ref null (shared func))))))
      (type (; sub ;) (sub 0 (func (result (ref null func)))))
    )
  )
  "sub type must match super type"
)

(assert_invalid
  (module
    (rec
      (type (; super ;) (sub (func (param (ref null (shared func))))))
      (type (; sub ;) (sub 0 (func (param (ref null 0)))))
    )
  )
  "sub type must match super type"
)