Function rustc_trait_selection::traits::coherence::negative_impl_exists

source · 
fn negative_impl_exists<'tcx>(
    infcx: &InferCtxt<'tcx>,
    o: &PredicateObligation<'tcx>,
    body_def_id: DefId
) -> bool
Expand description

Try to prove that a negative impl exist for the given obligation and its super predicates.