-- in.cue --
a: [...int]
a: [1, 2, 3, 5]
a: [1, 2, 3, d]

b: a[3]
d: 5

c: [for x in [[1, 2]][0] {x + d}]
-- out/eval/stats --
Leaks:  4
Freed:  11
Reused: 8
Allocs: 7
Retain: 6

Unifications: 15
Conjuncts:    29
Disjuncts:    13
-- out/eval --
(struct){
  a: (#list){
    0: (int){ 1 }
    1: (int){ 2 }
    2: (int){ 3 }
    3: (int){ 5 }
  }
  b: (int){ 5 }
  d: (int){ 5 }
  c: (#list){
    0: (int){ 6 }
    1: (int){ 7 }
  }
}
-- out/compile --
--- in.cue
{
  a: [
    ...int,
  ]
  a: [
    1,
    2,
    3,
    5,
  ]
  a: [
    1,
    2,
    3,
    〈1;d〉,
  ]
  b: 〈0;a〉[3]
  d: 5
  c: [
    for _, x in [
      [
        1,
        2,
      ],
    ][0] {
      (〈1;x〉 + 〈3;d〉)
    },
  ]
}