Right now binaries created by moonbit utilize the Wasm feature of block / if / loop / try parameters e.g. (if (result i32) ...). While valid Wasm (it came from the multi-value proposal) unfortunately Binaryen’s superb optimization utility wasm-opt does not yet support this feature, and it’s unclear when it will.
Curious if it would be an easy change to, at least temporarily, avoid that feature? i.e. sometimes you’d have to use locals instead.