tree 620921da2d2a180675d6504496bec1b8f6597dbb
parent 21ca371cabde8486aa23c746fcc859a18f68f4bc
author Marcel van Lohuizen <mpvl@golang.org> 1592913231 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1593779242 +0000

pkg/encoding/yaml: validate concreteness instead of instance of for Validate

This makes the checks more permissive. Subsumption will
no longer be a part of the new evaluator, so we need to use
something different. Ultimately, the use of Subsumption here
is not ideal anyway, instead users should be able to specify
underspecified values in the type definitions itself.

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