pub fn monomorphized_mir_body_recover(
_: &dyn HirDatabase,
_: &Cycle,
_: &DefWithBodyId,
_: &Substitution,
_: &Arc<TraitEnvironment>,
) -> Result<Arc<MirBody>, MirLowerError>
pub fn monomorphized_mir_body_recover(
_: &dyn HirDatabase,
_: &Cycle,
_: &DefWithBodyId,
_: &Substitution,
_: &Arc<TraitEnvironment>,
) -> Result<Arc<MirBody>, MirLowerError>