Function rustc_ty_utils::ty::well_formed_types_in_env

pub(in ty) fn well_formed_types_in_env<'tcx>(
    tcx: TyCtxt<'tcx>, 
    def_id: DefId
) -> &'tcx List<Predicate<'tcx>>

Elaborate the environment.

Collect a list of Predicate's used for building the ParamEnv. Adds TypeWellFormedFromEnv's that are assumed to be well-formed (because they come from the environment).

Used only in chalk mode.