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