Function rustc_trait_selection::traits::coherence::implicit_negative
source · 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
Expand description
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.