Skip to main content

set_path

forge_lint::sol::high::enumerable_loop_removal

Function set_path 

Source 
fn set_path(
    hir: &Hir<'_>,
    expr: &Expr<'_>,
    bindings: &[(VariableId, Option<SetPath>)],
    seen: &mut Vec<VariableId>,
) -> Option<SetPath>
Expand description

The path a set expression names, or None when it cannot be read: an index that varies, a call result, a reference without one straight-line binding, anything the analysis would have to evaluate.