Enum hir_def::path::Path

pub enum Path {
    BarePath(Interned<ModPath>),
    Normal(NormalPath),
    LangItem(LangItemTarget, Option<Name>),
}

Variants

BarePath(Interned<ModPath>)

BarePath is used when the path has neither generics nor type anchor, since the vast majority of paths are in this category, and splitting Path this way allows it to be more thin. When the path has either generics or type anchor, it is Path::Normal with the generics filled with None even if there are none (practically this is not a problem since many more paths have generics than a type anchor).

Normal(NormalPath)

Path::Normal may have empty generics and type anchor (but generic args will be filled with None).

LangItem(LangItemTarget, Option<Name>)

A link to a lang item. It is used in desugaring of things like it?. We can show these links via a normal path since they might be private and not accessible in the usage place.

Implementations

impl Path

pub fn from_src(ctx: &mut LowerCtx<'_>, path: Path) -> Option<Path>

Converts an ast::Path to Path. Works with use trees. It correctly handles $crate based path from macro call.

pub fn from_known_path( path: ModPath, generic_args: Vec<Option<GenericArgs>>, ) -> Path

Converts a known mod path to Path.

pub fn from_known_path_with_no_generic(path: ModPath) -> Path

Converts a known mod path to Path.

pub fn kind(&self) -> &PathKind

pub fn type_anchor(&self) -> Option<TypeRefId>

pub fn generic_args(&self) -> Option<&[Option<GenericArgs>]>

pub fn segments(&self) -> PathSegments<'_>

pub fn mod_path(&self) -> Option<&ModPath>

pub fn qualifier(&self) -> Option<Path>

pub fn is_self_type(&self) -> bool

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 From<Name> for Path

fn from(name: Name) -> Path

Converts to this type from the input type.

impl Hash for Path

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Path

fn eq(&self, other: &Path) -> 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.

impl Eq for Path

impl StructuralPartialEq for Path