Skip to main content

guard_expr_coverage

forge_lint::sol::med::unsafe_oz_erc721_mint

Function guard_expr_coverage 

Source 
fn guard_expr_coverage<'hir>(
    gcx: Gcx<'hir>,
    hir: &'hir Hir<'hir>,
    expr: &'hir Expr<'hir>,
    recipient: VariableId,
    token: VariableId,
    seen: &mut Vec<FunctionId>,
) -> GuardCoverage
Expand description

A statement expression that guards the recipient and the token: require/assert on an acceptance condition, or an internal call handing both to a helper that does. Only the condition is read: a hook call sitting in the revert message decides nothing, and neither does one in any other argument. An external helper would ask from a different contract and cannot establish that the recipient accepts the minting contract’s callback.