pub enum PathStyle {
    Expr,
    Pat,
    Type,
    Mod,
}
Expand description

Specifies how to parse a path.

Variants§

§

Expr

In some contexts, notably in expressions, paths with generic arguments are ambiguous with something else. For example, in expressions segment < .... can be interpreted as a comparison and segment ( .... can be interpreted as a function call. In all such contexts the non-path interpretation is preferred by default for practical reasons, but the path interpretation can be forced by the disambiguator ::, e.g. x<y> - comparisons, x::<y> - unambiguously a path.

Also, a path may never be followed by a :. This means that we can eagerly recover if we encounter it.

§

Pat

The same as Expr, but may be followed by a :. For example, this code:

struct S;

let S: S;
//  ^ Followed by a `:`
§

Type

In other contexts, notably in types, no ambiguity exists and paths can be written without the disambiguator, e.g., x<y> - unambiguously a path. Paths with disambiguators are still accepted, x::<Y> - unambiguously a path too.

§

Mod

A path with generic arguments disallowed, e.g., foo::bar::Baz, used in imports, visibilities or attributes. Technically, this variant is unnecessary and e.g., Expr can be used instead (paths in “mod” contexts have to be checked later for absence of generic arguments anyway, due to macros), but it is used to avoid weird suggestions about expected tokens when something goes wrong.

Implementations§

Trait Implementations§

source§

impl Clone for PathStyle

source§

fn clone(&self) -> PathStyle

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl PartialEq for PathStyle

source§

fn eq(&self, other: &PathStyle) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl Copy for PathStyle

source§

impl StructuralPartialEq for PathStyle

Auto Trait Implementations§

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

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

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

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: 1 byte

Size for each variant:

  • Expr: 0 bytes
  • Pat: 0 bytes
  • Type: 0 bytes
  • Mod: 0 bytes