From what I can tell, doing basic things like a property get on an object in WASM/host-bindings will require a spill to function, with no chance of specialization:
https://github.com/WebAssembly/host-bindings/issues/11#issue...
If you think the assembly in this article is bad, WASM/host-bindings appear to be even worse.