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