📝Propagating result information to expressions (compilers)
In Zig, during compilation optional result information (type, location) is propagated to expressions. This is the primary mechanism of type inference in the language and powers type coercions. Propagating result location allows to assign result directly to target location, avoiding allocating the value on the stack.