# Tests that hidden fields within a definition unified with #A: _ are correctly
# handled and do not cause spurious "field not allowed" errors.
# https://cuelang.org/issue/496
-- in.cue --
#A: _

#N: #A & {
	_E: {
		name: "hello"
	}
} @test(shareID=lN)

l: #N @test(shareID=lN)
-- out/eval/stats --
Leaks:  0
Freed:  6
Reused: 0
Allocs: 6
Retain: 0

Unifications: 6
Conjuncts:    8
Disjuncts:    0

NumCloseIDs: 1
-- out/diff-v2-v3.txt --
Reordering
