Struct mapping deletion detector#
Name: struct-mapping-deletion
Using delete
on a (possibly nested) struct containing a mapping member does not delete the mapping.
Example#
- The
delete
statement does not delete theAccount
struct mapping memberbalances
. - The
balances
member is not deleted.
Parameters#
The detector does not accept any additional parameters.