cue/testdata/resolve/029_non-closed_definition_carries_over_closedness_to_enclosed_template.txtar

# DO NOT EDIT; generated by go run testdata/gen.go
#
#name: non-closed definition carries over closedness to enclosed template
#evalPartial
-- in.cue --
S :: {
	[string]: {a: int}
}
a: S & {
	v: {b: int}
}
Q :: {
	[string]: {a: int} | {b: int}
}
b: Q & {
	w: {c: int}
}
R :: {
	[string]: [{a: int}, {b: int}]
}
c: R & {
	w: [{d: int}, ...]
}
-- out/def --
S :: {
	[string]: {
		a: int
	}
}
a: S & {
	v: {
		b: int
	}
}
b: Q & {
	w: {
		c: int
	}
}
Q :: {
	[string]: {
		a: int
	} | {
		b: int
	}
}
c: R & {
	w: [{
		d: int
	}, ...]
}
R :: {
	[string]: [{
		a: int
	}, {
		b: int
	}]
}
-- out/legacy-debug --
<0>{S :: <1>{[]: <2>(_: string)-><3>C{a: int}, }, a: <4>{[]: <5>(_: string)-><6>C{a: int}, v: _|_(int:field "b" not allowed in closed struct)}, b: <7>{[]: <8>(_: string)->(<9>C{a: int} | <10>C{b: int}), w: _|_(int:empty disjunction: field "c" not allowed in closed struct)}, Q :: <11>{[]: <12>(_: string)->(<13>C{a: int} | <14>C{b: int}), }, c: <15>{[]: <16>(_: string)->[<17>C{a: int},<18>C{b: int}], w: [_|_(int:field "d" not allowed in closed struct),<19>C{b: int}]}, R :: <20>{[]: <21>(_: string)->[<22>C{a: int},<23>C{b: int}], }}