Function rustc_trait_selection::traits::coherence::overlap
source · fn overlap<'cx, 'tcx>(
selcx: &mut SelectionContext<'cx, 'tcx>,
skip_leak_check: SkipLeakCheck,
impl1_def_id: DefId,
impl2_def_id: DefId,
overlap_mode: OverlapMode
) -> Option<OverlapResult<'tcx>>
Expand description
Can both impl a
and impl b
be satisfied by a common type (including
where-clauses)? If so, returns an ImplHeader
that unifies the two impls.