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>,
pub target: GenericsSource,
}
Expand description
A set of generic arguments.
Fields§
§regions: Vector<RegionId, Region>
§types: Vector<TypeVarId, Ty>
§const_generics: Vector<ConstGenericVarId, ConstGeneric>
§trait_refs: Vector<TraitClauseId, TraitRef>
§target: GenericsSource
Each GenericArgs
is meant for a corresponding GenericParams
; this records which one.
Implementations§
source§impl GenericArgs
impl GenericArgs
pub fn len(&self) -> usize
pub fn is_empty(&self) -> bool
pub fn empty(target: GenericsSource) -> Self
pub fn new_for_builtin(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>, target: GenericsSource, ) -> Self
sourcepub fn with_target(self, target: GenericsSource) -> Self
pub fn with_target(self, target: GenericsSource) -> Self
Changes the target.
sourcepub fn matches(&self, params: &GenericParams) -> bool
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.
sourcepub fn pop_first_type_arg(&self) -> (Ty, Self)
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.
sourcepub fn concat(self, target: GenericsSource, other: &Self) -> Self
pub fn concat(self, target: GenericsSource, other: &Self) -> Self
Concatenate this set of arguments with another one. Use with care, you must manage the order of arguments correctly.
source§impl GenericArgs
impl GenericArgs
pub(crate) fn fmt_with_ctx_no_brackets<C>(&self, ctx: &C) -> Stringwhere
C: AstFormatter,
pub fn fmt_with_ctx_split_trait_refs<C>(&self, ctx: &C) -> Stringwhere
C: AstFormatter,
Trait Implementations§
source§impl AstVisitable for GenericArgs
impl AstVisitable for GenericArgs
source§fn drive<V: VisitAst>(&self, v: &mut V) -> ControlFlow<V::Break>
fn drive<V: VisitAst>(&self, v: &mut V) -> ControlFlow<V::Break>
Recursively visit this type with the provided visitor. This calls the visitor’s
visit_$any
method if it exists, otherwise visit_inner
.source§fn drive_mut<V: VisitAstMut>(&mut self, v: &mut V) -> ControlFlow<V::Break>
fn drive_mut<V: VisitAstMut>(&mut self, v: &mut V) -> ControlFlow<V::Break>
Recursively visit this type with the provided visitor. This calls the visitor’s
visit_$any
method if it exists, otherwise visit_inner
.source§fn dyn_visit<T: AstVisitable>(&self, f: impl FnMut(&T))
fn dyn_visit<T: AstVisitable>(&self, f: impl FnMut(&T))
Visit all occurrences of that type inside
self
, in pre-order traversal.source§fn dyn_visit_mut<T: AstVisitable>(&mut self, f: impl FnMut(&mut T))
fn dyn_visit_mut<T: AstVisitable>(&mut self, f: impl FnMut(&mut T))
Visit all occurrences of that type inside
self
, in pre-order traversal.source§impl BodyVisitable for GenericArgs
impl BodyVisitable for GenericArgs
source§fn drive_body<V: VisitBody>(&self, v: &mut V) -> ControlFlow<V::Break>
fn drive_body<V: VisitBody>(&self, v: &mut V) -> ControlFlow<V::Break>
Recursively visit this type with the provided visitor. This calls the visitor’s
visit_$any
method if it exists, otherwise visit_inner
.source§fn drive_body_mut<V: VisitBodyMut>(
&mut self,
v: &mut V,
) -> ControlFlow<V::Break>
fn drive_body_mut<V: VisitBodyMut>( &mut self, v: &mut V, ) -> ControlFlow<V::Break>
Recursively visit this type with the provided visitor. This calls the visitor’s
visit_$any
method if it exists, otherwise visit_inner
.source§fn dyn_visit_in_body<T: BodyVisitable>(&self, f: impl FnMut(&T))
fn dyn_visit_in_body<T: BodyVisitable>(&self, f: impl FnMut(&T))
Visit all occurrences of that type inside
self
, in pre-order traversal.source§fn dyn_visit_in_body_mut<T: BodyVisitable>(&mut self, f: impl FnMut(&mut T))
fn dyn_visit_in_body_mut<T: BodyVisitable>(&mut self, f: impl FnMut(&mut T))
Visit all occurrences of that type inside
self
, in pre-order traversal.source§impl Clone for GenericArgs
impl Clone for GenericArgs
source§fn clone(&self) -> GenericArgs
fn clone(&self) -> GenericArgs
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for GenericArgs
impl Debug for GenericArgs
source§impl<'de> Deserialize<'de> for GenericArgs
impl<'de> Deserialize<'de> for GenericArgs
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl Display for GenericArgs
impl Display for GenericArgs
source§impl<'s, V> Drive<'s, V> for GenericArgswhere
V: Visitor + Visit<'s, Vector<RegionId, Region>> + Visit<'s, Vector<TypeVarId, Ty>> + Visit<'s, Vector<ConstGenericVarId, ConstGeneric>> + Visit<'s, Vector<TraitClauseId, TraitRef>>,
impl<'s, V> Drive<'s, V> for GenericArgswhere
V: Visitor + Visit<'s, Vector<RegionId, Region>> + Visit<'s, Vector<TypeVarId, Ty>> + Visit<'s, Vector<ConstGenericVarId, ConstGeneric>> + Visit<'s, Vector<TraitClauseId, TraitRef>>,
source§fn drive_inner(&'s self, visitor: &mut V) -> ControlFlow<V::Break>
fn drive_inner(&'s self, visitor: &mut V) -> ControlFlow<V::Break>
Call
v.visit()
on the immediate contents of self
.source§impl<'s, V> DriveMut<'s, V> for GenericArgswhere
V: Visitor + VisitMut<'s, Vector<RegionId, Region>> + VisitMut<'s, Vector<TypeVarId, Ty>> + VisitMut<'s, Vector<ConstGenericVarId, ConstGeneric>> + VisitMut<'s, Vector<TraitClauseId, TraitRef>>,
impl<'s, V> DriveMut<'s, V> for GenericArgswhere
V: Visitor + VisitMut<'s, Vector<RegionId, Region>> + VisitMut<'s, Vector<TypeVarId, Ty>> + VisitMut<'s, Vector<ConstGenericVarId, ConstGeneric>> + VisitMut<'s, Vector<TraitClauseId, TraitRef>>,
source§fn drive_inner_mut(&'s mut self, visitor: &mut V) -> ControlFlow<V::Break>
fn drive_inner_mut(&'s mut self, visitor: &mut V) -> ControlFlow<V::Break>
Call
v.visit()
on the immediate contents of self
.source§impl<C: AstFormatter> FmtWithCtx<C> for GenericArgs
impl<C: AstFormatter> FmtWithCtx<C> for GenericArgs
source§impl Hash for GenericArgs
impl Hash for GenericArgs
source§impl Index<ConstGenericVarId> for GenericArgs
impl Index<ConstGenericVarId> for GenericArgs
source§type Output = ConstGeneric
type Output = ConstGeneric
The returned type after indexing.
source§impl Index<RegionId> for GenericArgs
impl Index<RegionId> for GenericArgs
source§impl Index<TraitClauseId> for GenericArgs
impl Index<TraitClauseId> for GenericArgs
source§impl Index<TypeVarId> for GenericArgs
impl Index<TypeVarId> for GenericArgs
source§impl IndexMut<ConstGenericVarId> for GenericArgs
impl IndexMut<ConstGenericVarId> for GenericArgs
source§impl IndexMut<RegionId> for GenericArgs
impl IndexMut<RegionId> for GenericArgs
source§impl IndexMut<TraitClauseId> for GenericArgs
impl IndexMut<TraitClauseId> for GenericArgs
source§impl IndexMut<TypeVarId> for GenericArgs
impl IndexMut<TypeVarId> for GenericArgs
source§impl PartialEq for GenericArgs
impl PartialEq for GenericArgs
source§impl Serialize for GenericArgs
impl Serialize for GenericArgs
impl Eq for GenericArgs
impl StructuralPartialEq for GenericArgs
Auto Trait Implementations§
impl Freeze for GenericArgs
impl RefUnwindSafe for GenericArgs
impl Send for GenericArgs
impl Sync for GenericArgs
impl Unpin for GenericArgs
impl UnwindSafe for GenericArgs
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.§impl<I, T> ExtractContext<I, ()> for T
impl<I, T> ExtractContext<I, ()> for T
§fn extract_context(self, _original_input: I)
fn extract_context(self, _original_input: I)
Given the context attached to a nom error, and given the original
input to the nom parser, extract more the useful context information. Read more
§impl<T> Indentable for Twhere
T: Display,
impl<T> Indentable for Twhere
T: Display,
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more§impl<I> RecreateContext<I> for I
impl<I> RecreateContext<I> for I
§fn recreate_context(_original_input: I, tail: I) -> I
fn recreate_context(_original_input: I, tail: I) -> I
Given the original input, as well as the context reported by nom,
recreate a context in the original string where the error occurred. Read more
source§impl<T> TyVisitable for Twhere
T: AstVisitable,
impl<T> TyVisitable for Twhere
T: AstVisitable,
fn substitute(&mut self, generics: &GenericArgs)
source§fn move_under_binder(self) -> Self
fn move_under_binder(self) -> Self
Move under one binder.
source§fn move_under_binders(self, depth: DeBruijnId) -> Self
fn move_under_binders(self, depth: DeBruijnId) -> Self
Move under
depth
binders.source§fn move_from_under_binders(self, depth: DeBruijnId) -> Option<Self>
fn move_from_under_binders(self, depth: DeBruijnId) -> Option<Self>
Move the value out of
depth
binders. Returns None
if it contains a variable bound in
one of these depth
binders.source§fn visit_db_id<B>(
&mut self,
f: impl FnMut(&mut DeBruijnId) -> ControlFlow<B>,
) -> ControlFlow<B>
fn visit_db_id<B>( &mut self, f: impl FnMut(&mut DeBruijnId) -> ControlFlow<B>, ) -> ControlFlow<B>
Visit the de Bruijn ids contained in
self
, as seen from the outside of self
. This means
that any variable bound inside self
will be skipped, and all the seen indices will count
from the outside of self.