Struct Generics

pub struct Generics<'hir> {
    pub params: &'hir [GenericParam<'hir>],
    pub predicates: &'hir [WherePredicate<'hir>],
    pub has_where_clause_predicates: bool,
    pub where_clause_span: Span,
    pub span: Span,
}

Represents lifetimes and type parameters attached to a declaration of a function, enum, trait, etc.

Fields

params: &'hir [GenericParam<'hir>]

predicates: &'hir [WherePredicate<'hir>]

has_where_clause_predicates: bool

where_clause_span: Span

span: Span

Implementations

impl<'hir> Generics<'hir>

pub const fn empty() -> &'hir Generics<'hir>

pub fn get_named(&self, name: Symbol) -> Option<&GenericParam<'hir>>

pub fn span_for_lifetime_suggestion(&self) -> Option<Span>

If there are generic parameters, return where to introduce a new one.

pub fn span_for_param_suggestion(&self) -> Option<Span>

If there are generic parameters, return where to introduce a new one.

pub fn tail_span_for_predicate_suggestion(&self) -> Span

Span where further predicates would be suggested, accounting for trailing commas, like in fn foo<T>(t: T) where T: Foo, so we don’t suggest two trailing commas.

pub fn add_where_or_trailing_comma(&self) -> &'static str

pub fn bounds_for_param( &self, param_def_id: LocalDefId, ) -> impl Iterator<Item = &WhereBoundPredicate<'hir>>

pub fn outlives_for_param( &self, param_def_id: LocalDefId, ) -> impl Iterator<Item = &WhereRegionPredicate<'_>>

pub fn bounds_span_for_suggestions( &self, param_def_id: LocalDefId, ) -> Option<(Span, Option<Span>)>

Returns a suggestable empty span right after the “final” bound of the generic parameter.

If that bound needs to be wrapped in parentheses to avoid ambiguity with subsequent bounds, it also returns an empty span for an open parenthesis as the second component.

E.g., adding + 'static after Fn() -> dyn Future<Output = ()> or Fn() -> &'static dyn Debug requires parentheses: Fn() -> (dyn Future<Output = ()>) + 'static and Fn() -> &'static (dyn Debug) + 'static, respectively.

pub fn span_for_predicate_removal(&self, pos: usize) -> Span

pub fn span_for_bound_removal( &self, predicate_pos: usize, bound_pos: usize, ) -> Span

Trait Implementations

impl<'hir> Clone for Generics<'hir>

fn clone(&self) -> Generics<'hir>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'hir> Debug for Generics<'hir>

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

Formats the value using the given formatter.

impl<'hir, __CTX> HashStable<__CTX> for Generics<'hir>

where __CTX: HashStableContext,

fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)

impl<'hir> Copy for Generics<'hir>

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 56 bytes