tree 4344c6bc5ce0e2661f0cff6d0cf4e5f3c6a61b59
parent 2ef72d85b1ed1311e5c54c176e6bfc7244e46990
author Marcel van Lohuizen <mpvl@golang.org> 1609664677 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1610198955 +0000

doc/ref/spec.md: disallow new definitions in closed structs

Closes #543
See also Issue #539

It is still possible, of course, to add those with
embeddings.

Change-Id: I91da99c8d8c7b892fe0ff555ceeee87b41d200d9
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/8062
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>