fn confirm_pointee_candidate<'cx, 'tcx>(
    selcx: &mut SelectionContext<'cx, 'tcx>,
    obligation: &Obligation<'tcx, ProjectionTy<'tcx>>,
    _: ImplSourcePointeeData
) -> Progress<'tcx>