rustc_next_trait_solver::solve::fast_path

Function compute_goal_fast_path

pub fn compute_goal_fast_path<D, I>(
    delegate: &D,
    goal: Goal<I, I::Predicate>,
    origin_span: I::Span,
) -> Option<GoalEvaluation<I>>where
    D: SolverDelegate<Interner = I>,
    I: Interner,

Expand description

This is a fast path optimization: See the docs on ComputeGoalFastPathOutcome

compute_goal_fast_path

Function compute_goal_fast_path Copy item path

Function compute_goal_fast_path