Struct MethodCallFact 

pub struct MethodCallFact {
    pub method_name: Box<str>,
    pub text: Box<str>,
    pub span: IrSpan,
    pub receiver_ident: Option<Box<str>>,
    pub receiver_span: IrSpan,
    pub loop_depth: usize,
    pub containing_fn: Option<usize>,
    pub receiver_type: Option<Arc<str>>,
    pub is_copy_receiver: bool,
}

A method call expression with receiver and loop context.

Fields

method_name: Box<str>

Method identifier (e.g., clone, unwrap).

text: Box<str>

Full rendered expression for pattern matching.

span: IrSpan

Location of the method call.

receiver_ident: Option<Box<str>>

Simple identifier receiver, when not a complex expression.

receiver_span: IrSpan

Location of the receiver for diagnostic pointing.

loop_depth: usize

Enclosing loop count for clone-in-loop analysis.

containing_fn: Option<usize>

Index into FileIr::functions; links to enclosing function.

receiver_type: Option<Arc<str>>

Filled by semantic enrichment; canonical receiver type. Arc<str> so multiple calls on the same binding share one allocation.

is_copy_receiver: bool

Filled by semantic enrichment; suppresses clone-in-loop for Copy types.

Trait Implementations

impl Debug for MethodCallFact

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

Formats the value using the given formatter.