Skip to content

Commit 9639eef

Browse files
committed
Auto merge of rust-lang#158042 - jdonszelmann:cold-ev-goal, r=lqd,JonathanBrouwer
Outline part of `evaluate_goal_raw` into its own `#[cold]` function
2 parents 3768ec0 + 91b9f5f commit 9639eef

1 file changed

Lines changed: 10 additions & 0 deletions

File tree

  • compiler/rustc_next_trait_solver/src/solve/eval_ctxt

compiler/rustc_next_trait_solver/src/solve/eval_ctxt/mod.rs

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -590,6 +590,16 @@ where
590590
));
591591
}
592592

593+
self.evaluate_goal_cold(source, goal)
594+
}
595+
596+
#[cold]
597+
#[inline(never)]
598+
pub(super) fn evaluate_goal_cold(
599+
&mut self,
600+
source: GoalSource,
601+
goal: Goal<I, I::Predicate>,
602+
) -> Result<(NestedNormalizationGoals<I>, GoalEvaluation<I>), NoSolutionOrRerunNonErased> {
593603
// We only care about one entry per `OpaqueTypeKey` here,
594604
// so we only canonicalize the lookup table and ignore
595605
// duplicate entries.

0 commit comments

Comments
 (0)