pub fn lower_module(module: &Module) -> Result<Module, Vec<Diagnostic>>Expand description
Lower a typed HIR module to monomorphized MIR.
Instances are discovered from main outward, so unreferenced functions
(and never-instantiated generic functions) are not emitted.