fn confirm_impl_trait_in_trait_candidate<'tcx>(
selcx: &mut SelectionContext<'_, 'tcx>,
obligation: &Obligation<'tcx, ProjectionTy<'tcx>>,
data: ImplSourceUserDefinedData<'tcx, PredicateObligation<'tcx>>
) -> Progress<'tcx>
fn confirm_impl_trait_in_trait_candidate<'tcx>(
selcx: &mut SelectionContext<'_, 'tcx>,
obligation: &Obligation<'tcx, ProjectionTy<'tcx>>,
data: ImplSourceUserDefinedData<'tcx, PredicateObligation<'tcx>>
) -> Progress<'tcx>