Struct rustc_infer::infer::error_reporting::need_type_info::InferenceDiagnosticsData

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

Information about a constant or a type containing inference variables.

Fields

name: String

span: Option<Span>

kind: UnderspecifiedArgKind

parent: Option<InferenceDiagnosticsParentData>

Implementations

impl InferenceDiagnosticsData

fn can_add_more_info(&self) -> bool

fn where_x_is_kind(&self, in_type: Ty<'_>) -> &'static str

fn make_bad_error(&self, span: Span) -> InferenceBadError<'_>

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.

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:112 bytes