Struct ParamEnv 

pub struct ParamEnv {
    pub generics: TyGenerics,
    pub predicates: GenericPredicates,
    pub parent: Option<ItemRef>,
}

The combination of type generics and related predicates.

Fields

generics: TyGenerics

Generic parameters of the item.

predicates: GenericPredicates

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

parent: Option<ItemRef>

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

Implementations

impl ParamEnv

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

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

Trait Implementations

impl Clone for ParamEnv

fn clone(&self) -> ParamEnv

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ParamEnv

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

Formats the value using the given formatter.