fn pred_known_to_hold_modulo_regions<'tcx>(
    infcx: &InferCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
    pred: impl Upcast<TyCtxt<'tcx>, Predicate<'tcx>>
) -> bool
Expand description

FIXME(@lcnr): this function doesn’t seem right and shouldn’t exist?

Ping me on zulip if you want to use this method and need help with finding an appropriate replacement.