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