fn augment_param_env<'tcx>( tcx: TyCtxt<'tcx>, param_env: ParamEnv<'tcx>, new_predicates: Option<&FxHashSet<Clause<'tcx>>>, ) -> ParamEnv<'tcx>
Add a new set of predicates to the caller_bounds of an existing param_env.