Struct rustc_hir::hir::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 rustc_hir::hir::PathSegment

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> DynSend for PathSegment<'hir>

impl<'hir> DynSync for PathSegment<'hir>

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<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T

fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T> ) -> &'a 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> 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> 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> 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§

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, U> Into<U> for T
where U: From<T>,

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,