# DO NOT EDIT; generated by go run testdata/gen.go
#
#name: optionals with label fiters
#evalFull
-- in.cue --
JobID :: =~"^[a-zA-Z]*$"
Job :: {
	name: string
	cmd:  string
}
Jobs :: {
	[JobID]: Job
	[=~"Test$"]: name: =~"^test" // Must work without ...
}

jobs: foo: name: "allGood"
jobs: foo: name: "allGood"

jobs1:          Jobs
jobs1: foo1: {} // faulty

jobs2: Jobs
jobs2: fooTest: name: "badName" // faulty

jobs3: Jobs
jobs3: [string]: Job
jobs3: fooTest1: name: "badName" // faulty
-- out/def --
JobID :: =~"^[a-zA-Z]*$"
Job :: {
	name: string
	cmd:  string
}
Jobs :: {
	{[JobID]: Job}
	{[=~"Test$"]: {
		name: =~"^test"
	}}
}
jobs: {
	foo: {
		name: "allGood"
	}
}
jobs1: _|_ // field "foo1" not allowed in closed struct
jobs2: Jobs & {
	fooTest: {
		name: "badName"
	}
}
jobs3: _|_ // field "fooTest1" not allowed in closed struct
-- out/legacy-debug --
<0>{JobID :: =~"^[a-zA-Z]*$", Job :: <1>C{name: string, cmd: string}, Jobs :: <2>C{[=~"^[a-zA-Z]*$"]: <3>(_: string)-><4>.Job, [=~"Test$"]: <5>(_: string)-><6>C{name: =~"^test"}, }, jobs: <7>{foo: <8>{name: "allGood"}}, jobs1: _|_(<9>{}:field "foo1" not allowed in closed struct), jobs2: <10>C{[=~"^[a-zA-Z]*$"]: <11>(_: string)-><4>.Job, [=~"Test$"]: <12>(_: string)-><13>C{name: =~"^test"}, fooTest: _|_(string:field "cmd" not allowed in closed struct)}, jobs3: _|_(<14>{name: "badName"}:field "fooTest1" not allowed in closed struct)}