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

• [x] Syntax, Parsing, AST import/export support: #15463
• [x] Type checking (analysis): #15528
• [x] Storage layout output and codegen: #15668
• [x] Documentation: #15892
• [x] Report errors only for contracts that directly inherit from one with a layout: #15900
• [x] Warn when the base slot is too close to the end of storage (2^64 slots or less): #15912
• [ ] #15911
• [ ] Add builtin function erc7201
• [x] 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 #15528. There are also constants.
• We merged the type checking PR without https://github.com/ethereum/solidity/pull/15528#discussion_r1967472244, but it should still be done in a separate PR.

[cameel]

Added a task for the warning about storage located too close to the edge.