Enum InferenceDiagnostic 

pub enum InferenceDiagnostic<'db> {
    NoSuchField {
        field: ExprOrPatId,
        private: Option<LocalFieldId>,
        variant: VariantId,
    },
    PrivateField {
        expr: ExprId,
        field: FieldId,
    },
    PrivateAssocItem {
        id: ExprOrPatId,
        item: AssocItemId,
    },
    UnresolvedField {
        expr: ExprId,
        receiver: Ty<'db>,
        name: Name,
        method_with_same_name_exists: bool,
    },
    UnresolvedMethodCall {
        expr: ExprId,
        receiver: Ty<'db>,
        name: Name,
        field_with_same_name: Option<Ty<'db>>,
        assoc_func_with_same_name: Option<FunctionId>,
    },
    UnresolvedAssocItem {
        id: ExprOrPatId,
    },
    UnresolvedIdent {
        id: ExprOrPatId,
    },
    BreakOutsideOfLoop {
        expr: ExprId,
        is_break: bool,
        bad_value_break: bool,
    },
    MismatchedArgCount {
        call_expr: ExprId,
        expected: usize,
        found: usize,
    },
    MismatchedTupleStructPatArgCount {
        pat: ExprOrPatId,
        expected: usize,
        found: usize,
    },
    ExpectedFunction {
        call_expr: ExprId,
        found: Ty<'db>,
    },
    TypedHole {
        expr: ExprId,
        expected: Ty<'db>,
    },
    CastToUnsized {
        expr: ExprId,
        cast_ty: Ty<'db>,
    },
    InvalidCast {
        expr: ExprId,
        error: CastError,
        expr_ty: Ty<'db>,
        cast_ty: Ty<'db>,
    },
    TyDiagnostic {
        source: InferenceTyDiagnosticSource,
        diag: TyLoweringDiagnostic,
    },
    PathDiagnostic {
        node: ExprOrPatId,
        diag: PathLoweringDiagnostic,
    },
    MethodCallIncorrectGenericsLen {
        expr: ExprId,
        provided_count: u32,
        expected_count: u32,
        kind: IncorrectGenericsLenKind,
        def: GenericDefId,
    },
    MethodCallIncorrectGenericsOrder {
        expr: ExprId,
        param_id: GenericParamId,
        arg_idx: u32,
        has_self_arg: bool,
    },
}

Variants

NoSuchField

Fields

field: ExprOrPatId

private: Option<LocalFieldId>

variant: VariantId

PrivateField

Fields

expr: ExprId

field: FieldId

PrivateAssocItem

Fields

id: ExprOrPatId

item: AssocItemId

UnresolvedField

Fields

expr: ExprId

receiver: Ty<'db>

name: Name

method_with_same_name_exists: bool

UnresolvedMethodCall

Fields

expr: ExprId

receiver: Ty<'db>

name: Name

field_with_same_name: Option<Ty<'db>>

Contains the type the field resolves to

assoc_func_with_same_name: Option<FunctionId>

UnresolvedAssocItem

Fields

id: ExprOrPatId

UnresolvedIdent

Fields

id: ExprOrPatId

BreakOutsideOfLoop

Fields

expr: ExprId

is_break: bool

bad_value_break: bool

MismatchedArgCount

Fields

call_expr: ExprId

expected: usize

found: usize

MismatchedTupleStructPatArgCount

Fields

pat: ExprOrPatId

expected: usize

found: usize

ExpectedFunction

Fields

call_expr: ExprId

found: Ty<'db>

TypedHole

Fields

expr: ExprId

expected: Ty<'db>

CastToUnsized

Fields

expr: ExprId

cast_ty: Ty<'db>

InvalidCast

Fields

expr: ExprId

error: CastError

expr_ty: Ty<'db>

cast_ty: Ty<'db>

TyDiagnostic

Fields

source: InferenceTyDiagnosticSource

diag: TyLoweringDiagnostic

PathDiagnostic

Fields

node: ExprOrPatId

diag: PathLoweringDiagnostic

MethodCallIncorrectGenericsLen

Fields

expr: ExprId

provided_count: u32

expected_count: u32

kind: IncorrectGenericsLenKind

def: GenericDefId

MethodCallIncorrectGenericsOrder

Fields

expr: ExprId

param_id: GenericParamId

arg_idx: u32

has_self_arg: bool

Whether the GenericArgs contains a Self arg.

Trait Implementations

impl<'db> Clone for InferenceDiagnostic<'db>

fn clone(&self) -> InferenceDiagnostic<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for InferenceDiagnostic<'db>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'db> PartialEq for InferenceDiagnostic<'db>

fn eq(&self, other: &InferenceDiagnostic<'db>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'db> Update for InferenceDiagnostic<'db>

unsafe fn maybe_update(old_pointer_: *mut Self, new_value_: Self) -> bool

Returns

impl<'db> Eq for InferenceDiagnostic<'db>

impl<'db> StructuralPartialEq for InferenceDiagnostic<'db>