Function rustc_trait_selection::traits::coherence::overlap_within_probe
source · [−]fn overlap_within_probe<'cx, 'tcx>(
selcx: &mut SelectionContext<'cx, 'tcx>,
impl1_def_id: DefId,
impl2_def_id: DefId,
overlap_mode: OverlapMode,
snapshot: &CombinedSnapshot<'_, 'tcx>
) -> Option<OverlapResult<'tcx>>