tree da212b325da6052dc7e27690e2be54ea72ec021c
parent bc432d5a3049b629c2704d7e06025c98724d9636
author Marcel van Lohuizen <mpvl@golang.org> 1565949737 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1566115941 +0000

cue: allow bottom for optional fields

Note ¬P's relation to  P → ⊥.
This is especially important to get right
for closed structs. It does not have much
impact now.

Also fixes a few minor other things:
- improved error message
- don't use helpers for testing (t.Run gives
  context and it is more useful to have
  the failure location in the test code).

Change-Id: Id88af58b8f882fc0e4dc9cda1c0a9098d4a82344
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/2862
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>