Function rustc_trait_selection::traits::coherence::implicit_negative

fn implicit_negative<'cx, 'tcx>(
    selcx: &mut SelectionContext<'cx, 'tcx>,
    param_env: ParamEnv<'tcx>,
    impl1_header: &ImplHeader<'tcx>,
    impl2_header: ImplHeader<'tcx>,
    obligations: PredicateObligations<'tcx>
) -> bool

Given impl1 and impl2 check if both impls can be satisfied by a common type (including where-clauses) If so, return false, otherwise return true, they are disjoint.