Skip to main content
collect_written_vars
forge_
lint
1.7.2
In forge_
lint::
sol::
gas::
cache_
array_
length
forge_lint
::
sol
::
gas
::
cache_array_length
Function
collect_
written_
vars
Copy item path
Source
fn collect_written_vars(expr: &Expr<'_>, facts: &mut
LoopFacts
)