cmd/cue: closedness rules not observed for individual files specified on command line

[mpvl]

Discussed in #2211

^{Originally posted by sahroshan January 11, 2023}
Hi All,
I have been trying to use cue to valiidate another cue. Cuelang report errors for defined keys. But not when there is an extra key at root level. Below are the steps to reproduce it.

steps to reproduce

1. create a schema file

-- schema.cue
#Config: close({
	foo: close({
		bar: string | *"default from schema"
	})
})

#Config

2. create simple cue file

-- sub.cue
extra: "this extra field"

3. run vet command cue vet sub.cue schema.cue

expected

error extra field found in cue

got

cue vet exits without any error

Am i doing something wrong here? Please suggest possible fixes or workarounds

[mpvl]

Reproducer:

! exec cue vet schema.cue sub.cue
cmp stderr expect-stderr
-- schema.cue --
package schema // should also fail without this package clause
#Config: {
	foo: {
		bar: string | *"default from schema"
	}
}
#Config

-- sub.cue --
extra: "this extra field"

-- expect-stderr --
extra: field not allowed:
    ./schema.cue:1:1
    ./schema.cue:2:10
    ./schema.cue:7:1
    ./sub.cue:1:1