# DO NOT EDIT; generated by go run testdata/gen.go
#
#evalFull
-- in.cue --
t: {
	ok :: *true | bool
	if ok {
		x: int
	}
}
s: t & {
	ok :: false
}
-- out/def --
t: {
	x:    int
	ok :: *true | bool
}
s: t & {
	ok :: false
}
-- out/legacy-debug --
<0>{t: <1>{x: int, ok :: true}, s: <2>{ok :: false}}