fn collect_state_lhs_vars( hir: &Hir<'_>, expr: &Expr<'_>, storage_aliases: &HashMap<VariableId, VariableId>, vars: &mut Vec<VariableId>, )