pub(super) struct DelegationGenericArgsIterator<'hir> {
index: usize,
params: &'hir [GenericParam<'hir>],
}Fields§
§index: usize§params: &'hir [GenericParam<'hir>]Implementations§
Source§impl<'hir> DelegationGenericArgsIterator<'hir>
During generic args propagation we need to create generic args
(and their HirIds) on demand, as some of generic args can not be used
and in this case an assert of an unseen HirId will be triggered. Moreover,
when replacing infers with generated generic params we should reuse existing
HirId of replaced infer, thus this iterator abstracts the way HirIds are
created for new generic args.
impl<'hir> DelegationGenericArgsIterator<'hir>
During generic args propagation we need to create generic args
(and their HirIds) on demand, as some of generic args can not be used
and in this case an assert of an unseen HirId will be triggered. Moreover,
when replacing infers with generated generic params we should reuse existing
HirId of replaced infer, thus this iterator abstracts the way HirIds are
created for new generic args.
pub(super) fn next( &mut self, ctx: &mut LoweringContext<'_, 'hir>, hir_id_factory: impl FnOnce(&mut LoweringContext<'_, 'hir>) -> HirId, ) -> Option<GenericArg<'hir>>
pub(super) fn consume_all( self, ctx: &mut LoweringContext<'_, 'hir>, ) -> Vec<GenericArg<'hir>>
Auto Trait Implementations§
impl<'hir> DynSend for DelegationGenericArgsIterator<'hir>
impl<'hir> DynSync for DelegationGenericArgsIterator<'hir>
impl<'hir> Freeze for DelegationGenericArgsIterator<'hir>
impl<'hir> RefUnwindSafe for DelegationGenericArgsIterator<'hir>
impl<'hir> Send for DelegationGenericArgsIterator<'hir>
impl<'hir> Sync for DelegationGenericArgsIterator<'hir>
impl<'hir> Unpin for DelegationGenericArgsIterator<'hir>
impl<'hir> UnsafeUnpin for DelegationGenericArgsIterator<'hir>
impl<'hir> UnwindSafe for DelegationGenericArgsIterator<'hir>
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, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
impl<T> ErasedDestructor for Twhere
T: 'static,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§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 moreSource§impl<K> IntoQueryKey<K> for K
impl<K> IntoQueryKey<K> for K
Source§fn into_query_key(self) -> K
fn into_query_key(self) -> K
Argument conversion from
Self to K.
This should always be a very cheap conversion, e.g. LocalDefId::to_def_id.Source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
Source§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
Source§impl<I, T> UpcastFrom<I, T> for T
impl<I, T> UpcastFrom<I, T> for T
fn upcast_from(from: T, _tcx: I) -> T
Source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
Source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
Source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
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: 24 bytes