Struct CallDependencySummary 

pub struct CallDependencySummary {
    pub callee: Option<DefId>,
    pub name: String,
    pub return_depends_on_args: Vec<usize>,
    pub may_write_args: Vec<usize>,
    pub unsupported: bool,
}

Dependency summary consumed by the backward visitor.

Fields

callee: Option<DefId>

Callee definition when the call target is statically known.

name: String

Human-readable callee name.

return_depends_on_args: Vec<usize>

If the call destination is relevant, these call arguments are relevant.

may_write_args: Vec<usize>

Arguments that may be written or invalidated by the call.

unsupported: bool

True when this summary is conservative rather than precise.

Implementations

impl CallDependencySummary

fn unknown(callee: Option<DefId>, name: String, arg_count: usize) -> Self

Build a conservative summary that keeps all arguments relevant.

Trait Implementations

impl Clone for CallDependencySummary

fn clone(&self) -> CallDependencySummary

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CallDependencySummary

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

Formats the value using the given formatter.