In the section on AST to HIR [lowering](https://rustc-dev-guide.rust-lang.org/lowering.html), there is no mention of where lowering actually takes place or what mechanisms are used to perfom lowering.