Disallow being referenced by both RETURNCONTRACT and EOFCREATE

ipsilon / eof

Validation code for the EOF specification

Apache License 2.0

43 stars 19 forks source link

Closed pdobacz closed 4 months ago

pdobacz commented 4 months ago

Extracted from #129, see discussion there. From description:

adds a rule proposed on the EOF impl call (option 2.) to disallow subcontainers referenced by both RETURNCONTRACT and EOFCREATE.