Struct rustc_infer::infer::error_reporting::need_type_info::InferenceDiagnosticsData[−][src]

pub struct InferenceDiagnosticsData {
    pub name: String,
    pub span: Option<Span>,
    pub kind: UnderspecifiedArgKind,
    pub parent: Option<InferenceDiagnosticsParentData>,
}
Expand description

Information about a constant or a type containing inference variables.

Fields

name: Stringspan: Option<Span>kind: UnderspecifiedArgKindparent: Option<InferenceDiagnosticsParentData>

Implementations

impl InferenceDiagnosticsData[src]

fn cannot_infer_msg(&self, use_diag: Option<&UseDiagnostic<'_>>) -> String[src]

Generate a label for a generic argument which can’t be inferred. When not much is known about the argument, use_diag may be used to describe the labeled value.

Auto Trait Implementations

impl RefUnwindSafe for InferenceDiagnosticsData

impl !Send for InferenceDiagnosticsData

impl !Sync for InferenceDiagnosticsData

impl Unpin for InferenceDiagnosticsData

impl UnwindSafe for InferenceDiagnosticsData

Blanket Implementations

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

pub fn type_id(&self) -> TypeId[src]

Gets the TypeId of self. Read more

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

pub fn borrow(&self) -> &T[src]

Immutably borrows from an owned value. Read more

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

pub fn borrow_mut(&mut self) -> &mut T[src]

Mutably borrows from an owned value. Read more

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

pub fn from(t: T) -> T[src]

Performs the conversion.

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

pub fn into(self) -> U[src]

Performs the conversion.

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.

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

Performs the conversion.

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.

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

Performs the conversion.

impl<T> WithConstness for T[src]

fn with_constness(self, constness: Constness) -> ConstnessAnd<Self>[src]

fn with_const(self) -> ConstnessAnd<Self>[src]

fn without_const(self) -> ConstnessAnd<Self>[src]

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