Skip to main content

ascending_cadence

forge_lint::sol::high::enumerable_loop_removal

Function ascending_cadence 

Source 
fn ascending_cadence<'gcx>(
    gcx: Gcx<'gcx>,
    body: impl IntoIterator<Item = &'gcx Stmt<'gcx>>,
) -> Vec<VariableId>
Expand description

The loop’s own indices that step upward unconditionally: bare identifiers whose every write on the straight line of the body (bare blocks included) is a supported ascending step. A reset, a no-op step, a decrement or composite arithmetic disqualifies the variable.