Skip to main content

state_lhs_vars

Function state_lhs_vars 

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