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