Function infer_cycle_result 

fn infer_cycle_result<'db>(
    db: &'db dyn HirDatabase,
    _: Id,
    _: DefWithBodyId,
) -> InferenceResult<'db>