Function rustc_trait_selection::traits::coherence::negative_impl_exists

fn negative_impl_exists<'cx, 'tcx>(
    selcx: &SelectionContext<'cx, 'tcx>, 
    o: &PredicateObligation<'tcx>
) -> bool