cuelang.org/go@v0.13.0/cue/testdata/export/012.txtar (about)

     1  raw: true
     2  -- in.cue --
     3  {a: *"foo" | *"bar" | *string | int, b: a[2:3]}
     4  -- out/def --
     5  a: *string | int
     6  b: _|_ // cannot slice a (type string)
     7  -- out/compile --
     8  --- in.cue
     9  {
    10    {
    11      a: (*"foo"|*"bar"|*string|int)
    12      b: 怈0;a怉[2:3]
    13    }
    14  }
    15  -- out/eval/stats --
    16  Leaks:  0
    17  Freed:  7
    18  Reused: 1
    19  Allocs: 6
    20  Retain: 0
    21  
    22  Unifications: 3
    23  Conjuncts:    12
    24  Disjuncts:    7
    25  -- out/eval --
    26  (struct){
    27    a: ((int|string)){ |(*(string){ "foo" }, *(string){ "bar" }, *(string){ string }, (int){ int }) }
    28    b: (_|_){
    29      // [incomplete] b: non-concrete slice subject a:
    30      //     ./in.cue:1:41
    31    }
    32  }