tree 66d5faf9155535b4f69cb8b91ede2305d7eabbe8
parent b51368ea86ee2e130402d546d4c668d61a9862b8
author Marcel van Lohuizen <mpvl@golang.org> 1615188360 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1615533525 +0000

internal/core/adt: allow pattern constraints alongside fields

This was already allowed, but now adjust examples to show
this. Note that this is just reverting to v0.2 behavior.

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