1) Ah yes, just typing from memory. Point still stands.
reply2) Adressed in the last paragraph.
Point being, these two things aren't different (variable assignment and function calls); IIUC they go through the same analysis pathway, result location semantics.
replyhttps://ziglang.org/documentation/master/#Result-Location-Se...
It's a little bit weird, since the types flow in the reverse direction than you would expect.