Function rustc_trait_selection::traits::coherence::equate_impl_headers
source · fn equate_impl_headers<'tcx>(
infcx: &InferCtxt<'tcx>,
impl1: &ImplHeader<'tcx>,
impl2: &ImplHeader<'tcx>
) -> Option<PredicateObligations<'tcx>>