Function rustc_ty_utils::ty::well_formed_types_in_env

source ·

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

Expand description

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.