Function mir_body_cycle_result 

fn mir_body_cycle_result<'db>(
    _db: &'db dyn HirDatabase,
    _: Id,
    _def: InferBodyId<'db>,
) -> Result<MirBody<'db>, MirLowerError<'db>>