Function rustc_hir_analysis::check::wfcheck::augment_param_env

source ยท 
fn augment_param_env<'tcx>(
    tcx: TyCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
    new_predicates: Option<&FxHashSet<Clause<'tcx>>>,
) -> ParamEnv<'tcx>
Expand description

Add a new set of predicates to the caller_bounds of an existing param_env.