In some cases, WastParser rejects constructs that use disabled features (e.g. multi-memory, exceptions) and in some cases it appears to allow them (e.g. extended-const, memory64) even if disabled. (As seen in https://github.com/WebAssembly/wabt/pull/2234 where the lack of `--enable-extended-const` didn't affect `wast2json`.)

Do we think it's important for `wat2wasm` to reject these constructs if disabled (and if so, should the spec testsuite or our regression tests include these kinds of negative examples)?

Related to https://github.com/WebAssembly/wabt/issues/1837
Enforce disabled features in WastParser for extended-const and memory64?
This is a GitHub Issue
repo:wabt
owner:WebAssembly
Title : Enforce disabled features in WastParser for extended-const and memory64?
Issue date:

--- start body ---
In some cases, WastParser rejects constructs that use disabled features (e.g. multi-memory, exceptions) and in some cases it appears to allow them (e.g. extended-const, memory64) even if disabled. (As seen in https://github.com/WebAssembly/wabt/pull/2234 where the lack of `--enable-extended-const` didn't affect `wast2json`.)

Do we think it's important for `wat2wasm` to reject these constructs if disabled (and if so, should the spec testsuite or our regression tests include these kinds of negative examples)?

Related to https://github.com/WebAssembly/wabt/issues/1837
--- end body ---

None