Function rustc_ty_utils::ty::well_formed_types_in_env

fn well_formed_types_in_env(tcx: TyCtxt<'_>, def_id: DefId) -> &List<Clause<'_>>

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.