Struct UfcsArgMismatch 

pub struct UfcsArgMismatch {
    pub index: usize,
    pub expected: Ty,
    pub found: Ty,
}

One statically-checkable argument-type mismatch at a UFCS-desugared free function call (recv.name(args) → name(recv, args)) — issue #1881, the UFCS sibling of infer::DirectCallArgMismatch (#1864/PR #1875, direct calls) and infer::TypedAssignMismatch (#1877/PR #1899, declaration initializers and assignments). Reported by [check_strict] as E063, the same code the other two siblings use — no new code minted for this position (docs/t1c-spec.md §8’s “existing TM-3 machinery” posture, extended here rather than a parallel checker).

Fields

index: usize

The mismatched argument’s 0-based position in the desugared call name(recv, args) — 0 names the receiver itself (the desugar’s first positional slot); i for i >= 1 names the (i - 1)-th written argument. Matches the “receiver counts as the first argument” convention this call site’s own arity-mismatch diagnostic already uses (see [UfcsVisitor::try_free_fn_desugar]).

Exception (issue #1918): a UfcsVerdict::FieldCall’s own arg_mismatches does not follow this convention — a field call has no receiver-prepending desugar, so index there is 0-based over the written arguments only (0 names the first written argument, not the receiver); see that variant’s own field doc.

expected: Ty

The desugared target’s declared parameter type at index.

found: Ty

The receiver’s (index == 0) or written argument’s statically classified type.

Trait Implementations

impl Clone for UfcsArgMismatch

fn clone(&self) -> UfcsArgMismatch

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for UfcsArgMismatch

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

Formats the value using the given formatter.

impl Eq for UfcsArgMismatch

impl PartialEq for UfcsArgMismatch

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for UfcsArgMismatch