pub fn lower_contract(gcx: Gcx<'_>, contract_id: ContractId) -> Module
Lowers a contract from HIR to MIR.