Function param_env_from_clauses 

pub fn param_env_from_clauses<'tcx>(
    tcx: TyCtxt<'tcx>,
    predicates: impl Iterator<Item = Clause<'tcx>>,
) -> ParamEnv<'tcx>

Make a new ParamEnv from a list of clauses.