[steveklabnik]

In my understanding, Ada allows you to return unsized values, but it's generally implemented via a secondary stack.

[cyco130]

Gold mine! Didn't know about to concept, thanks.

[steveklabnik]

You're welcome!

You also might be interested in this old RFC for Rust, which described something similar https://github.com/PoignardAzur/placement-by-return/blob/pla...

[cyco130]

And now I’m proud because that’s pretty much the exact idea I tried to pitch at the great grandparent.