In the section on AST to HIR lowering, there is no mention of where lowering actually takes place or what mechanisms are used to perfom lowering.