Support for arbitrary contract storage base location

[matheusaaguiar]

This is the list of steps required to support the specification of arbitrary contract storage base locations.
There's already a long discussion in (previous) issue #597, which provided the basis for the syntax and behavior, recorded here: Initial syntax for explicit storage locations

Tasks

• Syntax, Parsing, AST import/export support: Parser support for explicit storage locations #15463
• Type checking (analysis): Type checking for contract explicit storage base location #15528
• Storage layout output and codegen: Adjust storage layout to consider explicit storage base location #15668
• Documentation: Storage layout specifier docs #15892
• Report errors only for contracts that directly inherit from one with a layout: Report errors only for contracts that directly inherit from one with a specified storage layout #15900
• Warn when the base slot is too close to the end of storage (2^64 slots or less): Warn when the storage layout base is near the end of storage (2^64 slots or less) #15912
• Lift restrictions against allocating the last storage slot #15911
• Add builtin function erc7201
• Support constants in base slot expression

[krishpranav]

Hi, can i work on any of the task?

[matheusaaguiar]

Hi @krishpranav , thanks for your interest, but currently these tasks are already being worked on (even though they may not have a PR yet).

[krishpranav]

okay cool, is there any other issues which requires a PR as an outside collaborator.

[matheusaaguiar]

Hi @krishpranav , sorry for the delay in responding you.
At the moment we don't have anything flagged as a good issue for collaborators.

[cameel]

I added two missing things to the task list:

• erc7201() is not the only element that was not implemented in Type checking for contract explicit storage base location #15528. There are also constants.
• We merged the type checking PR without Type checking for contract explicit storage base location #15528 (comment), but it should still be done in a separate PR.