Function infer_cycle_result 

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