pub struct DelegationInfo {
pub call_expr_id: HirId,
pub call_path_res: Option<DefId>,
pub child_seg_id: HirId,
pub parent_seg_id_for_sig: Option<HirId>,
pub child_seg_id_for_sig: Option<HirId>,
pub self_ty_propagation_kind: Option<DelegationSelfTyPropagationKind>,
pub group_id: Option<(LocalExpnId, bool)>,
}Fields§
§call_expr_id: HirId§call_path_res: Option<DefId>§child_seg_id: HirIdId of the child segment in delegation: reuse Trait::foo,
child_seg_id points to foo.
parent_seg_id_for_sig: Option<HirId>Ids of parent and child segments, Some when we need to take
generic args of those segments for signature/predicates inheritance.
None in trait impl case or when error delegation is generated, meaning
we should not access those segments for generic args lowering.
When child_seg_id_for_sig is Some it always equals child_seg_id.
child_seg_id_for_sig: Option<HirId>§self_ty_propagation_kind: Option<DelegationSelfTyPropagationKind>§group_id: Option<(LocalExpnId, bool)>Trait Implementations§
Source§impl Clone for DelegationInfo
impl Clone for DelegationInfo
Source§fn clone(&self) -> DelegationInfo
fn clone(&self) -> DelegationInfo
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreimpl Copy for DelegationInfo
Source§impl Debug for DelegationInfo
impl Debug for DelegationInfo
impl Eq for DelegationInfo
Source§impl PartialEq for DelegationInfo
impl PartialEq for DelegationInfo
Source§fn eq(&self, other: &DelegationInfo) -> bool
fn eq(&self, other: &DelegationInfo) -> bool
Tests for
self and other values to be equal, and is used by ==.Source§impl StableHash for DelegationInfo
impl StableHash for DelegationInfo
fn stable_hash<__Hcx: StableHashCtxt>( &self, __hcx: &mut __Hcx, __hasher: &mut StableHasher, )
impl StructuralPartialEq for DelegationInfo
Auto Trait Implementations§
impl DynSend for DelegationInfo
impl DynSync for DelegationInfo
impl Freeze for DelegationInfo
impl RefUnwindSafe for DelegationInfo
impl Send for DelegationInfo
impl Sync for DelegationInfo
impl Unpin for DelegationInfo
impl UnsafeUnpin for DelegationInfo
impl UnwindSafe for DelegationInfo
Blanket Implementations§
Source§impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
fn allocate_on(self, arena: &'tcx Arena<'tcx>) -> &'tcx mut T
fn allocate_from_iter( arena: &'tcx Arena<'tcx>, iter: impl IntoIterator<Item = T>, ) -> &'tcx mut [T]
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§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.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<T> Pointable for T
impl<T> Pointable for 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: 56 bytes