Function rustc_trait_selection::traits::coherence::resolve_negative_obligation

fn resolve_negative_obligation<'cx, 'tcx>(
    infcx: &InferCtxt<'cx, 'tcx>,
    param_env: ParamEnv<'tcx>,
    o: &PredicateObligation<'tcx>
) -> bool