Struct PathSegment

source

pub struct PathSegment<'hir> {
    pub ident: Ident,
    pub hir_id: HirId,
    pub res: Res,
    pub args: Option<&'hir GenericArgs<'hir>>,
    pub infer_args: bool,
}

Expand description

A segment of a path: an identifier, an optional lifetime, and a set of types.

Fields§

§ident: Ident

The identifier portion of this path segment.

§hir_id: HirId§res: Res§args: Option<&'hir GenericArgs<'hir>>

Type/lifetime parameters attached to this path. They come in two flavors: Path<A,B,C> and Path(A,B) -> C. Note that this is more than just simple syntactic sugar; the use of parens affects the region binding rules, so we preserve the distinction.

§infer_args: bool

Whether to infer remaining type parameters, if any. This only applies to expression and pattern paths, and out of those only the segments with no type parameters to begin with, e.g., Vec::new is <Vec<..>>::new::<..>.

Struct PathSegmentCopy item path

Fields§

Implementations§

impl<'hir> PathSegment<'hir>

pub fn new(ident: Ident, hir_id: HirId, res: Res) -> PathSegment<'hir>

pub fn invalid() -> Self

pub fn args(&self) -> &GenericArgs<'hir>

Trait Implementations§

impl<'hir> Clone for PathSegment<'hir>

fn clone(&self) -> PathSegment<'hir>

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

impl<'hir> Debug for PathSegment<'hir>

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

impl<'hir, __CTX> HashStable<__CTX> for PathSegment<'hir>where __CTX: HashStableContext,

fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)

impl<'hir> Copy for PathSegment<'hir>

Auto Trait Implementations§

impl<'hir> Freeze for PathSegment<'hir>

impl<'hir> RefUnwindSafe for PathSegment<'hir>

impl<'hir> !Send for PathSegment<'hir>

impl<'hir> !Sync for PathSegment<'hir>

impl<'hir> Unpin for PathSegment<'hir>

impl<'hir> UnwindSafe for PathSegment<'hir>

Blanket Implementations§

impl<T> Aligned for T

const ALIGN: Alignment = _

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

fn type_id(&self) -> TypeId

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]

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> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dst: *mut T)

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> Same for T

type Output = T

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut 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>

impl<'a, T> Captures<'a> for Twhere T: ?Sized,

Layout§

Struct PathSegment

impl<'hir, CTX> HashStable<CTX> for PathSegment<'hir>
where __CTX: HashStableContext,

fn hash_stable(&self, hcx: &mut CTX, __hasher: &mut StableHasher)

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

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for T
where T: Copy,

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

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

impl<T> CloneToUninit for T
where T: Clone,

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> ToOwned for T
where T: Clone,

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>,

impl<'a, T> Captures<'a> for T
where T: ?Sized,