Walk is the final pass over the AST in the Go compiler before entering the back end.
It consists of two main steps:
- Order: Converting complex statements into simpler ones and introducing temporary variables.
- Desugaring: Converting high-level language constructs into more primitive ones.
