# DO NOT EDIT; generated by go run testdata/gen.go
#
#name: cross-dependent comprehension
#evalFull
-- in.cue --
a :: {
	if b {
		c: 4
	}
	b: bool
}
x: (a & {b: true}) & {c: 4}
y: x
-- out/def --
x: _|_ // field "c" not allowed in closed struct
y: _|_ // field "c" not allowed in closed struct
a :: {
	b: bool
	if b {
		c: 4
	}
}
-- out/legacy-debug --
<0>{x: _|_(4:field "c" not allowed in closed struct), y: _|_(4:field "c" not allowed in closed struct), a :: <1>C{b: bool if <2>.b yield <3>C{c: 4}}}