The semantic analysis does not meet the following requirements:
- Does not currently check the visibility of a member access, allowing reads to private members of a struct.
- Output-like things, like struct members, won't be allowed in preconditions (
require statements)
The semantic analysis does not meet the following requirements:
requirestatements)