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