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

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