Struct RefinementGenerics 

pub struct RefinementGenerics {
    pub parent: Option<DefId>,
    pub parent_count: usize,
    pub own_params: List<RefineParam>,
}

Fields

parent: Option<DefId>

parent_count: usize

own_params: List<RefineParam>

Implementations

impl RefinementGenerics

pub fn count(&self) -> usize

pub fn own_count(&self) -> usize

Trait Implementations

impl Clone for RefinementGenerics

fn clone(&self) -> RefinementGenerics

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RefinementGenerics

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

Formats the value using the given formatter.

impl<'tcx, __D: TyDecoder<'tcx>> Decodable<__D> for RefinementGenerics

fn decode(__decoder: &mut __D) -> Self

impl<'tcx, __E: TyEncoder<'tcx>> Encodable<__E> for RefinementGenerics

fn encode(&self, __encoder: &mut __E)