As part of previous CL, I noticed that the expected validation didn't seem to be happening. It turned out that this was due to a mismatch in field names between Go type and CUE code. It would probably be better to use a definition here for typo-checking, but in the meantime, change the tests so they're actually checking what they intend to be checking. Signed-off-by: Roger Peppe <rogpeppe@gmail.com> Change-Id: I63d93f8ed81b29b3ed92bc728bc48f55a90e39ab Reviewed-on: https://cue.gerrithub.io/c/cue-lang/cue/+/1231503 TryBot-Result: CUEcueckoo <cueckoo@cuelang.org> Reviewed-by: Marcel van Lohuizen <mpvl@gmail.com>