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::<..>
.
Implementations§
source§impl<'hir> PathSegment<'hir>
impl<'hir> PathSegment<'hir>
Trait Implementations§
source§impl<'hir> Clone for PathSegment<'hir>
impl<'hir> Clone for PathSegment<'hir>
source§fn clone(&self) -> PathSegment<'hir>
fn clone(&self) -> PathSegment<'hir>
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl<'hir> Debug for PathSegment<'hir>
impl<'hir> Debug for PathSegment<'hir>
source§impl<'hir, __CTX> HashStable<__CTX> for PathSegment<'hir>where
__CTX: HashStableContext,
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§
source§impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
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]
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
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
clone_to_uninit
)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>
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>
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>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
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: 48 bytes