[][src]Enum rustc_ap_rustc_parse::parser::PathStyle

pub enum PathStyle {
    Expr,
    Type,
    Mod,
}

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.

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.

Trait Implementations

impl Clone for PathStyle[src]

impl Copy for PathStyle[src]

impl PartialEq<PathStyle> for PathStyle[src]

impl StructuralPartialEq for PathStyle[src]

Auto Trait Implementations

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<'a, T> Captures<'a> for T where
    T: ?Sized
[src]

impl<T> Erased for T[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> MaybeResult<T> for T[src]

type Error = !

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

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

The type returned in the event of a conversion error.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>,