* [ ] how result locations flow across expressions * [ ] variables * [ ] struct initialization * [ ] array initialization * [ ] union initialization * [ ] if * [ ] while * [ ] switch * [ ] return * [ ] function calls - return values & parameters * [ ] catch * [ ] orelse * [ ] `@bitCast` * [ ] mention #2761 and #2765