Skip to main content

rerunning_stalled_goal_may_make_progress

rustc_next_trait_solver::solve::eval_ctxt::fast_path

Function rerunning_stalled_goal_may_make_progress 

Source 
pub(super) fn rerunning_stalled_goal_may_make_progress<D, I>(
    delegate: &D,
    stalled_on: Option<&GoalStalledOn<I>>,
) -> RerunStalled
where
    D: SolverDelegate<Interner = I>,
    I: Interner,
Expand description

If we have run a goal before, and it was stalled, check that any of the goal’s args have changed. This is a cheap way to determine that if we were to rerun this goal now, it will remain stalled since it’ll canonicalize the same way and evaluation is pure. Therefore, we can skip this rerun