Struct GenericArgs

pub struct GenericArgs {
    pub regions: Vector<RegionId, Region>,
    pub types: Vector<TypeVarId, Ty>,
    pub const_generics: Vector<ConstGenericVarId, ConstGeneric>,
    pub trait_refs: Vector<TraitClauseId, TraitRef>,
}

Fields

regions: Vector<RegionId, Region>

types: Vector<TypeVarId, Ty>

const_generics: Vector<ConstGenericVarId, ConstGeneric>

trait_refs: Vector<TraitClauseId, TraitRef>

Implementations

impl GenericArgs

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn empty() -> Self

pub fn new_from_types(types: Vector<TypeVarId, Ty>) -> Self

pub fn new( regions: Vector<RegionId, Region>, types: Vector<TypeVarId, Ty>, const_generics: Vector<ConstGenericVarId, ConstGeneric>, trait_refs: Vector<TraitClauseId, TraitRef>, ) -> Self

pub fn matches(&self, params: &GenericParams) -> bool

Check whether this matches the given GenericParams. TODO: check more things, e.g. that the trait refs use the correct trait and generics.

pub fn pop_first_type_arg(&self) -> (Ty, Self)

Return the same generics, but where we pop the first type arguments. This is useful for trait references (for pretty printing for instance), because the first type argument is the type for which the trait is implemented.

impl GenericArgs

pub(crate) fn fmt_with_ctx_no_brackets<C>(&self, ctx: &C) -> String

where C: AstFormatter,

pub fn fmt_with_ctx_split_trait_refs<C>(&self, ctx: &C) -> String

where C: AstFormatter,

Trait Implementations

impl Clone for GenericArgs

fn clone(&self) -> GenericArgs

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for GenericArgs

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

Formats the value using the given formatter.

impl Default for GenericArgs

fn default() -> GenericArgs

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for GenericArgs

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Drive for GenericArgs

fn drive<V: Visitor>(&self, visitor: &mut V)

impl DriveMut for GenericArgs

fn drive_mut<V: VisitorMut>(&mut self, visitor: &mut V)

impl<C: AstFormatter> FmtWithCtx<C> for GenericArgs

fn fmt_with_ctx(&self, ctx: &C) -> String

fn fmt_with_ctx_and_indent(&self, _tab: &str, _ctx: &C) -> String

fn with_ctx<'a>(&'a self, ctx: &'a C) -> impl Display + 'a

Returns a struct that implements Display. This allows the following:

impl Hash for GenericArgs

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for GenericArgs

fn eq(&self, other: &GenericArgs) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for GenericArgs

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for GenericArgs

impl StructuralPartialEq for GenericArgs