Skip to main content

collect_expr_writes_checked

forge_lint::sol::med::uninitialized_state_variables

Function collect_expr_writes_checked 

Source 
fn collect_expr_writes_checked<'hir>(
    hir: &'hir Hir<'hir>,
    expr: &'hir Expr<'hir>,
    candidates: &HashSet<VariableId>,
    writes: &mut HashSet<VariableId>,
    bases: &'hir [ContractId],
) -> Result<(), ()>