Function rustc_trait_selection::traits::coherence::try_prove_negated_where_clause

fn try_prove_negated_where_clause<'tcx>(
    root_infcx: &InferCtxt<'tcx>,
    clause: Clause<'tcx>,
    param_env: ParamEnv<'tcx>
) -> bool