Struct ParamEnv 

pub struct ParamEnv<'tcx> {
    pub generics: TyGenerics<'tcx>,
    pub extra_early_regions: Vec<PlaceholderRegion>,
    pub predicates: GenericPredicates<'tcx>,
    pub parent: Option<ItemRef<'tcx>>,
}

The combination of type generics and related predicates.

Fields

generics: TyGenerics<'tcx>

Generic parameters of the item.

extra_early_regions: Vec<PlaceholderRegion>

Extra early regions that we add to replace regions that rustc normally erases. We represent them with placeholders so the types that mention them can still flow through rustc APIs.

predicates: GenericPredicates<'tcx>

Required predicates for the item (see traits::utils::required_predicates).

parent: Option<ItemRef<'tcx>>

A reference to the parent of this item, with appropriate args.

Implementations

impl<'tcx> ParamEnv<'tcx>

pub fn for_each_generics( &self, s: &impl BaseState<'tcx>, f: &mut impl FnMut(&GenericParamDef<'_>), )

pub fn empty( s: &impl BaseState<'tcx>, parent: Option<&ItemRef<'tcx>>, ) -> ParamEnv<'tcx>

Trait Implementations

impl<'tcx> Clone for ParamEnv<'tcx>

fn clone(&self) -> ParamEnv<'tcx>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> Debug for ParamEnv<'tcx>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.