Struct TypeImpactChecker 

pub struct TypeImpactChecker<'a> { /* private fields */ }

Type Impact Checker using TypeFlowGraphV2.

Provides fast analysis of type change impacts without running the compiler.

Example

let checker = TypeImpactChecker::new(&typeflow, &graph_checker);

// Analyze impact of changing a type
let result = checker.analyze_impact(changed_symbol_id);

if result.has_issues() {
    for issue in &result.issues {
        println!("Impact: {:?}", issue);
    }
}

Implementations

impl<'a> TypeImpactChecker<'a>

pub fn new(typeflow: &'a TypeFlowGraphV2) -> Self

Create a new TypeImpactChecker.

pub fn analyze_impact(&self, symbol_id: SymbolId) -> TypeImpactResult

Analyze the impact of changing a type.

Returns detailed information about all usages and potential issues.

pub fn affected_symbols(&self, symbol_id: SymbolId) -> Vec<SymbolId>

Get all symbols that would be affected by changing the given type.

This includes:

• Types that use this type as a field
• Types that have trait bounds involving this type
• Functions with parameters/returns of this type