Function lvalue_is_state_var 

fn lvalue_is_state_var(hir: &Hir<'_>, expr: &Expr<'_>) -> bool

Returns true if the lvalue expression ultimately writes to a storage variable.

Peels through index accesses, member accesses, and slices to find the root identifier.