cuelang.org/go@v0.13.0/tools/trim/testdata/30.txtar (about)

     1  `x` and `y` cannot be eliminated. This also means uses of `x` and `y`
     2  can't be eliminated. So the simplification of `z` can only remove the
     3  literal `{a: 5}`.
     4  
     5  Similar vein to 5.
     6  
     7  -- a.cue --
     8  x: {a: 5}
     9  y: {a: 5}
    10  z: x & y & {a: 5}
    11  -- out/trim-v3 --
    12  == a.cue
    13  x: {a: 5}
    14  y: {a: 5}
    15  z: x & y & _
    16  -- diff/-out/trim-v3<==>+out/trim --
    17  diff old new
    18  --- old
    19  +++ new
    20  @@ -1,4 +1,4 @@
    21   == a.cue
    22   x: {a: 5}
    23   y: {a: 5}
    24  -z: x & y & {a: 5}
    25  +z: x & y & _
    26  -- out/trim-v3-noshare --
    27  == a.cue
    28  x: {a: 5}
    29  y: {a: 5}
    30  z: x & y & _
    31  -- diff/-out/trim-v3-noshare<==>+out/trim --
    32  diff old new
    33  --- old
    34  +++ new
    35  @@ -1,4 +1,4 @@
    36   == a.cue
    37   x: {a: 5}
    38   y: {a: 5}
    39  -z: x & y & {a: 5}
    40  +z: x & y & _
    41  -- out/trim --
    42  == a.cue
    43  x: {a: 5}
    44  y: {a: 5}
    45  z: x & y & {a: 5}