tree f9dce3c477becca63ba367687413d6a016d68139
parent a38e81170cccea7e45c434903f44d878afaec5fd
author Marcel van Lohuizen <mpvl@golang.org> 1586870674 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1586938962 +0000

encoding/jsonschema: fix type exclusion logic

The current implementation misinterpreted the spec
that constraints from a certain type imply a value is of
that type: it does not.

This means that if, for instance, a schema contains only
constraints for a struct, one must still explicitly allow all
other types besides struct in CUE. The new logic does so,
and also addes logic to opimize

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