Function rustc_trait_selection::traits::pred_known_to_hold_modulo_regions

fn pred_known_to_hold_modulo_regions<'tcx>(
    infcx: &InferCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
    pred: impl ToPredicate<'tcx> + TypeVisitable<'tcx>,
    span: Span
) -> bool