Skip to main content

collect_state_lhs_vars

Function collect_state_lhs_vars 

Source
fn collect_state_lhs_vars(
    hir: &Hir<'_>,
    expression: &Expr<'_>,
    storage_aliases: &HashMap<VariableId, HashSet<VariableId>>,
    call_returns: &HashMap<ExprId, Vec<HashSet<VariableId>>>,
    variables: &mut HashSet<VariableId>,
)