Struct TypedAssignMismatch 

pub struct TypedAssignMismatch {
    pub range: TextRange,
    pub target: String,
    pub expected: Ty,
    pub found: Ty,
}

One statically-checkable type mismatch at a declaration-initializer or assignment site against an already-known declared type (issue #1877) — the ~ temp/plain-assignment sibling of DirectCallArgMismatch, which covers only direct-call arguments.

Fields

range: TextRange

The diagnostic site: the temp’s own name range for a ~ temp initializer (matching strict::collect_temps’s escape-check anchor), or the assignment target Path’s own range for a plain assignment (matching DirectCallArgMismatch::range’s callee-range convention).

target: String

The declared local/global’s bare name.

expected: Ty

The target’s already-known declared type.

found: Ty

The initializer/RHS expression’s statically classified type.

Trait Implementations

impl Clone for TypedAssignMismatch

fn clone(&self) -> TypedAssignMismatch

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypedAssignMismatch

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

Formats the value using the given formatter.

impl Eq for TypedAssignMismatch

impl PartialEq for TypedAssignMismatch

fn eq(&self, other: &TypedAssignMismatch) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TypedAssignMismatch