Function rustc_trait_selection::traits::overlapping_impls
source ยท pub fn overlapping_impls(
tcx: TyCtxt<'_>,
impl1_def_id: DefId,
impl2_def_id: DefId,
skip_leak_check: SkipLeakCheck,
overlap_mode: OverlapMode,
) -> Option<OverlapResult<'_>>
Expand description
If there are types that satisfy both impls, returns Some
with a suitably-freshened ImplHeader
with those types
instantiated. Otherwise, returns None
.