[−][src]Enum rustc_trait_selection::traits::error_reporting::ArgKind

pub enum ArgKind {
    Arg(String, String),
    Tuple(Option<Span>, Vec<(String, String)>),
}

Summarizes information

Variants

Arg(String, String)

An argument of non-tuple type. Parameters are (name, ty)

Tuple(Option<Span>, Vec<(String, String)>)

An argument of tuple type. For a "found" argument, the span is the locationo in the source of the pattern. For a "expected" argument, it will be None. The vector is a list of (name, ty) strings for the components of the tuple.

Implementations

impl ArgKind[src]

pub(in traits::error_reporting) fn empty(
) -> ArgKind[src]

pub fn from_expected_ty(t: Ty<'_>, span: Option<Span>) -> ArgKind[src]

Creates an ArgKind from the expected type of an argument. It has no name (_) and an optional source span.

Trait Implementations

impl Clone for ArgKind[src]

Auto Trait Implementations

impl RefUnwindSafe for ArgKind

impl !Send for ArgKind

impl !Sync for ArgKind

impl Unpin for ArgKind

impl UnwindSafe for ArgKind

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<T> From<T> for T[src]

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

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<T> WithConstness for T[src]