Skip to main content

## match_candidate

# Function match_candidate

Source

    fn match_candidate<'tcx>(
        selcx: &mut SelectionContext<'_, 'tcx>,
        obligation: &HostEffectObligation<'tcx>,
        candidate: Binder<'tcx, HostEffectPredicate<'tcx>>,
        candidate_is_unnormalized: bool,
        more_nested: impl FnOnce(&mut SelectionContext<'_, 'tcx>, &mut ThinVec<PredicateObligation<'tcx>>),
    ) -> Result<ThinVec<PredicateObligation<'tcx>>, NoSolution>