Struct Path

pub struct Path {
    pub span: Span,
    pub segments: ThinVec<PathSegment>,
    pub tokens: Option<LazyAttrTokenStream>,
}

A “Path” is essentially Rust’s notion of a name.

It’s represented as a sequence of identifiers, along with a bunch of supporting information.

E.g., std::cmp::PartialEq.

Fields

span: Span

segments: ThinVec<PathSegment>

The segments in the path: the things separated by ::. Global paths begin with kw::PathRoot.

tokens: Option<LazyAttrTokenStream>

Implementations

impl Path

pub fn from_ident(ident: Ident) -> Path

Convert a span and an identifier to the corresponding one-segment path.

pub fn is_global(&self) -> bool

pub fn is_potential_trivial_const_arg(&self, allow_mgca_arg: bool) -> bool

Check if this path is potentially a trivial const arg, i.e., one that can potentially be represented without an anon const in the HIR.

If allow_mgca_arg is true (as should be the case in most situations when #![feature(min_generic_const_args)] is enabled), then this always returns true because all paths are valid.

Otherwise, it returns true iff the path has exactly one segment, and it has no generic args (i.e., it is potentially a const parameter).

Trait Implementations

impl Clone for Path

fn clone(&self) -> Path

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Path

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

Formats the value using the given formatter.

impl<__D: SpanDecoder> Decodable<__D> for Path

fn decode(__decoder: &mut __D) -> Self

impl<__E: SpanEncoder> Encodable<__E> for Path

fn encode(&self, __encoder: &mut __E)

impl HasAttrs for Path

const SUPPORTS_CUSTOM_INNER_ATTRS: bool = false

This is true if this HasAttrs might support ‘custom’ (proc-macro) inner attributes. Attributes like #![cfg] and #![cfg_attr] are not considered ‘custom’ attributes.

fn attrs(&self) -> &[Attribute]

fn visit_attrs(&mut self, _f: impl FnOnce(&mut AttrVec))

impl HasTokens for Path

fn tokens(&self) -> Option<&LazyAttrTokenStream>

fn tokens_mut(&mut self) -> Option<&mut Option<LazyAttrTokenStream>>

impl<CTX: HashStableContext> HashStable<CTX> for Path

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

impl PartialEq<Symbol> for Path

fn eq(&self, symbol: &Symbol) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

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: 24 bytes