Function rustc_trait_selection::traits::coherence::overlap_within_probe

fn overlap_within_probe<'cx, 'tcx>(
    selcx: &mut SelectionContext<'cx, 'tcx>, 
    skip_leak_check: SkipLeakCheck, 
    a_def_id: DefId, 
    b_def_id: DefId, 
    snapshot: &CombinedSnapshot<'_, 'tcx>
) -> Option<OverlapResult<'tcx>>