rustc_trait_selection::traits::coherence

Function try_prove_negated_where_clause

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