Struct DelegationInfo

Source

pub struct DelegationInfo {
    pub call_expr_id: HirId,
    pub call_path_res: 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)>,
    pub arguments_to_map: FxIndexSet<usize>,
}

Fields§

§call_expr_id: HirId§call_path_res: DefId§child_seg_id: HirId

Id 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)>§arguments_to_map: FxIndexSet<usize>

DelegationInfo

Struct DelegationInfo Copy item path

Fields§

Trait Implementations§

impl<'tcx> ArenaAllocatable<'tcx> for DelegationInfo

fn allocate_on(self, arena: &'tcx Arena<'tcx>) -> &'tcx mut Self

fn allocate_from_iter( arena: &'tcx Arena<'tcx>, iter: impl IntoIterator<Item = Self>, ) -> &'tcx mut [Self]

impl Debug for DelegationInfo

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

impl StableHash for DelegationInfo

fn stable_hash<__Hcx: StableHashCtxt>( &self, __hcx: &mut __Hcx, __hasher: &mut StableHasher, )

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§

impl<T> Aligned for T

const ALIGN: Alignment

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> ErasedDestructor for Twhere T: 'static,

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self> ⓘ

fn in_current_span(self) -> Instrumented<Self> ⓘ

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘwhere F: FnOnce(&Self) -> bool,

impl<T> Pointable for T

const ALIGN: usize

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> Same for T

type Output = T

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

fn vzip(self) -> V

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘwhere S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self> ⓘ

Layout§

Struct DelegationInfo

fn stable_hash<Hcx: StableHashCtxt>( &self, hcx: &mut Hcx, hasher: &mut StableHasher, )

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> ErasedDestructor for T
where T: 'static,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
where F: FnOnce(&Self) -> bool,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘ
where S: Into<Dispatch>,