Function rustc_trait_selection::traits::project::confirm_impl_candidate
source · fn confirm_impl_candidate<'cx, 'tcx>(
selcx: &mut SelectionContext<'cx, 'tcx>,
obligation: &Obligation<'tcx, AliasTy<'tcx>>,
impl_impl_source: ImplSourceUserDefinedData<'tcx, PredicateObligation<'tcx>>
) -> Progress<'tcx>