Function compute_goal_fast_path

Source

pub fn compute_goal_fast_path<D, I>(
    delegate: &D,
    goal: Goal<I, <I as Interner>::Predicate>,
    origin_span: <I as Interner>::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