tree e7f5321ba13b2cfd5a0a33f0742b6dc9cdb918d7
parent 88b4b1f959e6c92f542e31abdd9bd2a9c6ec463e
author Marcel van Lohuizen <mpvl@golang.org> 1595177156 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1595491161 +0000

internal/core/adt: apply Default also to list

A closed list with current elements is the default
of an open list.

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