Struct Generics 

pub struct Generics {
    pub parent: Option<DefId>,
    pub parent_count: usize,
    pub own_params: List<GenericParamDef>,
    pub has_self: bool,
}

Fields

parent: Option<DefId>

parent_count: usize

own_params: List<GenericParamDef>

has_self: bool

Implementations

impl Generics

pub fn count(&self) -> usize

pub fn own_default_count(&self) -> usize

pub fn param_at( &self, param_index: usize, genv: GlobalEnv<'_, '_>, ) -> QueryResult<GenericParamDef>

pub fn const_params( &self, genv: GlobalEnv<'_, '_>, ) -> QueryResult<Vec<(ParamConst, Sort)>>

Trait Implementations

impl Clone for Generics

fn clone(&self) -> Generics

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Generics

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

Formats the value using the given formatter.

impl<__D: SpanDecoder> Decodable<__D> for Generics

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

impl Default for Generics

fn default() -> Generics

Returns the “default value” for a type.

impl<__E: SpanEncoder> Encodable<__E> for Generics

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