# Tests that nested fields within a definition unified with #A: _ are accepted
# and do not produce spurious "field not allowed" errors on the nested structure.
# https://cuelang.org/issue/497
-- in.cue --
#A: _

#N: #A & {
	f: j: {
		n: "hi"
	}
} @test(shareID=lN) @test(eq, {f: {j: {n: "hi"}}})

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

Unifications: 7
Conjuncts:    9
Disjuncts:    0

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