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
deletestatement does not delete theAccountstruct mapping memberbalances. - The
balancesmember is not deleted.
Parameters#
The detector does not accept any additional parameters.