Function try_prove_negated_where_clause

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