Function lower_program

pub fn lower_program(
    program: &HirProgram,
    checked: &CheckedProgram,
) -> Result<MirProgram, LowerError>

Lower checked HIR into a MIR program.