cue/testdata/resolve/036_closing_with_failed_optional.txtar

# DO NOT EDIT; generated by go run testdata/gen.go
#
#name: closing with failed optional
#evalPartial
-- in.cue --
k1 :: {a: int, b?: int} & A // closed({a: int})

k2 :: A & {a: int, b?: int} // closed({a: int})

o1: {a?: 3} & {a?: 4} // {a?: _|_}

// Optional fields with error values can be elimintated when closing
o2 :: {a?: 3} & {a?: 4} // close({})

d1 :: {a?: 2, b: 4} | {a?: 3, c: 5}

v1: d1 & {a?: 3, b: 4} // close({b: 4})

A :: {a: int}
-- out/def --
k1 :: {
	a:  int
	b?: int
} & A
A :: {
	a: int
}
k2 :: A & {
	a:  int
	b?: int
}
o1: {
	a?: _|_ // conflicting values 3 and 4
}

// Optional fields with error values can be elimintated when closing
o2 :: {
	a?: _|_ // conflicting values 3 and 4
}
d1 :: {
	a?: 2
	b:  4
} | {
	a?: 3
	c:  5
}
v1: d1 & {
	a?: 3
	b:  4
}
-- out/export --
o1: {}
v1: {
	b: 4
}
-- out/yaml --
o1: {}
v1:
  b: 4
-- out/json --
{"o1":{},"v1":{"b":4}}
-- out/legacy-debug --
<0>{k1 :: <1>C{a: int}, A :: <2>C{a: int}, k2 :: <3>C{a: int}, o1: <4>{a?: _|_((3 & 4):conflicting values 3 and 4)}, o2 :: <5>C{a?: _|_((3 & 4):conflicting values 3 and 4)}, d1 :: (<6>C{a?: 2, b: 4} | <7>C{a?: 3, c: 5}), v1: <8>C{a?: _|_((2 & 3):conflicting values 2 and 3), b: 4}}