Function rustc_trait_selection::traits::coherence::negative_impl_exists
source · fn negative_impl_exists<'cx, 'tcx>(
selcx: &SelectionContext<'cx, '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.