tree bd61e15f4cd1549c299b0563f8efef0b6e96452c
parent ff306b79708eee06adaa73e6fb62449278727101
author Marcel van Lohuizen <mpvl@golang.org> 1600670972 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1601365869 +0000

doc/ref/spec.md: refinement of closedness

This makes some of the wording regarding closed
structs and embedding more specific.

It also allows embeddings in any struct (not yet
fully implemented) to see the overall effect of the
changes in the ultimate context.

This also adds some examples in the testdata to
pinpoint the semantics (and coincidentally fixes
a bug that was discovered while doing so).

Change-Id: I218f9de28f8226f6aa1ffe4c2a7163ca3cb4c725
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/7181
Reviewed-by: Paul Jolly <paul@myitcv.org.uk>
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>