Struct DirectCallArgMismatch 

pub struct DirectCallArgMismatch {
    pub range: TextRange,
    pub callee: String,
    pub index: usize,
    pub expected: Ty,
    pub found: Ty,
}

One statically-checkable argument-type mismatch recorded at any of three producer sites whose callee resolves straight to a known def via known_sigs — so its declared parameter types are already fully known at the site — unlike the T1c call-through-a-value case ValueCallFact exists for:

• a direct call (issue #1864) — f(a, b) where f names a known knot/stitch/function directly;
• a #fn(target, args…) creation site (issue #2001) — not a call at all, but the by-ref binding site for a partial application; target’s remaining (unbound) params still go through the ordinary call-through-a-value check when the resulting Ty::Fn value is later invoked, but the bound prefix checked here is only ever checkable at creation.
• a divert with arguments (issue #2127) — -> knot(a, b) — also not a call expression, but a ref position it binds is checked exactly like a direct call’s ref argument (invariant, via ref_assignable). By-value positions at this site are not checked yet (#2127 scoped that out as its own design call, same posture #2001 took for infer_fn_literal’s by-value params).

strict::check_direct_call_args’s rendered message reads “argument N of call to name” for all three producers — accepted as-is for a #fn literal and a divert target too (both still name the target function’s own parameter being populated), rather than adding a site-discriminant field to distinguish “creation of” / “divert to” from “call to”; revisit if that reads as confusing in practice (#2001 review finding).

Fields

range: TextRange

The diagnostic site’s source range: the callee Path’s own range for a direct call (same convention as ValueCallFact::range), the #fn literal’s target path range for a creation site, or the divert’s own target path range (issue #2127).

callee: String

The callee’s display name (h in h("hi"); dotted if the resolved path had multiple segments, e.g. Knot.stitch).

index: usize

The mismatched argument’s 0-based position.

expected: Ty

The callee’s declared parameter type at index.

found: Ty

The argument expression’s statically classified type.

Trait Implementations

impl Clone for DirectCallArgMismatch

fn clone(&self) -> DirectCallArgMismatch

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DirectCallArgMismatch

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

Formats the value using the given formatter.

impl Eq for DirectCallArgMismatch

impl PartialEq for DirectCallArgMismatch

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for DirectCallArgMismatch