reference to conditional fields are not resolve properly (maybe?)

[wylswz]

I wrote following code

a : *[] | [...]

result: {

    if true {
      a: [1,2,3]
    }
    
    res: a
}

and I got this

a: []
result: {
	res: []
	a: [1, 2, 3]
}

instead of

a: []
result: {
	res: [1, 2, 3]
	a: [1, 2, 3]
}

Just wondering what's happening here, is it by design?

[myitcv]

CUE is lexically scoped using blocks, which means that the reference to a in res: a resolves to the top-level a : *[] | [...] and not the one contained within the if comprehension.

Depends what you are after here: https://tip.cuelang.org/play/?id=nbnzUOsJafS#cue@export@cue

[wylswz]

Thanks for your reply, that exactly answered my question.

[wylswz]

It's more clear if I remove the if true, then {a: [1,2,3]} becomes a embedded struct, which cannot be referred by it's neighbour res