The issue is that all the analysis the rust compiler did is not present/inferable from the wasm artifact. Since the compiler that has to translate wasm to machi

The issue is that all the analysis the rust compiler did is not present/inferable from the wasm artifact. Since the compiler that has to translate wasm to machine code cannot make more assumptions than those that are in the wasm specification, it has to redo the analysis for certain things. That is time consuming for an optimizing compiler (how much really I don't know), and I think impossible for a streaming compiler.