This is indeed unfortunate, but on the other hand, multivalue's benefits are probably very small. Inside functions, there is perhaps a 1-3% code size opportuni

This is indeed unfortunate, but on the other hand, multivalue's benefits are probably very small. Inside functions, there is perhaps a 1-3% code size opportunity at best (https://github.com/WebAssembly/binaryen?tab=readme-ov-file#binaryen-ir https://github.com/WebAssembly/binaryen?tab=readme-ov-file#b...), and no performance advantage. Between functions there might be a performance advantage, but as wasm VMs do more things like runtime inlining (which becomes more and more important with wasm GC and the languages that compile to it), that benefit goes away.