diff options
| author | Thomas Lively <tlively@google.com> | 2022-11-15 08:39:03 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-15 08:39:03 -0800 |
| commit | b2054b72b7daa89b7ad161c0693befad06a20c90 (patch) | |
| tree | 3f2691dadc7af9ee6c86d701ebfebcb8e525c843 /test/lit/validation | |
| parent | 8225e485a24c5fa6fffb0c9f0a3ee8615bcfa0d9 (diff) | |
| download | binaryen-b2054b72b7daa89b7ad161c0693befad06a20c90.tar.gz binaryen-b2054b72b7daa89b7ad161c0693befad06a20c90.tar.bz2 binaryen-b2054b72b7daa89b7ad161c0693befad06a20c90.zip | |
Make `call_ref` type annotations mandatory (#5246)
They were optional for a while to allow users to gracefully transition to using
them, but now make them mandatory to match the upstream WasmGC spec.
Diffstat (limited to 'test/lit/validation')
| -rw-r--r-- | test/lit/validation/nn-locals-bad-call_ref.wast | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/lit/validation/nn-locals-bad-call_ref.wast b/test/lit/validation/nn-locals-bad-call_ref.wast index 357409eef..9a96ed4bc 100644 --- a/test/lit/validation/nn-locals-bad-call_ref.wast +++ b/test/lit/validation/nn-locals-bad-call_ref.wast @@ -6,11 +6,12 @@ (module (tag $tag (param i32)) + (type $void (func)) (func $func (local $0 (ref any)) (try (do - (call_ref + (call_ref $void (ref.func $func) ) ) |