> Here, we do something that is not possible to do in Rust or C - we safely stack-allocate the intermediate value,

There's no heap allocation in the Rust nor C code.

I haven't looked into the codegen to see what's different here.