Struct ImpactReport 

pub struct ImpactReport {
    pub reached: Vec<ImpactNode>,
    pub ambiguous_edges: usize,
    pub receiver_unknown_edges: usize,
    pub value_edges: usize,
    pub truncated: bool,
}

The result of a resolution-gated impact walk.

Fields

reached: Vec<ImpactNode>

Symbols transitively affected, sorted, excluding the seed.

ambiguous_edges: usize

Call edges dropped because the name has several definitions and none is local. Reported rather than hidden: silently truncating a closure is its own kind of lie, and a non-zero count here means the true impact set may be larger than reached.

receiver_unknown_edges: usize

Call edges dropped because they are method calls on a receiver of unknown type (Resolution::ReceiverUnknown). Counted separately from ambiguous_edges because the cause differs: not “too many candidates” but “cannot claim any candidate” (#223).

value_edges: usize

Call-graph edges skipped because the reference names a function as a value rather than calling it — register(helper).

Passing a function is a real dependency, so dropping these silently would under-report. But a value reference is over-inclusive by construction: extraction is per-file, so a local named like a function is indistinguishable from the function, and traversing them would put false edges back into the walk #207 and #223 cleaned up. Counted instead, so non-zero means “go look” rather than nothing at all (#250).

truncated: bool

Whether the walk stopped at max_depth with unexplored frontier left.

This means “the set may be incomplete”, not “more definitely exists”: a node reached on the last permitted level was never asked for its own callers, so completeness cannot be claimed either way.

Trait Implementations

impl Clone for ImpactReport

fn clone(&self) -> ImpactReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ImpactReport

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

Formats the value using the given formatter.

impl Default for ImpactReport

fn default() -> ImpactReport

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ImpactReport

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ImpactReport

impl PartialEq for ImpactReport

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ImpactReport

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ImpactReport