pub fn mir_body_recover(
    _db: &dyn HirDatabase,
    _cycle: &Cycle,
    _def: &DefWithBodyId
) -> Result<Arc<MirBody>, MirLowerError>